Giacomo Vercesi 993f66d59c revng cli: drop revng- prefix from libexec ...

Drop using the `revng-` prefix from all executables under
`libexec/revng/`. Now any executable found under there that is
executable and without extension will be considered a `revng`
subcommand, following the usual command-line rules.

2024-10-01 13:38:14 +02:00

..

inspect

Push ParseCommandLineOptions into InitRevng

2023-04-28 14:34:35 +02:00

run

revng trace run: allow providing resume directory

2023-11-03 18:29:10 +01:00

CMakeLists.txt

revng cli: drop revng- prefix from libexec

2024-10-01 13:38:14 +02:00