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
Files
997e7f60cb41b7da27e0da32b9a4f5335457d54c
revng-revng/python/scripts
T
History
Alessandro Di Federico 997e7f60cb scripts/renvg: handle revng pipeline 
Let `scripts/revng` intercept `revng-pipeline` invocations and add, not
only -load, but `-P` (pipelines) too.
2022-03-16 22:10:15 +01:00
..
revng
scripts/renvg: handle revng pipeline
2022-03-16 22:10:15 +01:00
revng-merge-dynamic
Turn Python scripts into modules
2022-02-23 18:02:42 +01:00
revng-model-compare
Turn Python scripts into modules
2022-02-23 18:02:42 +01:00
revng-model-dump
Turn Python scripts into modules
2022-02-23 18:02:42 +01:00
revng-model-to-json
Turn Python scripts into modules
2022-02-23 18:02:42 +01:00