Project

General

Profile

Actions
Copy link

Feature #3236

open

Finally eliminate bindings with LLVM from LDV

Added by Evgeny Novikov almost 12 years ago. Updated over 11 years ago.

Status:
Open
Priority:
High
Assignee:
Evgeny Novikov
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 open — 0 closed)

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

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov over 11 years ago

  • Category deleted (15)
Actions
Copy link

Also available in: Atom PDF