Giacomo Vercesi 4e0f4a6540 pypeline: stabilize pipeline description ...

Before this commit the pipeline description suffered from some
non-determinism that led to some values changing between runs of
`revng`. Add extra sorting so to eliminate the non-determinism.

2026-05-22 09:04:35 +02:00

..

revng

pypeline: stabilize pipeline description

2026-05-22 09:04:35 +02:00

scripts

revng: allow execution while in a venv

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

CMakeLists.txt

pypeline: notifications a duty of StorageProvider

2026-05-22 09:04:35 +02:00

wheel-install.sh

python: create python wheels

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