Giacomo Vercesi 9f146d622b Typescript model generator

2022-05-04 11:45:02 +02:00

..

tuple_tree_generator

Typescript model generator

2022-05-04 11:45:02 +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

revng-check-conventions: introduce flake8

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

flake8-config

revng-check-conventions: introduce flake8

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

isort.cfg

revng-check-conventions: introduce isort

2022-04-20 09:57:08 +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

requirements.txt

Adopt cmake-format

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

revng-check-conventions

check-conventions: improve file list generation

2022-04-28 09:46:10 +02:00