Stefan Ellmauthaler
2ee77a49de
Update grcov.yml
2021-12-16 16:10:57 +01:00
Stefan Ellmauthaler
b51165d8e8
Create grcov.yml
2021-12-16 16:05:28 +01:00
00ffbf2cb6
FLAKE added tarpaulin
2021-12-09 13:27:51 +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
088d4fa092
flake update
...
Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
2021-11-23 13:17:52 +01:00
Stefan Ellmauthaler
30897dd732
Update _config.yml
2021-11-20 13:51:06 +01:00
Stefan Ellmauthaler
671f15cfb3
Update _config.yml
2021-11-20 13:50:15 +01:00
Stefan Ellmauthaler
325eff6895
Update _config.yml
2021-11-20 13:49:57 +01:00
Stefan Ellmauthaler
49d8f0a7e6
Set theme jekyll-theme-slate
2021-11-20 13:46:28 +01:00
Stefan Ellmauthaler
05f0198148
Set theme jekyll-theme-cayman
2021-11-20 13:45:39 +01:00
Stefan Ellmauthaler
9e1f3e63b9
Update flake.nix
...
Added environment variables for easier debugging of the project
2021-11-20 13:42:43 +01:00
Stefan Ellmauthaler
591f95519c
Delete flake.nix~
2021-11-12 14:17:25 +01:00
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
