7 Commits

Author	SHA1	Message	Date
Massimo Fioravanti	044071435e	Fix handling of binaries with no functions ... Fix various edge cases when a binary with no functions was analyzed.	2022-11-22 16:19:28 +01:00
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
Giacomo Vercesi	bf4122ed0a	Introduce v2 of revng-check-conventions	2022-09-29 15:21:59 +02:00
Giacomo Vercesi	07c2457a16	revng.cli: various improvements ... This commit introduces some miscellaneous fixes to revng.cli: * Remove useless subclasses in pipeline_tools.py; * Improve type annotations in _commands/ptml and fix a help string; * Add some extra type annotations for `Command`; * Remove useless namespaces in `commands_registry` and add help text for the ones in use;	2022-09-01 17:45:44 +02:00
Giacomo Vercesi	bbbcbd080a	revng ptml cat: add C highlighting	2022-09-01 15:49:44 +02:00
Giacomo Vercesi	e23d238e85	revng.cli: explicitly initialize Commands ... Commands now require a `setup` function, where the will register the command instance manually	2022-08-10 09:49:24 +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