Giacomo Vercesi 8f2d0191d7 Pipe: add needed_files functions ...

In preparation for debugging individual pipes add an additional method
to the `Pipe` interface, `needed_files`, which allows the pipe to
statically report which files it will request ahead of time.

2026-01-29 14:54:24 +01:00

..

revng

Pipe: add needed_files functions

2026-01-29 14:54:24 +01:00

scripts

revng: allow execution while in a venv

2026-01-29 14:54:24 +01:00

CMakeLists.txt

revng: allow execution while in a venv

2026-01-29 14:54:24 +01:00

wheel-install.sh

python: create python wheels

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