12 Commits

Author	SHA1	Message	Date
Lauri Vasama	d14365220b	Fix DefinedType uniqueness verification ... T and const T were detected as distinct types.	2025-07-17 16:45:03 +02:00
Lauri Vasama	fc682383e9	Implement Clift bytecode ... Fixes bytecode emission of class types with very large trees of members. See the new unit test: union-with-large-tree.mlir .	2025-07-17 16:45:03 +02:00
Lauri Vasama	047511b1ed	Remove Clift break and continue ops	2025-06-04 15:13:47 +02:00
Lauri Vasama	3e065cb23d	Remove local and label names	2025-06-04 15:13:47 +02:00
Lauri Vasama	a0ec1305f1	Move ReturnOp type verification to FunctionOp	2025-06-04 15:13:47 +02:00
Lauri Vasama	f0091e699f	Remove clift::ModuleOp ... A new dialect attribute is instead used to verify mlir::ModuleOp: ``` module attributes {clift.module} { } ```	2025-06-04 15:13:47 +02:00
Lauri Vasama	0313350b7f	Minor Clift.cpp cleanup	2025-06-04 15:13:47 +02:00
Alessandro Di Federico	143c315196	Merge revng-c into revng	2024-11-21 10:50:55 +01:00
Lauri Vasama	cccee1ed99	Add structured Clift type alias generation	2024-06-05 15:07:23 +02:00
Alessandro Di Federico	0c212b66d9	Relicense to MIT	2024-02-29 17:03:36 +01:00
Massimo Fioravanti	ab856523dd	Introduce clift types	2024-02-04 16:49:51 +01:00
Andrea Gussoni	ac6139bc0f	clift: import mlir::clift dialect	2023-07-07 17:48:13 +02:00