Stefan Ellmauthaler
21fdb2cd76
Implemented automated Test generation ( #7 )
...
Generates tests, based on the existence of test-instances in the `res/`-folder
2022-01-03 17:38:17 +01:00
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
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
0ad6460d40
first step towards issue 1
...
added strong typing to base-datatypes and ordered bdds
relates to #1
Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
2021-11-24 11:55:16 +01:00
611501588a
Edition 2021, fmt applied
...
Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
2021-11-12 14:14:12 +01:00
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
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
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
bce8b87341
fixed all clippy warnings
...
Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
2021-06-30 10:42:20 +02:00
ee1e1bd1bf
fixed all warnings
...
Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
2021-06-30 10:17:39 +02:00
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
b4f1dd263e
fixed borrowing issues
...
Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
2021-06-23 17:13:28 +02:00
35918ce36e
added ac to stmt relation
...
Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
2021-06-23 17:00:42 +02:00
40ea81b417
changed structure, added basic functionality for formulae and statements (adf representation)
...
Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
2021-06-23 16:02:29 +02:00
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
