11 Commits

Author	SHA1	Message	Date
Alessandro Di Federico	e2d9c50cf5	tmp	2022-11-15 16:46:41 +01:00
Massimo Fioravanti	9363bbd70a	Pipeline: every container type has now a C++ type	2022-09-29 15:51:17 +02:00
Djordje Todorovic	5559d8431b	Introduce fix-model model pass	2022-09-21 18:37:36 +02:00
Massimo Fioravanti	633f49c1ef	Introduce dedicated namespace for kinds and ranks	2022-08-29 14:44:53 +02:00
Massimo Fioravanti	915c083661	Pipes: reorganize who defines pipes	2022-08-29 14:44:35 +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
Pietro Fezzardi	7f65b1117a	New AddPrimitiveTypesPipe ... This pipe is executed during the Lift step and populates the model with all the required primitive types.	2022-04-12 16:40:27 +02: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	91fd04079a	AllPasses.h: include Verify.h	2022-02-07 20:11:15 +01:00
Alessandro Di Federico	a353e00ac1	Introduce model passes	2022-01-31 16:28:14 +01:00