15 Commits

Author	SHA1	Message	Date
Lauri Vasama	04fe27b8e9	Migrate Clift users to CDataModel	2026-05-04 10:49:03 +03:00
Lauri Vasama	a338194eb7	Move namespace mlir::clift out of namespace mlir	2026-04-27 12:48:24 +03:00
Lauri Vasama	0fe8c448a9	Remove unused dialects from clift-opt	2025-11-12 15:28:54 +02:00
Lauri Vasama	f6f3bc2dbc	Add generic passes in clift-opt	2025-11-12 15:28:54 +02:00
Lauri Vasama	22d6f70ee2	Clift directory structure overhaul	2025-10-13 15:08:20 +02:00
Lauri Vasama	3c191122dc	Rename Clift to CliftDialect, CliftOps to Clift	2025-10-13 15:08:20 +02:00
Lauri Vasama	ab9da50e68	Remove unreachable return in clift-opt	2025-01-10 08:03:20 +02:00
Alessandro Di Federico	143c315196	Merge revng-c into revng	2024-11-21 10:50:55 +01:00
Giacomo Vercesi	683bcf66d8	Drop revng- prefix from libexec executables ... The revng CLI driver no longer uses the `revng-` prefix for executables under `libexec/revng`.	2024-10-01 20:34:38 +02:00
Lauri Vasama	ba58ec8edb	Add import-clift-types pipe	2024-05-29 15:43:35 +02:00
Lauri Vasama	a8e2bb8c48	Add ImportModelType pass, register in clift-opt	2024-05-29 15:43:35 +02:00
Lauri Vasama	c0fd99e0c2	Restrict the dialects available in clift-opt	2024-05-29 15:43:35 +02:00
Alessandro Di Federico	0c212b66d9	Relicense to MIT	2024-02-29 17:03:36 +01:00
Andrea Gussoni	ac6139bc0f	clift: import mlir::clift dialect	2023-07-07 17:48:13 +02:00
Andrea Gussoni	4ae0916934	clift: clift-opt binary	2023-07-07 17:48:09 +02:00