19 Commits

Author	SHA1	Message	Date
Robin Mueller	7cbe4f1170	some progress	2024-01-31 01:32:03 +01:00
Robin Mueller	13b7c50e74	added TODO	2023-07-11 00:46:22 +02:00
Robin Mueller	300ea91c6b	updated example as well	2023-07-11 00:44:48 +02:00
Robin Mueller	dbcb1fb350	issue for another day..	2023-07-10 01:27:37 +02:00
Robin Mueller	fffd1af81f	that was insane	2023-07-10 00:29:31 +02:00
Robin Mueller	c9989bf7aa	improve error handling	2023-07-08 13:20:08 +02:00
Robin Mueller	f7bf4a4d7b	done	2023-07-06 00:49:18 +02:00
Robin Mueller	90493a6dcb	add HK module	2023-07-05 21:10:45 +02:00
Robin Mueller	5f5b77b721	almost finished completely	2023-07-05 21:08:04 +02:00
Robin Mueller	bc65cae3ec	simplifications for verification reporter	2023-07-05 17:24:53 +02:00
Robin Mueller	52a7682a55	continue	2023-07-05 14:25:51 +02:00
Robin Mueller	363770066d	start adding event service	2023-07-05 11:58:43 +02:00
Robin Mueller	d2e896fc92	more cleaning and restructuring	2023-07-05 11:25:23 +02:00
Robin Mueller	2ba93b9942	some things in rust are really hard	2023-07-04 22:26:41 +02:00
Robin Mueller	17c5b3d93e	continue	2023-07-04 21:13:26 +02:00
Robin Mueller	6723fd9e5c	compleex	2023-07-04 20:01:06 +02:00
Robin Mueller	82b7717b49	next helper class	2023-07-04 18:51:54 +02:00
Robin Mueller	3a1c5832a9	continue	2023-07-04 15:17:43 +02:00
Robin Mueller	e786773a65	at least it compiles again	2023-07-03 18:22:08 +02:00