c883bed765
Drop Logger's StaticEnabled feature
2025-10-31 17:25:03 +01:00
0d5e05688d
collectTuple: add non-recursive implementation
2025-10-29 15:10:18 +01:00
dfbe005307
ReadFields: switch to vectors
2025-10-29 15:10:18 +01:00
46a0af46c8
TupleTree visits: improve handling of upcast
2025-10-29 15:10:18 +01:00
c9e7ba7943
TupleTree visits: bypass access tracking
...
Use non-`const` version to bypass tracking.
2025-10-28 09:18:27 +01:00
db8eb227b9
TupleTreePath: rewrite with TraitfulAny
2025-10-28 09:18:27 +01:00
97415b5ffe
TupleTree visits: fix handling of upcast
...
We now suspend tracking before calling `.upcast`.
2025-10-24 18:24:25 +02:00
40da49548b
Add Binaries list to the model
...
Add to the model an entry detailing the list of input binaries under
`Binaries`. This will be referenced by `Segments` when needed.
2025-10-16 17:48:45 +02:00
d3bae70ba4
TupleTreeDiff: drop an unused overload
2025-10-08 12:22:34 +03:00
d63bba17c6
Implement LLMRenameAnalysis
...
Implement an analysis in revng which allows renaming the variables of a
C function via an LLM.
2025-05-06 09:59:46 +02:00
9ff471409e
Remove some asserts from YAMLTraits
...
More soft-fails instead.
2025-04-28 12:58:27 +02:00
79964eac74
Avoid ' misuse in error messages and comments
2025-04-17 16:41:21 +02:00
b354f1b75b
TupleTree: allow visiting upcastable pointers
2025-04-15 16:35:42 +03:00
705e4a5955
auto [...] -> auto &&[...]
2025-02-13 13:10:51 +02:00
672ee5df50
Replace std::string_view with llvm::StringRef
2024-11-06 15:43:13 +02:00
1eb80ecd2d
Introduce an error creation helper
2024-11-06 15:20:37 +02:00
a0c670652c
Improve usages of Expected<T>
2024-10-10 14:50:26 +02:00
bc064244d6
s/deserialize/fromString/g
2024-09-27 12:07:17 +02:00
c1cbb4e9a0
Initialize pointers to nullptr
2024-09-27 12:07:17 +02:00
2cdedc71f4
s/serialize/toString/
...
We keep serialize for method dealing with streams.
If it returns a `std::string`, let's use `toString`.
2024-09-27 12:07:17 +02:00
baea87f606
Pipeline: improving dump methods
2024-09-27 12:07:16 +02:00
cd2fdafc45
TupleTree: never assign root directly
...
This prevented expected cache invalidation when a new root was
assigned.
2024-06-27 11:05:52 +02:00
4a2db0ba4f
UpcastablePointer: streamline empty behavior
2024-06-27 11:05:52 +02:00
ffea5d9d4a
TupleTreeReference: evict cache on setting root
2024-06-27 11:05:51 +02:00
dfa7478685
Adopt reworked model::Type
2024-06-27 11:05:51 +02:00
73c43add70
TupleTree: revamp the visitors
2024-06-27 11:05:50 +02:00
6628cbe1b8
TupleTree: drop an unused argument
2024-06-27 11:05:50 +02:00
72346979e2
TupleTree: improve nullptr robustness
2024-06-27 11:05:50 +02:00
edb2d11c9a
TTG: add upcastable struct field support
2024-06-27 11:05:49 +02:00
48ace7c147
TTG: reorder early struct template
...
This heavily improves readability of the generated header.
2024-06-27 11:05:49 +02:00
6a1018b860
Remove unused linter suppressors
2024-06-27 11:05:48 +02:00
ac587cbb4f
Model: rename Type into TypeDefinition
2024-06-27 11:05:48 +02:00
f60c1bb4ad
s/TrackGuard/DisableTracking/
2024-06-20 10:24:51 +02:00
b5f7576573
Rework TupleTreeGenerator tracking
2024-06-20 10:24:50 +02:00
b0d897b87d
Minor changes
2024-06-20 10:24:49 +02:00
f783868dde
Model: adopt tryGet instead of find() != end()
2024-06-20 09:57:36 +02:00
43349943a7
Stop serializing the model in the IR
2024-06-20 09:57:36 +02:00
bf6cefc05a
Externalize functions to improve build times
2024-05-03 21:52:40 +02:00
c276a439b5
Add pipeline invalidation
...
Replace the stub implementation of invalidation with the proper
implementation. A ReadPathCache is added to each global so that it can
keep tracks of what target are associated to which read paths.
2024-01-02 11:14:56 +01:00
643d96698d
Preliminaries for pipeline invalidation
...
Fix various bugs already present in the codebase.
2024-01-02 11:06:48 +01:00
0cb3e497a4
Fix typos
2023-11-02 16:48:33 +01:00
d8147aa62e
Introduce TupleTreeReference::dump
2023-10-05 10:19:44 +02:00
c6425b2618
TupleTree::verify: more fine grained assertions
2023-10-05 10:19:44 +02:00
d2967d2a49
Tuple Tree Generator: remove Model headers
...
This commit removes the inclusion of the `Binary.h` header in
Tuple-Tree Generator files, allowing Model-independent Tuple Trees to be
generated.
2023-09-14 15:44:32 +02:00
247879f7fc
model::Type::ID: switch to progressive IDs
...
This commit switches `model::Type::ID` from being a GUID to be a
progressive number, in order to make things easier for humans.
On top of this, this commit introduces the following changes:
* TypeCopier: import all the necessary PrimitiveTypes and improve
handling of CustomName.
* Move Kind as the last field of the key of each TupleTree type used in
an `UpcastablePointer`.
* Update the ground truth of tests to ignore the `CustomName` in favor
of focusing on `OriginalName`.
* Increase adoption of `model::Binary::makeType`, equivalent to
`Binary.recordNewType(makeType<model::*Type>())`.
2023-08-23 16:14:04 +02:00
ee0dc1866d
Forbid clang format off
2023-07-03 15:23:10 +00:00
690df84eca
Concepts: prefer non-strict SpecializationOf
...
Not every case can benefit from extra liniency, so they were manually
reviewed on a case by case basis.
Additionally, this drops a couple of "this should be a non-strict
specialization" commits, because of a bug with clang
(see the GenericGraph concepts rework commit for more details) as
to avoid confusion (we wouldn't want anyone trying to solve these
"todo"s) until the clang struct type deduction is fixed. Especially
considering that there are currently no cases where these softer
versions would be beneficial (we never inherit from templates in
question).
2023-07-02 15:06:11 +00:00
a123ec2c35
Remove clang-format off around concepts
...
Now that clang-format no longer breaks anything involving a concept or
a requires clause on sight, these are no longer necessary
2023-07-02 13:20:49 +02:00
01b4ec36c9
Formatting: set AllowShortEnumsOnASingleLine
...
The new value is `false`.
2023-07-02 13:15:08 +02:00
31cd2b53f9
rcc: add codespell
...
Add codespell to the list of checks performed by
revng-check-conventions. This should reduce the amount of typos present
in the revng codebase.
2023-05-11 10:05:32 +02:00
Alessandro Di Federico