5 Commits

Author	SHA1	Message	Date
Alessandro Di Federico	10dcb7be11	Fix semantics of model::Types purging passes ... One of the two passes to purge unused types from the model had a ill-defined semantics. This commit simplifies them in two passes: one that purges all the types unreachable from outside `Binary::Types` and one that does the same but also preserves types with a `CustomName` or an `OriginalName`.	2023-12-05 16:19:39 +01:00
Giacomo Vercesi	87543f835a	revng.cli._commands: drop shebangs ... Remove leftover shebangs from python files in `revng.cli._commands` as those files are no longer executable on their own	2023-04-20 14:43:11 +02:00
Alessandro Di Federico	f6d5cd24dd	Give pretty names to temporary files	2022-09-26 18:09:01 +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
Djordje Todorovic	1243d1061c	Introduce revng model hard-purge ... In addition, introduce a new model Pass: revng model opt -prune-unsused-types	2022-07-28 15:02:55 +02:00