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
Files
feature/harmonize-lift-optimizations
revng-revng/python/revng
T
History
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
..
internal
revng daemon: add save mutation
2024-12-20 12:24:34 +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