Giacomo Vercesi 29b229455f Tuple Tree: rename Parent in struct.h.tpl ...

Rename the Parent attribute of a struct to BaseClass to avoid conflicts
with Tuple Tree structs that might need that attribute.

2023-09-14 15:44:32 +02:00

..

tuple_tree_generator

Tuple Tree: rename Parent in struct.h.tpl

2023-09-14 15:44:32 +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