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
7,211 Commits 215 Branches 0 Tags
feature/pypeline-integrate-scripting
Commit Graph

2 Commits

Author SHA1 Message Date
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
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