Giacomo Vercesi 2a239ddf47 Introduce PipelineDescription ...

Add the PipelineDescription object that describes the structure of a
pipeline. This will be used by all the downstream users instead of
pipeline accessor methods via PipelineC.

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

..

api

revng: introduce S3 support

2023-09-06 15:23:43 +02:00

cli

revng daemon: allow setting exposed CORS headers

2023-09-06 16:12:43 +02:00

daemon

revng daemon: allow setting exposed CORS headers

2023-09-06 16:12:43 +02:00

model

model/_util.py: move into tupletree.py

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

pipeline_description

Introduce PipelineDescription

2023-09-14 15:44:33 +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/_util.py: move into tupletree.py

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