11 commits

Author	SHA1	Message	Date
Joshua Moerman	21306ffe6a	hacky compositional testing. not yet better	2025-05-07 16:53:49 +02:00
Joshua Moerman	ec8a4f0689	Added simultaneous bfs algorithm, not yet tested on a bigger model	2025-05-07 15:12:12 +02:00
Joshua Moerman	a4d97a9d04	hsi and w method (almost)	2025-04-29 11:36:40 +02:00
Joshua Moerman	8e3d2d6dbb	Addded state cover to hsi method	2025-04-29 11:02:53 +02:00
Joshua Moerman	9b6a050bda	added some copyrgiht info	2025-04-29 09:57:09 +02:00
Joshua Moerman	244e150665	Cleaned up io a bit	2025-04-28 11:48:03 +02:00
Joshua Moerman	c14d24a13c	moved the other commands as well so that everything goes via main	2025-04-22 11:53:39 +02:00
Joshua Moerman	8da20fdbad	Added RandomGen to the main executable	2025-04-16 13:59:41 +02:00
Joshua Moerman	e938befa20	actually using the command line options	2025-04-16 13:41:06 +02:00
Joshua Moerman	dbecd98e18	Added proper commandline parsing, and moved the input-decompose into main	2025-04-15 17:02:32 +02:00
Joshua Moerman	1316334ccc	Restructured the project	2025-04-14 20:38:53 +02:00