6ec9f9a952
TupleTree: overhaul reference caching
...
Overhaul the logic and method names involved in enabling and disabling
reference caching in `TupleTree<T>`. `TupleTreeReference<T, U>` now
lazily caches the target and will traverse the path only when needed.
Also expose and use these functions in the new pipeline, which should
provide some speedup when executing a `Schedule`.
2026-03-04 14:58:02 +01:00
f0e00d66ab
Do not use doxygen for TODOs
2026-02-25 12:47:27 +01:00
22fe32afa2
Minor improvements
2026-02-25 12:47:27 +01:00
27f419c8cd
Fix and ban namespace clobbering
...
Fix an instance where the `std` namespace got clobbered into the global
namespace by accident.
2026-02-16 10:34:38 +01:00
56ab47bfd2
Outline mergeBackImpl in IRHelpers
...
Move the body of `LLVMContainer::mergeBackImpl` in
`Support/IRHelpers.cpp` under the name `linkFunctionModules`.
2025-12-10 16:16:14 +01:00
c883bed765
Drop Logger's StaticEnabled feature
2025-10-31 17:25:03 +01:00
dfbe005307
ReadFields: switch to vectors
2025-10-29 15:10:18 +01:00
4fb6b5f4e1
Minor changes
2025-10-24 18:20:48 +02:00
cc57e57fd1
TTG: remove support for optional: true fields
...
After this commit, every non-key field is treated as if it was optional
while every key field (plus every auto-generated `Kind` field) - as if
it was required.
2025-10-13 18:33:10 +03:00
e56f543b1a
Split module.bc.zstd
2025-10-13 10:26:41 +03:00
5717d835f8
Add missing llvm::Error checks
2025-10-13 10:26:37 +03:00
a88747cf99
Drop unused includes
2025-10-08 12:22:34 +03:00
77ea07c364
Minor improvements
2025-10-08 12:22:30 +03:00
b1b6a0e93c
Add Location conversion utilities
2025-09-29 18:05:54 +03:00
eb45307fb4
Fix pipeline::Location::back
2025-09-29 18:05:54 +03:00
97aa3c8247
std::string: use implicit default constructor
2025-07-23 11:38:53 +02:00
2b9b925e8c
TTG: make doc mandatory in fields too
2025-07-23 11:38:52 +02:00
d62b7b6b1a
TTG: inline root type in schema
...
Move the root type inside the schema definition, as it is a property of
it and not of the generator.
2025-06-25 15:40:13 +02:00
31068f3d43
Pipeline: introduce an optional model path
2025-05-07 10:48:49 +02:00
e3074ec29a
revng artifact: omit kind
...
When working with `revng artifact`, omit the kind in both the output of
`--list` and the parameters taken specifying which targets to produce.
2025-05-07 10:48:48 +02:00
3db971b8b4
Pipeline: invalidate if *any* input is invalidated
...
We used to invalidate only if *all* inputs were invalidated.
2025-05-07 08:36:44 +02:00
50caf5ef9e
Pipeline: allow analyses to not be available
...
An analysis can implement the `isAvailable` function which can tell
users if the analysis is available or not to be run.
2025-05-05 17:28:48 +02:00
a52f1f17c2
Add automatic migrations in PipelineManager
2025-04-30 15:08:45 +02:00
383af5b6b0
Add the version field to schemas YAML
...
Here we start restructuring the the schemas YAML such that it
contains a top-level `version` field. In this commit we only modify
the YAML, the build system changes will come later, to avoid
enormous commits.
2025-04-30 15:08:45 +02:00
53a5ff07cf
Remove embedded TUPLE-TREE-YAML
2025-04-30 15:08:45 +02:00
f384b10435
Check schemas into the codebase
...
These schema files are currently generated at build time by
collecting various TUPLE-TREE-YAML comments using the
`extract_yaml.py` script. In this commit we move them to the codebase
but we don't use them yet, this will be done at a later commit for
the sake of readability.
2025-04-30 15:08:40 +02:00
0ac78dddba
Fix codespell errors
...
Fix erros detected by the new version of `codespell`.
2025-04-24 13:22:14 +02:00
11f1e532c6
Implement dirty bit on Container
...
Add a `Dirty` boolean to the `ContainerBase` class. This will be set to
true when the container mutates itself (e.g. remove, mergeBack, clear).
The dirty bit is reset when running `PipelineManager.store`.
2025-04-03 15:59:18 +02:00
87872f9fc5
PipelineManager: add save-after-every-analysis
...
Add a command-line option to pipeline that saves after every analysis is
run.
2025-03-13 18:03:50 +01:00
705e4a5955
auto [...] -> auto &&[...]
2025-02-13 13:10:51 +02:00
2128a80cc8
Preserve metadata after Function::deleteBody
...
Also, introduce and adopt a simple helper class to get this right.
2025-01-28 12:19:16 +01:00
05041a302a
PipelineManager: save after running analyses
...
Save the context after an analysis (or analyses-list) has run. This
guarantees that at least the model is preserved in case of crash.
2024-12-20 12:24:28 +01:00
ade0603d3f
Add docs for artifacts and analyses
2024-12-11 16:15:10 +01: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
8e65716ad8
Use zstd compression in pipeline
...
Use the zstd compression for:
* The `LLVMContainer` when serializing
* The invalidation cache when writing to disk
2024-10-30 21:57:55 +01:00
9c47c92af2
Target::PathComponents: use SmallVector<1>
2024-10-30 19:30:04 +01:00
e9e9a958e6
PathTargetBimap: drop ReverseMap
2024-10-30 17:54:48 +01:00
43f0304cb2
Pipeline: toString -> locationString
2024-10-15 09:12:55 +02:00
a0c670652c
Improve usages of Expected<T>
2024-10-10 14:50:26 +02:00
07e964478d
Invalidation deduceResults after pipe
2024-09-29 12:52:14 +02:00
865ffb9892
Minor changes
2024-09-27 20:45:22 +02:00
33cae7de12
Pipeline: reduce usage of Context
2024-09-27 12:07:18 +02:00
6297537486
Drop Pipe::print
2024-09-27 12:07:18 +02:00
fbf79b5d1b
Make Pipe::checkPrecondition optional
2024-09-27 12:07:18 +02:00
bc064244d6
s/deserialize/fromString/g
2024-09-27 12:07:17 +02:00
bdb5284540
Target::dump: use toString
2024-09-27 12:07:17 +02:00
42fb8455c2
Outline InvalidationMetadata::PipeWrapper
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
Giacomo Vercesi