Filippo Cremonese 6672eb8dbc Turn Python scripts into modules

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

..

tuple_tree_generator

Apply and enforce python formatting with black

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

check-revng-conventions

Apply and enforce python formatting with black

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

clang-format-style-file

Prevent separation of 'main' headers into group 0

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

CMakeLists.txt

Turn Python scripts into modules

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

compile-time-constants.py

Apply and enforce python formatting with black

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

monotone_framework_lattice.py

Apply and enforce python formatting with black

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

monotone_framework.py

Apply and enforce python formatting with black

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

requirements.txt

Turn Python scripts into modules

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