 Khaled Ismaeel
|
030becfeba
|
Adapt the build to the new schema version field
This is a followup to the commit where we introduced the `version`
field in the schema YAML.
|
2025-04-30 15:08:45 +02:00 |
|
|
Alessandro Di Federico
|
b5f7576573
|
Rework TupleTreeGenerator tracking
|
2024-06-20 10:24:50 +02:00 |
|
|
Massimo Fioravanti
|
f6ff8e544d
|
Add tracking debug infrastructure
Add a mechanism to make the program crash when a given element of the
model is read or written.
|
2024-01-02 11:14:56 +01:00 |
|
|
Massimo Fioravanti
|
254dc99fcb
|
TupleTreeGenerator: emit tracking machinery
|
2023-04-21 17:50:16 +02:00 |
|
|
Alessandro Di Federico
|
1d91ed9beb
|
tuple_tree_generator: make C++ just a regular backend
The `tuple_tree_generator` component was still heavily treating C++ as a
special citizen.
This commit normalizes the situation.
|
2022-08-11 16:20:42 +02:00 |
|
|
Alessandro Di Federico
|
450b0b4013
|
Minor changes
|
2022-05-11 09:29:45 +02:00 |
|
|
Alessandro Di Federico
|
422d5d88e4
|
Minor changes
Apply fixes due to `isort` misconfiguration.
|
2022-05-09 13:32:07 +02:00 |
|
|
Giacomo Vercesi
|
bbce0b33e5
|
revng-check-conventions: introduce isort
|
2022-04-20 09:57:08 +02:00 |
|
|
Giacomo Vercesi
|
31a836e48c
|
revng-check-conventions: introduce flake8
|
2022-04-20 09:56:44 +02:00 |
|
|
Massimo Fioravanti
|
44720eedbd
|
Redesign TupleTreeDiff
`TupleTreeDiff` is now type-safe and owns the changes.
|
2022-04-15 15:14:13 +02:00 |
|
|
Filippo Cremonese
|
1dc7efe2b0
|
tuple_tree_generator: emit jsonschema
|
2022-02-23 17:37:03 +01:00 |
|