8 Commits

Author	SHA1	Message	Date
Alessandro Di Federico	5820908675	Remove and ban \file	2025-12-16 17:41:55 +01:00
Ivan Krysak	68d62428d8	Lift: drop free loadBinary function	2025-10-08 12:22:34 +03:00
Ivan Krysak	94c9e9d4dd	Make verifys inside asserts strict	2024-06-27 11:05:50 +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	4737efd763	Add a non-pass binary loader	2022-05-06 18:51:47 +02:00
Alessandro Di Federico	7d48059800	Turn revng-lift into a script	2022-03-11 15:37:12 +01:00
Alessandro Di Federico	0793e4afcb	Turn lifting into a pass	2022-03-11 15:37:12 +01:00