8 Commits

Author	SHA1	Message	Date
Stefan Ellmauthaler	0d5577e251	Implementing nom-based parser (#5) ... * Implemented a nom-based parser to read the adf * Grounded semantics (naive) re-implemented * Docs added * Updated Cargo.toml with more Manifest information * Version update * Added sort-methods to the parser, so the var-order can be adjusted * Added sort functionality to the main function * Added adf-instances as a submodule to the res-folder * Added README information for the extended integration tests * Rewritten main-function Closes #3	2022-01-03 15:21:11 +01:00
Stefan Ellmauthaler	0fec22052c	typed obdd, adf still using usizes ... Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>	2021-11-24 11:55:16 +01:00
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	37997ee9c7	added naive and incomplete version of complete semantics ... Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>	2021-07-02 15:01:39 +02:00
Stefan Ellmauthaler	b566837593	computing grounded with a shortcut and a "normal" computation ... shortcut is slighty faster, has in all tested instances the same result. Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>	2021-06-30 16:05:15 +02:00
Stefan Ellmauthaler	bce8b87341	fixed all clippy warnings ... Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>	2021-06-30 10:42:20 +02:00
Stefan Ellmauthaler	ee1e1bd1bf	fixed all warnings ... Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>	2021-06-30 10:17:39 +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