admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
feature/remove-model-tag
revng-revng/scripts
T
History
Giacomo Vercesi 5169a13e58 Automatically assign Kind in constructor 
Assign Kind in the default constructor and
(if needed) key constructor for derived classes
2022-04-06 17:37:45 +02:00
..
tuple_tree_generator
Automatically assign Kind in constructor
2022-04-06 17:37:45 +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