Files
Giacomo Vercesi 3d96cd3b85 Add revng2 project dump-pipeline
Add the `revng2 project dump-pipeline` command which allows emitting the
pipeline description from the command-line.
2026-04-09 17:07:44 +02:00
..
2026-04-09 17:07:44 +02:00