Massimo Fioravanti 7804dab1d5 Add model tracking visits ...

Implement the core visits that are able to inspect the model bypassing
the instrumentation.

2023-04-21 17:30:33 +02:00

..

tuple_tree_generator

Add model tracking visits

2023-04-21 17:30:33 +02:00

CMakeLists.txt

Stop checking Python requirements

2022-10-11 19:08:10 +02:00

monotone_framework_lattice.py

revng-check-conventions: introduce flake8

2022-04-20 09:56:44 +02:00

monotone_framework.py

revng-check-conventions: introduce isort

2022-04-20 09:57:08 +02:00

PipelineC_add_tracing.py

PipelineC: add tracing

2023-04-20 14:43:13 +02:00

requirements.txt

Drop graphlib-backport: we require Python 3.10

2022-10-11 19:08:10 +02:00