Giacomo Vercesi 9f63c7c476 revng daemon: handle PipelineManager no init ...

Handle the case in `revng daemon` where the `PipelineManager` fails to
init. In this scenario the server responds to all requests with a 500
(with the exception of `/` and `/status`, which return 200).

2025-07-30 15:43:02 +02:00

..

revng

revng daemon: handle PipelineManager no init

2025-07-30 15:43:02 +02:00

scripts

python: create python wheels

2023-12-12 14:52:22 +01:00

CMakeLists.txt

Model: bump version to 5 and introduce migration

2025-07-23 11:38:52 +02:00

pyproject_revng_internal.toml

python: autogenerate module version for wheels

2025-07-15 10:46:19 +02:00

pyproject_revng.toml

artifacts: allow parsing the recompilable archive

2025-07-18 09:30:56 +02:00

README_revng_internal.md

python: integrate README.md into python package

2025-07-15 10:46:19 +02:00

README_revng.md

python: integrate README.md into python package

2025-07-15 10:46:19 +02:00

wheel-install.sh

python: create python wheels

2023-12-12 14:52:22 +01:00