3 Commits

Author	SHA1	Message	Date
Marius Pfeiffer	f05bfc4c61	make hlt1 overview cooler	2024-02-23 14:46:29 +01:00
Marius Pfeiffer	bd9c7b5f8f	hlt1 decision overview, simulation start, abstraction	2024-02-22 16:53:48 +01:00
Marius Pfeiffer	8fd431b64d	move old macros, add new one with hlt1 check and psi2s	2024-02-21 16:34:42 +01:00