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
69aafd4181
TupleTree: implement tracking data manipulation
...
Implement the core visits that are able to inspect the model bypassing
the instrumentation.
2023-04-21 17:51:05 +02:00
5ed9432a68
Fix ambiguous template function
...
Bumping LLVM version turned these into compiler errors.
2023-04-08 08:42:23 +02:00
52521f8cac
Adopt more standard library's features
2023-04-08 08:42:23 +02:00
b2f22c168f
Adopt clang-format 16
2023-04-08 08:42:23 +02:00
bcca3ac8b7
TupleTree: introduce replaceReferencesIf
2023-03-15 10:19:02 +01:00
11c0d7f02e
Stop using \brief doxygen command
2023-03-15 10:19:01 +01:00
95ec36eea3
Fix error messages capitalization
2023-02-09 13:44:22 +01:00
68ae1c986c
DiffErrors now use DiffLocations
...
DiffLocation now allows to pinpoint which change of a diff generated a
issue.
2023-02-09 13:43:51 +01:00
4dc2e92782
Introduce DocumentError
...
`DocumentError`s are the inteded way of propagating errors from the
pipeline to the frontend when a location is required to inform the user
of the error whereabouts.
2023-02-09 13:42:50 +01:00
Giacomo Vercesi