Pietro Fezzardi ce0083a7ff Extract MarkForSerialization in separate library

2021-09-22 15:03:12 +02:00

..

Reachability

Fix missing linking with revng and LLVM libraries

2021-08-31 12:30:04 +02:00

TestGraphs

Use DotFileObject library provided in revng

2019-04-23 16:35:37 +02:00

CombingPass.cpp

Enforce new include conventions

2020-11-12 18:00:45 +01:00

DecompileFunction.cpp

Decompiler: update to new model APIs

2021-07-21 11:09:28 +02:00

DLAStepManager.cpp

Move DLA files to separate folder

2021-06-18 18:24:04 +02:00

DLASteps.cpp

Add UT for all DLA steps

2021-07-23 18:11:30 +02:00

MarkForSerializationTest.cpp

Extract MarkForSerialization in separate library

2021-09-22 15:03:12 +02:00

ReachabilityPass.cpp

test_reachabilitypass: fix memory leak

2021-05-18 11:46:01 +02:00

UnitTests.cmake

Fix missing linking with revng and LLVM libraries

2021-08-31 12:30:04 +02:00

ValueManipulationAnalysis.cpp

Add Value Manipulation Analysis

2021-05-14 11:18:14 +02:00