4 Commits

Author	SHA1	Message	Date
Max Lübke	0d34752837	refactor: format all source files to LLVM standard	2023-09-14 10:27:05 +02:00
philippun	e1b7038490	proposal implementation for MDL merge request	2023-08-07 16:51:44 +02:00
Marco De Lucia	25f8c3fe6e	MDL: distinguish between "inner" (= due to CFL) and "outer" iterations	2023-08-07 12:35:11 +02:00
Marco De Lucia	788e59c4ef	Add docu and validation files	2023-07-31 16:52:31 +02:00