Giacomo Vercesi 0ec2fdd175 revng.daemon: prevent shutdown crash ...

Change the behavior of `revng daemon` to avoid a crash at shutdown
caused by `rp_shutdown` not being called due to the pointer of
`rp_manager` not being freed.

2023-07-21 09:34:00 +02:00

..

api

revng.daemon: prevent shutdown crash

2023-07-21 09:34:00 +02:00

cli

revng.cli: ensure proper exit code propagation

2023-06-23 17:55:41 +02:00

daemon

revng.daemon: prevent shutdown crash

2023-07-21 09:34:00 +02:00

model

revng.model: drop last version autodetection

2022-07-22 15:07:14 +02:00

support

support.py: rework get_command

2023-04-13 18:11:48 +02:00

__init__.py

Turn Python scripts into modules

2022-02-23 18:02:42 +01:00

tupletree.py

Introduce v2 of revng-check-conventions

2022-09-29 15:21:59 +02:00