Alessandro Di Federico f4684e244d Switch to new testsuite

2022-06-20 19:04:18 +02:00

..

tuple_tree_generator

Minor changes

2022-05-11 09:29:45 +02:00

CMakeLists.txt

Adopt cmake-format

2022-03-17 18:52:18 +01: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

requirements.txt

Adopt cmake-format

2022-03-17 18:52:18 +01:00