 Ivan Krysak
|
dfa7478685
|
Adopt reworked model::Type
|
2024-06-27 11:05:51 +02:00 |
|
|
Ivan Krysak
|
ac587cbb4f
|
Model: rename Type into TypeDefinition
|
2024-06-27 11:05:48 +02:00 |
|
|
Giacomo Vercesi
|
3a006422d3
|
typescript/python model wrappers: fix structure
Change the way the python and typescript model wrappers handle
attributes in struct fields. Now all fields are populated and none of
the use `None`.
|
2023-07-21 09:34:00 +02:00 |
|
|
Giacomo Vercesi
|
406a21360a
|
model.ts: add offset support to MetaAddress
Allow the `MetaAddress` class in typescript to independently compute the
offset to another MetaAddress.
|
2023-07-21 09:34:00 +02:00 |
|
|
Giacomo Vercesi
|
fcc0d2176c
|
model.ts: format with new prettier
Apply the formatting changes imposed by the updated prettier version.
|
2023-05-08 16:03:03 +02:00 |
|
|
Giacomo Vercesi
|
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 |
|
|
Giacomo Vercesi
|
a4ca82b50b
|
Introduce TypeScript model generator
|
2022-05-09 13:37:35 +02:00 |
|