Alessandro Di Federico 3ab32cd2ef tuple_tree_generator: make fully standalone

2022-01-21 18:05:51 +01:00

..

revng_dump_model

model::Binary: add segments and imported libraries

2021-12-22 17:47:54 +01:00

revng_merge_dynamic

Fix revng_merge_dynamic installation

2021-02-10 00:00:38 +01:00

tuple_tree_generator

tuple_tree_generator: make fully standalone

2022-01-21 18:05:51 +01:00

check-revng-conventions

check-revng-conventions: improve c files exclusion

2021-10-21 15:02:01 +02:00

clang-format-style-file

Prevent separation of 'main' headers into group 0

2021-06-09 18:05:20 +02:00

CMakeLists.txt

Check Python requirements at configure time

2022-01-13 14:34:11 +01:00

compile-time-constants.py

Introduce support for dynamic binaries

2018-05-29 15:10:51 +02:00

monotone_framework_lattice.py

Introduce new ABIAnalyses

2021-12-15 18:03:30 +01:00

monotone_framework.py

Introduce new ABIAnalyses

2021-12-15 18:03:30 +01:00

requirements.txt

Check Python requirements at configure time

2022-01-13 14:34:11 +01:00

revng

CodeGenerator: drop IR emission duties

2021-12-22 17:47:54 +01:00

revng-compare-yaml

compare-yaml: handle - as stdin

2021-12-17 18:50:57 +01:00

revng-dump-model

model::Binary: add segments and imported libraries

2021-12-22 17:47:54 +01:00

revng-merge-dynamic

Refactor revng-merge-dynamic

2021-01-23 00:41:52 +01:00