Giacomo Vercesi 73cd5a5655 revng daemon: allow manuanlly saving via SIGUSR2 ...

This commit adds the functionality, in debug mode, for `revng daemon` to
save when the SIGUSR2 signal is sent.

2024-01-26 19:13:58 +01:00

..

internal

revng daemon: allow manuanlly saving via SIGUSR2

2024-01-26 19:13:58 +01:00

model

model/_util.py: move into tupletree.py

2023-09-14 15:44:32 +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