baea87f606
Pipeline: improving dump methods
2024-09-27 12:07:16 +02:00
6ac7c0c557
Implement container cache pruning
...
Implement the pruning of container caches (resume directory) when there
is a mismatch between the current revng components' hash and the saved
one. This functionality is activated via `-check-components-version`.
2024-01-26 17:46:21 +01:00
0b2754c824
pipeline: drop Disk from storage methods
...
This commit changes the following method names across the codebase:
* `storeToDisk` -> `store`
* `loadFromDisk` -> `load`
This has been done since the storage is no longer bound to the local
storage.
2023-09-06 15:23:43 +02:00
93d3a6238d
revng: introduce S3 support
...
Add the capability for all revng tooling to run with an S3-backed
workdir.
2023-09-06 15:23:43 +02:00
9f1d9fd5d0
Use Container::contains() where appropriate
2023-07-02 15:06:11 +00:00
b2f22c168f
Adopt clang-format 16
2023-04-08 08:42:23 +02:00
d55aa9b9e6
Pipeline: remove * from targets
...
Now * is just a pipeline frontend shorthand.
2022-10-20 14:20:12 +02:00
9363bbd70a
Pipeline: every container type has now a C++ type
2022-09-29 15:51:17 +02:00
9a4e97d8ea
Pipeline: handle having 0 functions
2022-08-31 18:07:47 +02:00
0f4df96ad6
Mark some dump() methods as debug_function
2022-05-11 14:39:31 +02:00
a831fa8e74
ContainerSet: add isContainerRegistered
...
This function allows to check if a container is registered,
irrespective of its initialization status
2022-04-26 15:05:30 +02:00
60fd53b1fb
Introduce Kind::verify
2022-04-15 15:17:37 +02:00
70ec456078
Introduce revng-pipeline
2022-01-17 18:17:54 +01:00
Alessandro Di Federico