Giacomo Vercesi ba0f374eae revng cli: add --wrapper option ...

Add the `--wrapper` option which allows the user to pass an arbitrary
wrapper to the invocation of executables.

2024-09-10 10:14:12 +02:00

..

_commands

model compare: fix typos

2024-08-16 16:33:10 +02:00

__init__.py

python: create python wheels

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

commands_registry.py

revng cli: add --wrapper option

2024-09-10 10:14:12 +02:00

revng.py

python: create python wheels

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

support.py

Introduce revng tar-to-yaml

2024-06-20 10:24:50 +02:00