Giacomo Vercesi 1a7503183a revng.cli: dynamically load commands ...

Now `revng.cli` houses the core command-line driver while the individual
commands have been moved to `revng.cli._commands` and are dynamically
loaded.

2022-07-28 08:48:30 +02:00

..

_commands

revng.cli: dynamically load commands

2022-07-28 08:48:30 +02:00

merge_dynamic

revng-check-conventions: introduce isort

2022-04-20 09:57:08 +02:00

model_dump

Fix pyYAML type error

2022-06-13 18:35:37 +02:00

__init__.py

Turn Python scripts into modules

2022-02-23 18:02:42 +01:00

commands_registry.py

Add revng yield assembly tool

2022-05-06 18:51:47 +02:00

revng.py

revng.cli: dynamically load commands

2022-07-28 08:48:30 +02:00

support.py

revng.cli: dynamically load commands

2022-07-28 08:48:30 +02:00