Massimo Fioravanti 44720eedbd Redesign TupleTreeDiff ...

`TupleTreeDiff` is now type-safe and owns the changes.

2022-04-15 15:14:13 +02:00

..

tuple_tree_generator

Redesign TupleTreeDiff

2022-04-15 15:14:13 +02:00

clang-format-style-file

Prevent separation of 'main' headers into group 0

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

CMakeLists.txt

Adopt cmake-format

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

Adopt cmake-format

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

revng-check-conventions

Adopt cmake-format

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