Giacomo Vercesi 971cea5bf1 pype-cli: better propagate pypeline errors ...

Convert the `RuntimeError`s emitted by the pipebox (e.g. when checking
preconditions or running analyses) into `PypelineError`s and have the
pypeline cli infrastructure handle them gracefully, without emitting
stacktraces.

2025-12-19 10:29:28 +01:00

..

revng

pype-cli: better propagate pypeline errors

2025-12-19 10:29:28 +01:00

scripts

python: create python wheels

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

CMakeLists.txt

Pypeline: change daemon pipeline format

2025-11-24 16:41:15 +01:00

wheel-install.sh

python: create python wheels

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