admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
5,948 Commits 215 Branches 0 Tags
feature/s3-storage-python
Commit Graph

10 Commits

Author SHA1 Message Date
Ivan Krysak 1eb80ecd2d Introduce an error creation helper 2024-11-06 15:20:37 +02:00
Alessandro Di Federico bd84bd7f2e Rework --analyze and --analyses-list 2024-10-31 17:19:51 +01:00
Alessandro Di Federico a0c670652c Improve usages of Expected<T> 2024-10-10 14:50:26 +02:00
Alessandro Di Federico f2be46d4da ToolCLOptions: introduce --model 2024-02-09 10:04:21 +01:00
Massimo Fioravanti 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
Giacomo Vercesi 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
Giacomo Vercesi 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
Ivan Krysak bc98e0079f Formatting: change PenaltyReturnTypeOnItsOwnLine 
The new value is 21.
 2023-07-02 13:20:49 +02:00
Massimo Fioravanti 5894867786 revng-pipeline: s/-p/--resume/ 2022-08-10 09:49:24 +02:00
Massimo Fioravanti d250d43ee4 revng-pipeline: factor out common CLI options 
Common CLI options that were used by multiple tools and have now been
isolated into a single include file to be used before declaring main.
 2022-08-10 09:49:24 +02:00