revng-revng

admin/revng-revng

Fork 0

mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00

Commit Graph

Author SHA1 Message Date

Author	SHA1	Message	Date
Giacomo Vercesi	7a9c88e9e7	Introduce `revng ptml` This Oython tool will be used to easily work with PTML. It currently features two subcommands: * `cat` prints a PTML to the terminal, with color formatting if possible; * `strip` will strip a file of the PTML markup;	2022-07-28 08:49:09 +02:00
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

Giacomo Vercesi

7a9c88e9e7

Introduce revng ptml

This Oython tool will be used to easily work with PTML.

It currently features two subcommands:

* `cat` prints a PTML to the terminal, with color formatting if
  possible;
* `strip` will strip a file of the PTML markup;

2022-07-28 08:49:09 +02:00

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

2 Commits