8 Commits

Author	SHA1	Message	Date
Alessandro Di Federico	a0c670652c	Improve usages of Expected<T>	2024-10-10 14:50:26 +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
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
Massimo Fioravanti	bf1de27239	revng model diff: keep output	2022-04-15 15:14:41 +02:00
Ivan Krysak	a67bc8d1a6	revng-model-diff: return error on mismatch	2022-02-14 10:57:30 +01:00
Alessandro Di Federico	3980ee3fad	Introduce model tools	2022-01-31 16:28:14 +01:00