3 Commits

Author	SHA1	Message	Date
Robin Mueller	18ee2ab903	example compiles again	2022-07-27 11:26:47 +02:00
Robin Mueller	75c824ec80	add new VerificationReporterIF	2022-07-26 13:59:09 +02:00
Robin Mueller	6c636661b6	a lot of refactoring	2022-07-19 18:13:25 +02:00