Giacomo Vercesi df68b2c7c0 revng ptml: merge cat and strip ...

Merge the cat and strip subcommands within `revng ptml`
Refactor codebase so that both color and plaintext output are handled
in a unified manner.

2022-09-29 15:43:17 +02:00

..

_commands

revng ptml: merge cat and strip

2022-09-29 15:43:17 +02:00

merge_dynamic

merge-dynamic: drop a default argument

2022-09-22 17:43:55 +02:00

model_dump

revng-model-dump: emit YAML

2022-08-08 13:55:25 +02:00

__init__.py

Turn Python scripts into modules

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

commands_registry.py

Fix revng cli invocation with namespaces

2022-09-02 03:49:56 +02:00

revng.py

Fix revng cli invocation with namespaces

2022-09-02 03:49:56 +02:00

support.py

revng.cli: various improvements

2022-09-01 17:45:44 +02:00