11 Commits

Author	SHA1	Message	Date
Ivan Krysak	d1fbf2eee6	Model: Drop ToolHelpers.h	2025-10-08 12:22:34 +03:00
Ivan Krysak	dbd8a720b7	Reduce using namespace abuse	2025-09-10 17:44:02 +02:00
Ivan Krysak	2be6f4aebb	TypeSystemPrinter: adopt name builder	2024-11-06 15:43:13 +02:00
Alessandro Di Federico	a0c670652c	Improve usages of Expected<T>	2024-10-10 14:50:26 +02:00
Giacomo Vercesi	993f66d59c	revng cli: drop revng- prefix from libexec ... Drop using the `revng-` prefix from all executables under `libexec/revng/`. Now any executable found under there that is executable and without extension will be considered a `revng` subcommand, following the usual command-line rules.	2024-10-01 13:38:14 +02:00
Ivan Krysak	dfa7478685	Adopt reworked model::Type	2024-06-27 11:05:51 +02:00
Massimo Fioravanti	43349943a7	Stop serializing the model in the IR	2024-06-20 09:57:36 +02:00
Alessandro Di Federico	f68185abc9	Push ParseCommandLineOptions into InitRevng	2023-04-28 14:34:35 +02:00
Pietro Fezzardi	d520fd5aea	Cache TTRs in Model tools	2022-10-29 16:46:19 +02:00
Giacomo Vercesi	bf4122ed0a	Introduce v2 of revng-check-conventions	2022-09-29 15:21:59 +02:00
Alvise de Faveri	999df25246	Add revng model export type-graph tool ... This tools dumps a type, a function or an entire type-system to a dot file,representing dependencies between types as edges.	2022-09-19 08:35:06 +02:00