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/libc-start-main-fixes
revng-revng/python/revng/internal/api
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
..
__init__.py
python: create python wheels
2023-12-12 14:52:22 +01:00
_capi.py
InitRevng: fix command line parsing
2024-01-26 17:46:21 +01:00
errors.py
python: create python wheels
2023-12-12 14:52:22 +01:00
exceptions.py
python: create python wheels
2023-12-12 14:52:22 +01:00
invalidations.py
python: create python wheels
2023-12-12 14:52:22 +01:00
manager.py
revng daemon: add save mutation
2024-12-20 12:24:34 +01:00
string_map.py
python: create python wheels
2023-12-12 14:52:22 +01:00
target.py
python: create python wheels
2023-12-12 14:52:22 +01:00
utils.py
python: create python wheels
2023-12-12 14:52:22 +01:00