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
c8d4381297
s/Context &Ctx/Context &Context/g
2024-09-27 12:07:17 +02:00
9bdce8e5c4
s/ExecutionContext &Ctx/ExecutionContext &EC/g
2024-09-27 12:07:17 +02:00
ee724aae83
Make pipe names dynamic
...
This enables us to have the list of passes in the `generic-llvm-pipe`
name, which would be otherwise carrying poor information.
2024-09-27 12:07:16 +02:00
12a0a89e15
Ensure every pipe commits what it should
...
This commit is the final step in ensuring all the pipes commit what they
should. It also asserts this actually happens, enabling us to easily
catch future problems.
2024-09-27 12:07:16 +02:00
baea87f606
Pipeline: improving dump methods
2024-09-27 12:07:16 +02:00
Alessandro Di Federico