Project

General

Profile

Actions

Feature #3236

open

Finally eliminate bindings with LLVM from LDV

Added by Evgeny Novikov over 12 years ago. Updated about 12 years ago.

Status:
Open
Priority:
High
Category:
-
Start date:
07/19/2012
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Drop LLVM based instrumentation from Rule Instrumentor and LLVM options and models from model-db.xml. But don't forget to write notes about LLVM based approach, its advantages and disadvantages.


Related issues 1 (1 open0 closed)

Blocks Linux Driver Verification - Feature #3383: Rule instrumentor needs refactoringOpenEvgeny Novikov08/30/2012

Actions
Actions #1

Updated by Evgeny Novikov about 12 years ago

  • Category deleted (15)
Actions

Also available in: Atom PDF