828bd9c49f
pypeline: add remote storage server
...
Add the PRSS (Pypeline Remote Storage Server) and the relay companion
server.
2026-05-22 09:04:35 +02:00
6f6cffde3b
LocalProvider: add object_id_string to objects
...
Add the `object_id_string` to the `objects` table. This is for
debugging purposes as it's hard to figure out what is what with binary
objects ids.
2026-05-22 09:04:35 +02:00
d7d87e237a
LocalProvider: add migration logic
...
Add additional logic to allow the local database to be migrated to newer
versions.
2026-05-22 09:04:35 +02:00
a13cffab19
pypeline: rename pipeline metadata schema file
...
Rename the schema that describes the metadata of the pipeline from
`web_schema.yml` to `pipeline-description-schema.yml`.
2026-03-31 17:00:48 +02:00
91299b0c18
Pypeline: change daemon pipeline format
...
Now the dameon's pipeline endpoint doesn't return just the parsed yaml
but it returns a format that's easier to use for the UI.
2025-11-24 16:41:15 +01:00
0ad8e8c849
Pypeline: add pypeline.daemon
...
Add implementation of the generic pype daemon.
It's implementation is split into `daemon.py` where we implement an
http framework agnostic interface, and `app.py` that uses it to serve
them using starlette.
2025-11-11 17:15:28 +01:00
639593164a
Pypeline: add autocomplete and refactor CLI
...
Now pype has an `autocomplete` command usable to enable autocompletion
and revng2 now is based on `pype`, modifying its defalults and
injecting new commands.
2025-11-11 17:15:27 +01:00
80eb02c207
Pypeline: merge pypeline
2025-09-10 12:05:15 +02:00
Giacomo Vercesi