0627301935
fixed gitignore
...
Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
2021-11-12 14:16:40 +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
e0855f9e22
PMerge branch 'main' of github.com:ellmau/adf-obdd
2021-07-21 10:55:00 +02:00
92b111861b
added badges to readme
...
Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
2021-07-21 10:53:15 +02:00
Stefan Ellmauthaler
50131edd1d
No fast build without license/readme any more
2021-07-20 17:42:03 +02:00
Stefan Ellmauthaler
50c606a6c8
Update build.yml
2021-07-20 17:28:48 +02:00
b97dc027d1
Merge branch 'main' of github.com:ellmau/adf-obdd
2021-07-20 16:53:38 +02: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
Stefan Ellmauthaler
10efb88f87
Update build.yml
...
added LICENSE to the package
2021-07-05 10:44:41 +02:00
3138cf7de5
Merge branch 'main' of github.com:ellmau/adf-obdd
2021-07-02 15:02:03 +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
Stefan Ellmauthaler
759e5b1bda
Update build.yml
2021-07-02 14:59:42 +02:00
40e0aaa83e
workflow file in wrong directory
...
Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
2021-07-01 12:36:08 +02:00
c3da179a15
Merge branch 'main' of github.com:ellmau/adf-obdd
2021-07-01 12:35:05 +02:00
e0ec47a314
testing autodeployment
...
Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
2021-07-01 12:34:23 +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
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
c424d0222a
changed program name
...
Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
2021-06-30 10:57:47 +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
Stefan Ellmauthaler
317a01a701
Initial commit
2021-06-11 12:31:36 +02:00
