Giacomo Vercesi 6a88dc3d6a Implement S3Synchronizer ...

Implement a downstream load/save handler in `revng.internal.api.Manager`
class which handles loading and saving files from a local directory to
a s3 server.

2025-03-28 10:24:10 +01:00

..

internal

Implement S3Synchronizer

2025-03-28 10:24:10 +01:00

model

Adopt reworked model::Type

2024-06-27 11:05:51 +02:00

pipeline_description

Introduce PipelineDescription

2023-09-14 15:44:33 +02:00

tupletree

python: create python wheels

2023-12-12 14:52:22 +01:00

__init__.py

Turn Python scripts into modules

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

py.typed

python: create python wheels

2023-12-12 14:52:22 +01:00