Alessandro Di Federico
11a9314dd6
Drop dead code in jsonschema.py
2022-02-23 14:03:53 +01:00
Alessandro Di Federico
607a005742
mv include/revng/{Model,TupleTree}/EnumTraits.h
2022-02-23 09:55:45 +01:00
Alessandro Di Federico
89d8d277f7
[FIXUP] Drop tags
2022-02-23 09:50:30 +01:00
Filippo Cremonese
0641b12bb0
Reformat python scripts
...
The python sources in /scripts were reformatted using `black`:
black -l100 sources
2022-02-22 18:20:12 +01:00
Filippo Cremonese
40133b74a0
tuple-tree-gen: address model references
2022-02-22 18:20:00 +01:00
Filippo Cremonese
cbda431b44
model: Support jsonschema emission
2022-02-22 18:19:39 +01:00
Alessandro Di Federico
78be0e9268
Explode TupleTree.h
2022-01-31 16:28:26 +01:00
Alessandro Di Federico
f3634e165f
Introduce model::Type::localCompare
2022-01-27 11:51:03 +01:00
Alessandro Di Federico
54fcc1d7fe
struct_impl.cpp.tpl: include headers in any case
2022-01-27 11:51:03 +01:00
Alessandro Di Federico
7ea55326e1
tuple_tree_generator: use all_optional_fields
2022-01-27 11:50:37 +01:00
Filippo Cremonese
31354a4cd6
metaschema.yml: actually enforce validation
...
Previously, we didn't specify the type of the root object, which led to
accept any input.
2022-01-21 18:05:52 +01:00
Alessandro Di Federico
3ab32cd2ef
tuple_tree_generator: make fully standalone
2022-01-21 18:05:51 +01:00
Filippo Cremonese
c7a0d05379
tuple_tree_generator: remove unused include
2022-01-21 18:05:49 +01:00
Filippo Cremonese
610d5112c7
tuple_tree_generator: fix type lookup
2022-01-21 18:03:07 +01:00
Filippo Cremonese
0a70383e12
tuple_tree_generator: Jinja2 compatibility issue
...
This commit fixes a compatibility issue with Jinja2 2.10.
2022-01-17 16:35:01 +01:00
Filippo Cremonese
74217b4fe5
Generate C++ model from YAML definition
...
Model classes are now described by a YAML document, which is used to
generate C++ headers containing classes and all the boilerplate
required for YAML serialization/deserialization, usage in
SortedVectors, etc. See the README in include/revng/Model for more
info.
2022-01-13 14:34:11 +01:00