7804dab1d5
Add model tracking visits
...
Implement the core visits that are able to inspect the model bypassing
the instrumentation.
2023-04-21 17:30:33 +02:00
fbb978629d
Instrument model generator to track acceses
2023-04-21 17:30:33 +02:00
1248f8532d
TTG: enable vectors of enumerations
2023-03-15 10:19:01 +01:00
11c0d7f02e
Stop using \brief doxygen command
2023-03-15 10:19:01 +01:00
31bb77237f
typescript: add setElementByPath function
...
add the setElementByPath function which allows setting a value in a
tuple tree give a tuple tree path to apply it to
Also apply some small fixes to the `tuple_tree.ts` codebase
2023-02-07 16:54:35 +01:00
742e1a0c56
TupleTree: switch from public fields to accessors
2022-12-12 18:36:57 +01:00
5fb9ba4313
TupleTree diff: externalize
2022-12-09 10:11:27 +01:00
daf4a85364
llvm::yaml::yamlize: externalize
2022-12-09 10:11:27 +01:00
0245bf81d7
stringAsPath: externalize
2022-12-09 10:11:27 +01:00
a96270a8aa
TupleTree::visit: externalize
2022-12-09 10:11:27 +01:00
22c1ec78eb
TupleTree: handle type-erased visitors
...
This commit reduces build times by introducing a type-erasure layer when
performing a visit on TupleTrees. Basically instead of propagating the
type of the visitor along all of the template castle, we wrap the
visitor into a virtual class with one method for each possible type in
the TupleTree.
This enables a single instatiation of visit algorithm.
2022-12-09 09:10:39 +01:00
bffbd58434
tuple_tree_generator: generate one .cpp only
2022-12-09 09:07:06 +01:00
bf4122ed0a
Introduce v2 of revng-check-conventions
2022-09-29 15:21:59 +02:00
52755aa4b4
TTG: fix temporary file leak in TypeScript backend
2022-09-26 18:09:01 +02:00
ae5522e861
tuple_tree_generator: minor TypeScript fixes
2022-09-02 03:49:54 +02:00
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
6f93a7503f
tuple_tree_generator: more informative errors
2022-08-08 13:55:25 +02:00
65d1a016d4
Standardize concept naming across the codebase
2022-08-05 17:27:56 +03:00
b18dc3ac86
TypeScript: add toString to string types
2022-07-28 08:48:16 +02:00
cc8c6ea203
TupleTree: add ScalarTraits for non-composite keys
...
Non-composite keys are single-element tuples, therefore they don't
directly inherit the YAML serialization of their only element.
This commit enables building `ScalarTraits` for keys in all cases.
2022-07-28 08:44:57 +02:00
4486167d92
revng.model: add TypedList
...
Add a specialized list class to be used in the model. This will do
runtime instance checking to make sure that list-like fields in the
model only contain object of the correct type.
2022-07-22 14:56:15 +02:00
cac78b9604
revng.model: fix required sequence fields
...
Fix the constructor for required sequence fields, now they use a
`default_factory` with `list` to construct an empty list when none is
passed to the constructor.
2022-07-22 14:56:15 +02:00
116d965117
revng.model: implement kw_only
...
Implement a constructor override for model classes that checks that the
constructor does not have positional arguments passed to it. This can
be dropped post-3.10 since it is implemented natively by kw_only.
2022-07-22 14:56:15 +02:00
018518d783
revng.model: remove tags from dumper
...
Tags in the yaml have been deprecated for a while, remove them from
being outputted from YAML dumper.
2022-07-22 14:56:15 +02:00
a741e39f76
revng-check-conventions: introduce prettier
...
Adds the formatting tool prettier to allow formatting JS, TS, JSON,
YAML and HTML files.
2022-06-28 15:29:09 +02:00
450b0b4013
Minor changes
2022-05-11 09:29:45 +02:00
a4ca82b50b
Introduce TypeScript model generator
2022-05-09 13:37:35 +02:00
a98a7bb5d5
tuple_tree_generator: python_type -> type_info
...
This is part of an effort to generalize our current generator to make it
easier to support multiple backends.
2022-05-09 13:35:59 +02:00
422d5d88e4
Minor changes
...
Apply fixes due to `isort` misconfiguration.
2022-05-09 13:32:07 +02:00
bbce0b33e5
revng-check-conventions: introduce isort
2022-04-20 09:57:08 +02:00
46821cee5f
revng-check-conventions: introduce mypy
2022-04-20 09:57:01 +02:00
31a836e48c
revng-check-conventions: introduce flake8
2022-04-20 09:56:44 +02:00
44720eedbd
Redesign TupleTreeDiff
...
`TupleTreeDiff` is now type-safe and owns the changes.
2022-04-15 15:14:13 +02:00
a2b5dbb1dc
TupleTreeGenerator: autogenerate Kind
2022-04-08 17:36:59 +02:00
457d782ea8
UpcastablePointer::YAMLTraits: use Kind
2022-04-08 17:32:12 +02:00
326624f517
Fix TupleTreeCompatible linkage problem
...
Now all the generated `.cpp` include `Binary.h`. This ensures we don't
trigger the wrong concept due to forward declarations.
Also, this commit introduces a couple of `static_assert`s which should
enable us to early identification of similar problems.
2022-03-28 15:33:30 +02:00
70a460c46a
TupleTreeGenerator: use dataclasses
...
Give up on pydantic.
2022-03-22 17:52:02 +01:00
69cd0db81f
tuple_tree_generator: make Key strongly typed
2022-03-08 12:25:47 +01:00
d5e5e16887
Apply and enforce python formatting with black
2022-02-23 18:02:39 +01:00
1dc7efe2b0
tuple_tree_generator: emit jsonschema
2022-02-23 17:37:03 +01:00
8511cbf40b
tuple_tree_generator: drop tags
...
They were more harmful than beneficial.
2022-02-23 17:36:34 +01:00
10dc6744b4
mv include/revng/{Model,TupleTree}/EnumTraits.h
...
`EnumTraits.h` is not model-specific.
2022-02-23 17:32:50 +01:00
78be0e9268
Explode TupleTree.h
2022-01-31 16:28:26 +01:00
f3634e165f
Introduce model::Type::localCompare
2022-01-27 11:51:03 +01:00
54fcc1d7fe
struct_impl.cpp.tpl: include headers in any case
2022-01-27 11:51:03 +01:00
7ea55326e1
tuple_tree_generator: use all_optional_fields
2022-01-27 11:50:37 +01:00
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
3ab32cd2ef
tuple_tree_generator: make fully standalone
2022-01-21 18:05:51 +01:00
c7a0d05379
tuple_tree_generator: remove unused include
2022-01-21 18:05:49 +01:00
610d5112c7
tuple_tree_generator: fix type lookup
2022-01-21 18:03:07 +01:00
Massimo Fioravanti