Giacomo Vercesi d6655ef6fa revng: introduce S3 support ...

Add the capability for all revng tooling to run with an S3-backed
workdir.

2023-08-30 13:18:33 +02:00

..

api

revng: introduce S3 support

2023-08-30 13:18:33 +02:00

cli

Add components to revng cli driver

2023-08-23 17:45:36 +02:00

daemon

revng: introduce S3 support

2023-08-30 13:18:33 +02:00

model

model::Type::ID: switch to progressive IDs

2023-08-23 16:14:04 +02:00

support

revng.cli: centralize collect_pipelines

2023-08-23 17:45:36 +02:00

__init__.py

Turn Python scripts into modules

2022-02-23 18:02:42 +01:00

tupletree.py

model::Type::ID: switch to progressive IDs

2023-08-23 16:14:04 +02:00