6 Commits

Author	SHA1	Message	Date
Stefan Ellmauthaler	275adbe7f1	Tidied up the application ... added documentation added clap for program argument handling fully clippy approved (except where it shall not be changed) updated workflow for win and linux builds Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>	2021-07-20 16:51:14 +02:00
Stefan Ellmauthaler	68ab296171	Update README.md	2021-07-01 12:20:55 +02:00
Stefan Ellmauthaler	cfb82e8561	Update README.md	2021-07-01 12:20:45 +02:00
Stefan Ellmauthaler	d4cbec0a76	First fully running version of the prototype ... Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>	2021-06-30 10:05:02 +02:00
Stefan Ellmauthaler	7d9e99b900	first implementation of a restricted ordered bdd. ... Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>	2021-06-14 16:56:15 +02:00
Stefan Ellmauthaler	317a01a701	Initial commit	2021-06-11 12:31:36 +02:00