13 Commits

Author	SHA1	Message	Date
Ivan Krysak	dc7d08555e	Decompile: verify helper names are consistent	2025-04-17 11:19:17 +03:00
Ivan Krysak	b72bcd7dd2	Introduce a basic problem name reporting system	2025-04-17 11:19:17 +03:00
Alessandro Di Federico	143c315196	Merge revng-c into revng	2024-11-21 10:50:55 +01:00
Ivan Krysak	64446d0453	Adopt name builder across the model users	2024-11-06 19:18:53 +02:00
Alessandro Di Federico	8cd4ee3b59	Move Kinds.h to revng	2024-11-04 15:09:56 +01:00
Ivan Krysak	94d860e2b2	Clean up builder configuration ... This also re-enables stack inlining by default.	2024-10-15 10:45:13 +03:00
Ivan Krysak	1a35cbcb77	Introduce PTMLCTypeBuilder	2024-10-15 10:45:13 +03:00
Alessandro Di Federico	8a5ae5f9c1	s/ExecutionContext &Ctx/ExecutionContext &EC/g	2024-09-27 10:35:10 +02:00
Alessandro Di Federico	e1f46264f8	Ensure every pipe commits what it should	2024-09-26 17:51:07 +02:00
Pietro Fezzardi	521baf38e8	PTML: honor GeneratePlainC	2024-06-27 17:30:56 -04:00
Alessandro Di Federico	5186a58053	s/FunctionMetadata/ControlFlowGraph/	2024-06-18 17:56:24 +02:00
Alessandro Di Federico	0c212b66d9	Relicense to MIT	2024-02-29 17:03:36 +01:00
Alessandro Di Federico	911ab00107	s/CDecompilation/Decompile/g	2024-02-09 09:03:34 +01:00