53a5ff07cf
Remove embedded TUPLE-TREE-YAML
2025-04-30 15:08:45 +02:00
1622bb91a1
Introduce automatic names for dynamic functions
2025-04-24 13:22:14 +02:00
76ed261375
Use revng_undefined_ instead of init_
...
Current `init_` prefix used to set the default values of SCVs
is very common in typical code, hence it would cause a lot of
collisions.
2025-04-17 11:19:17 +03:00
dce5c1a02c
NamingConfiguration: pull more prefixes inside
...
Unify additional values that used to be hardcoded in the old backend
under the same naming configuration root.
2025-04-17 11:19:17 +03:00
af79a289d8
NamingConfiguration: add a new option
...
It's `ReserveNamesStartingWithUnderscore`.
2025-04-17 11:19:17 +03:00
645cf7fc2e
NameBuilder: sunset deduplication
...
This reworks NameBuilder to ease the transition to the system where
the model will be guaranteed to never contain any name collisions, both
between user-specified names and the automatic ones.
2025-04-15 16:35:42 +03:00
3edb6cbb9b
Minor improvements
2025-04-15 16:35:42 +03:00
d2d32b304e
Model: improve documentation
2024-12-11 16:15:09 +01:00
672ee5df50
Replace std::string_view with llvm::StringRef
2024-11-06 15:43:13 +02:00
0a3628e6fe
Model: introduce naming configuration
2024-11-06 15:42:44 +02:00
Khaled Ismaeel