Massimo Fioravanti 6b099c57e8 Pipeline: introduce options for analyses

2022-08-29 14:43:25 +02:00

..

efa

tuple_tree_generator: make C++ just a regular backend

2022-08-11 16:20:42 +02:00

link-for-translation

Add initialization utility to all main functions

2022-07-22 21:04:03 +02:00

model

Model: Add PDB support

2022-07-28 14:52:50 +02:00

pipeline

Pipeline: introduce options for analyses

2022-08-29 14:43:25 +02:00

CMakeLists.txt

Switch to new testsuite

2022-06-20 19:04:18 +02:00