17 Commits

Author	SHA1	Message	Date
Alessandro Di Federico	0742699a81	s/OutputFilename/OutputPath/g	2026-04-23 13:40:42 +02:00
Alessandro Di Federico	5820908675	Remove and ban \file	2025-12-16 17:41:55 +01:00
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	6a6b34b831	Introduce a general static registry helper	2025-04-17 11:19:17 +03:00
Ivan Krysak	1eb80ecd2d	Introduce an error creation helper	2024-11-06 15:20:37 +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
Massimo Fioravanti	43349943a7	Stop serializing the model in the IR	2024-06-20 09:57:36 +02:00
Ivan Krysak	7d235f4fd0	Enforce licence header consistency ... Also do some basic cleanup: capitalize first letters, add `.` at the end of the sentences, and so on.	2023-07-03 15:23:10 +00:00
Ivan Krysak	bc98e0079f	Formatting: change PenaltyReturnTypeOnItsOwnLine ... The new value is 21.	2023-07-02 13:20:49 +02:00
Alessandro Di Federico	f68185abc9	Push ParseCommandLineOptions into InitRevng	2023-04-28 14:34:35 +02:00
Davide Depau	8d89be44fc	Add initialization utility to all main functions	2022-07-22 21:04:03 +02:00
Alessandro Di Federico	2b55d1df22	Adopt cmake-format	2022-03-17 18:52:18 +01:00
Ivan Krysak	8d876b0def	ABI: introduce bulk function conversion	2022-02-14 13:35:37 +01:00
Ivan Krysak	e20e65ca9a	Require a description when registering a pass	2022-02-14 13:35:36 +01:00
Alessandro Di Federico	a353e00ac1	Introduce model passes	2022-01-31 16:28:14 +01:00