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

3 Commits

Author SHA1 Message Date
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
Giacomo Vercesi f6f512883a revng daemon: add save mutation 
Add the `save` mutation to the GraphQL api. This allows a client to
trigger saving.
 2024-12-20 12:24:34 +01:00
Giacomo Vercesi 942cf50735 python: create python wheels 
Package revng's python code in two wheels: `revng` and `revng_internal`.
The revng wheel contains the
`revng.{pipeline_description,model,tupletree}` modules, while the
`revng_internal` one everything under `revng.internal`.
 2023-12-12 14:52:22 +01:00