Antonio Frighetto dddd8ecbcb Update EFA tests to support CFG out of the model

2022-04-05 15:37:57 +02:00

..

merge_dynamic

Turn Python scripts into modules

2022-02-23 18:02:42 +01:00

model_dump

Update EFA tests to support CFG out of the model

2022-04-05 15:37:57 +02:00

__init__.py

Turn Python scripts into modules

2022-02-23 18:02:42 +01:00

commands_registry.py

revng driver: introduce --keep-temporaries

2022-03-17 16:46:02 +01:00

lift.py

revng driver: introduce --keep-temporaries

2022-03-17 16:46:02 +01:00

llvm_pipeline.py

YAML pipeline: s/module/module.ll/

2022-03-28 12:17:05 +02:00

opt.py

Rewrite revng driver infrastructure

2022-03-17 16:46:00 +01:00

pipeline.py

Rewrite revng driver infrastructure

2022-03-17 16:46:00 +01:00

revng.py

revng: append search prefixes upon recursion

2022-03-28 14:34:10 +02:00

support.py

revng driver: introduce --keep-temporaries

2022-03-17 16:46:02 +01:00

translate.py

Steps now represent the *end* of a step

2022-03-28 12:17:05 +02:00