revng-revng

admin/revng-revng

Fork 0

mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00

Commit Graph

Author SHA1 Message Date

Author	SHA1	Message	Date
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	319b558ddb	EventManager: change saving logic Switch the saving logic of EventManager from 5 minutes of inactivity to every 2 minutes, regardless of user interaction. However if the user does not interact, then consecutive saves will not be made.	2024-12-20 12:24:28 +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

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

319b558ddb

EventManager: change saving logic

Switch the saving logic of EventManager from 5 minutes of inactivity to
every 2 minutes, regardless of user interaction. However if the user
does not interact, then consecutive saves will not be made.

2024-12-20 12:24:28 +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

3 Commits