adf-obdd

ellmau/adf-obdd

Fork 0

mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-19 09:29:36 +01:00

Commit Graph

Select branches

Hide Pull Requests

dependabot/cargo/actix-multipart-0.6.1

dependabot/cargo/aes-gcm-0.10.3

dependabot/cargo/clap-4.4.18

dependabot/cargo/h2-0.3.26

dependabot/cargo/mio-0.8.11

dependabot/cargo/mongodb-2.8.2

dependabot/cargo/serde_json-1.0.109

dependabot/cargo/strum-0.26.2

dependabot/cargo/webpki-0.22.4

feature/88_three-val-ng

feature/dexperiments

feature/issue_115_bddrestrict-lists

feature/var_dependencies

gh-pages

iccma-2025

integrate-pmc-vis

main

refactor/rcrefcell

#101

#103

#104

#105

#106

#107

#108

#109

#11

#110

#111

#112

#113

#114

#116

#117

#118

#119

#120

#121

#122

#123

#124

#125

#126

#127

#128

#129

#13

#130

#131

#132

#133

#134

#135

#136

#137

#138

#139

#14

#140

#141

#142

#143

#144

#145

#146

#147

#148

#149

#15

#150

#151

#152

#153

#154

#155

#156

#157

#158

#159

#16

#160

#161

#162

#163

#164

#165

#166

#167

#168

#168

#169

#170

#171

#172

#172

#173

#174

#175

#176

#177

#178

#179

#18

#180

#181

#181

#182

#182

#183

#184

#185

#186

#187

#187

#188

#189

#189

#19

#190

#190

#191

#191

#192

#192

#193

#194

#195

#21

#24

#25

#26

#27

#28

#29

#31

#32

#34

#36

#38

#4

#40

#41

#42

#43

#44

#45

#46

#47

#48

#49

#5

#50

#51

#52

#53

#55

#56

#57

#58

#59

#60

#61

#62

#63

#65

#66

#67

#68

#69

#7

#70

#71

#72

#74

#77

#78

#81

#83

#84

#85

#86

#87

#89

#91

#92

#94

#95

#96

0.2.2

0.2.4

0.3.0

0.3.1

bench_20220408

v0.1.0-alpha

v0.1.1-alpha

v0.1.1-alpha2

v0.1.2-alpha

v0.1.3-alpha

v0.1.3-alpha.2

v0.1.4-alpha.1

v0.1.4-alpha.2

v0.2.0-beta.1

v0.2.1-beta.1

v0.2.4-beta.1

v0.3.0-beta.1

v0.3.0-beta.2

dece879b27

Add missing heuristics module to git Stefan Ellmauthaler 2022-06-21 16:10:26 +02:00
fa9e622db9

Add public api for the nogood-learner Stefan Ellmauthaler 2022-06-21 16:07:03 +02:00
f6f922d5e9

Fix typo in Readme Stefan Ellmauthaler 2022-06-21 10:47:58 +02:00
3ce1b54c0b

Add nogood-algorithm to the ADF Stefan Ellmauthaler 2022-06-20 18:05:08 +02:00
670a604fc4

Update Flake to nix 22.05 Stefan Ellmauthaler 2022-06-17 14:14:53 +02:00
ced0b3aea3

flake.lock: Update Stefan Ellmauthaler 2022-06-17 14:14:31 +02:00
8059590fc0

Add closure of conclusions of an interpretation and a NoGoodStore Stefan Ellmauthaler 2022-06-17 13:43:35 +02:00
4eb54e79d9

Fix issues with inconsistencies Stefan Ellmauthaler 2022-06-16 16:18:34 +02:00
795d8ab4e6

Fix issue with nogoods module definition in lib Stefan Ellmauthaler 2022-06-15 17:43:40 +02:00
9d0845c740

Add NoGood and NoGoodStore (#65) Stefan Ellmauthaler 2022-06-15 17:34:59 +02:00
c29db9a6aa

Bump clap from 3.1.14 to 3.1.18 (#68) dependabot[bot] 2022-06-13 12:11:45 +00:00
31e02c6de4

Added some paralelism ideas, none have been working refactor/rcrefcell Stefan Ellmauthaler 2022-06-01 15:45:33 +02:00
be68af7d05

Refactor bdd to use rc refcell Stefan Ellmauthaler 2022-06-01 13:07:56 +02:00
78949b18e5

Bump flake and update to rust 1.61 (#67) Stefan Ellmauthaler 2022-05-24 11:13:54 +02:00
e0eea73525

Use nix-envrc, Bump flake (#66) Stefan Ellmauthaler 2022-05-18 08:53:22 +02:00
98753d696b

Add CI for develop branch (#62) Stefan Ellmauthaler 2022-05-04 16:12:50 +02:00
6d09e71ba6

Add badges to readme (#61) Stefan Ellmauthaler 2022-05-04 12:01:27 +02:00
c951e78c86

Bump serde_json from 1.0.79 to 1.0.80 (#60) dependabot[bot] 2022-05-02 08:44:38 +00:00
6e5df674a5

Bump serde from 1.0.136 to 1.0.137 (#58) dependabot[bot] 2022-05-02 08:40:09 +00:00
1c8508eb66

Bump clap from 3.1.8 to 3.1.14 (#59) dependabot[bot] 2022-05-02 08:35:10 +00:00
b8518ee340

Merge pull request #57 from ellmau/documentation/acks Stefan Ellmauthaler 2022-04-28 09:57:35 +02:00
9f4689ad45

Fix link location in all readme files for KBS Stefan Ellmauthaler 2022-04-28 09:51:26 +02:00
43da337ce9

Add acknowledgements (#55) Stefan Ellmauthaler 2022-04-27 11:56:24 +02:00
35bb36bfc5

Update crates.io usage for the binary (#53) v0.2.4-beta.1 Stefan Ellmauthaler 2022-04-22 13:34:08 +02:00
432ac0348a

change license (#52) 0.2.4 Stefan Ellmauthaler 2022-04-21 16:10:31 +02:00
75a85203b0

Polish documentation (#51) Stefan Ellmauthaler 2022-04-21 14:18:59 +02:00
762c06af04

Bump flake (#50) Stefan Ellmauthaler 2022-04-12 12:50:58 +02:00
098baf9bdd

Update rust-analyzer, Bump flake (#49) Stefan Ellmauthaler 2022-04-11 16:37:08 +02:00
6c116509c6

Feature/multiple heuristics (#48) bench_20220408 Stefan Ellmauthaler 2022-04-07 15:11:00 +02:00
7e66d89d03

Feature/issue 39 counting model improvements (#42) Stefan Ellmauthaler 2022-04-06 13:43:58 +02:00
c0c05b2789 dbg args in target function. feature/dexperiments drwadu 2022-04-05 11:50:21 +02:00
99957cec7d

Merge branch 'main' into feature/issue_39_counting-model-improvements Stefan Ellmauthaler 2022-04-04 13:17:26 +02:00
ff5398ee51

Fixed compile issue with --no-default-features Stefan Ellmauthaler 2022-04-04 13:08:49 +02:00
3feeb1343b

Add more fine-grained heuristics Stefan Ellmauthaler 2022-04-04 13:04:11 +02:00
8d9e7f09e1

Add new heuristics approach Stefan Ellmauthaler 2022-04-04 12:56:12 +02:00
b6fbb23626 Merge branch 'main' into feature/issue_39_counting-model-improvements Stefan Ellmauthaler 2022-04-04 10:35:44 +02:00
904d0b107e

Add path-counting functionality to the obdd Stefan Ellmauthaler 2022-04-04 10:34:47 +02:00
02dc37cbbf

Bump clap from 3.1.5 to 3.1.8 (#47) dependabot[bot] 2022-04-04 08:34:01 +00:00
f021517a15

Bump test-log from 0.2.8 to 0.2.10 (#45) dependabot[bot] 2022-04-04 07:58:43 +00:00
76c06ab03d

Bump nom from 7.1.0 to 7.1.1 (#44) dependabot[bot] 2022-04-04 07:54:33 +00:00
0554538a88

Bump log from 0.4.14 to 0.4.16 (#46) dependabot[bot] 2022-04-04 07:51:33 +00:00
ccb82318d5

Update counting function with some adaptions Stefan Ellmauthaler 2022-03-31 17:17:52 +02:00
6a47f4db30

Add debugging infos Stefan Ellmauthaler 2022-03-30 13:15:49 +02:00
93e1b1f581

Merge branch 'main' into feature/issue_39_counting-model-improvements Stefan Ellmauthaler 2022-03-28 11:05:52 +02:00
d0026b9491

Flake/updates (#41) Stefan Ellmauthaler 2022-03-28 11:02:45 +02:00
1f196e3cf3

Add considering variable-impact to counting based stable models Stefan Ellmauthaler 2022-03-28 10:54:39 +02:00
39379d9e3d

Add more efficient construction of 2-val models with counting Stefan Ellmauthaler 2022-03-24 16:57:18 +01:00
0d4f9ff195

Add where related coding convention (#40) Stefan Ellmauthaler 2022-03-24 12:00:53 +01:00
3c8cbd8059

Feature/issue 37 model counts4stable models (#38) 0.2.2 Stefan Ellmauthaler 2022-03-23 15:55:27 +01:00
081584e634

Update README.md Stefan Ellmauthaler 2022-03-16 15:25:47 +01:00
44d611263f

Update developer flake (#36) Stefan Ellmauthaler 2022-03-16 15:02:43 +01:00
65835b5c81

Revert "Rename PR to a more verbose name" Stefan Ellmauthaler 2022-03-15 13:14:29 +01:00
187b3c4534

Rename PR to a more verbose name Stefan Ellmauthaler 2022-03-15 13:11:15 +01:00
554522046c

Renamed PR template Stefan Ellmauthaler 2022-03-15 13:09:31 +01:00
a03c5558d3

Add PR-Template Stefan Ellmauthaler 2022-03-15 13:05:55 +01:00
6fb4acd46f

Add contribution information in Readme Stefan Ellmauthaler 2022-03-15 12:40:43 +01:00
80915b1df8

code-style and documentation tidying (#34) Stefan Ellmauthaler 2022-03-14 21:05:53 +01:00
31d6c88d90

Update issue templates Stefan Ellmauthaler 2022-03-07 13:57:04 +01:00
a68c584a4a

RESOLV todo on variable-lists (#32) Stefan Ellmauthaler 2022-03-04 17:25:08 +01:00
7cf581cd9b

Feature/issue 30 facet counting (#31) drwadu 2022-03-04 16:26:01 +01:00
f6ae495700

ADD API function for accessing var_depencies feature/var_dependencies Stefan Ellmauthaler 2022-03-04 15:03:02 +01:00
e4f67261b3

trying out devskim Stefan Ellmauthaler 2022-03-03 14:55:59 +01:00
f5ec9c1f97

Update _config.yml Stefan Ellmauthaler 2022-03-03 14:18:24 +01:00
caeb7b95e9

_config.yml updated for better presentation Stefan Ellmauthaler 2022-03-03 14:03:03 +01:00
aa0e7018bf

UPD clap Stefan Ellmauthaler 2022-03-03 13:49:35 +01:00
4f8d7c4bd5

Only one dependabot neeeded due to workspace Stefan Ellmauthaler 2022-03-03 13:42:14 +01:00
f868bb0442

Update dependabot.yml Stefan Ellmauthaler 2022-03-03 13:39:08 +01:00
20d59bc767

REORGANISE with workspace (#29) Stefan Ellmauthaler 2022-03-03 13:37:14 +01:00
3f32db45ee

ADD variable list mechanics (#27) Stefan Ellmauthaler 2022-03-03 12:22:45 +01:00
a2fa3adfe9

UPD clap, FIX resulting issues (#26) Stefan Ellmauthaler 2022-03-01 15:32:57 +01:00
b18bbe0ed4

Dependabot add bin folder Stefan Ellmauthaler 2022-03-01 14:53:26 +01:00
93c15faa11

Add dependabot to check for updates on deps Stefan Ellmauthaler 2022-03-01 14:21:44 +01:00
a17749be52

Removed non-linux tests Stefan Ellmauthaler 2022-02-28 12:55:55 +01:00
fbafe8382f

Create pr.yml Stefan Ellmauthaler 2022-02-28 10:03:29 +01:00
c6837ff7eb

Feature/issue 22 extra binary (#24) v0.2.1-beta.1 Stefan Ellmauthaler 2022-02-23 15:06:46 +01:00
565fef99d1

ADD counting of (counter) models and variables of one BDD-Tree (#21) Stefan Ellmauthaler 2022-02-21 10:49:27 +01:00
e110b72115

0.2.0 optimisations (#19) Stefan Ellmauthaler 2022-02-16 16:54:39 +01:00
05fa6c6b8b

removed unintended autotest Stefan Ellmauthaler 2022-01-27 13:06:03 +01:00
1edfe43985

Feature/issue 17 biodivine (#18) v0.2.0-beta.1 Stefan Ellmauthaler 2022-01-27 12:23:12 +01:00
864419d033

BUGFIX three valued interpretations and complete interpretations (#16) v0.1.4-alpha.2 Stefan Ellmauthaler 2022-01-13 13:16:49 +01:00
f0f9789bc8

Merge pull request #15 from ellmau/feature/complete-models v0.1.4-alpha.1 Stefan Ellmauthaler 2022-01-12 14:28:53 +01:00
308a39b435

Implements complete models in a dual manner to stable models Stefan Ellmauthaler 2022-01-12 14:27:00 +01:00
bfd0aa4a68

Implement non-deprecated cli with structopts and adf-state-safer (#14) v0.1.3-alpha.2 Stefan Ellmauthaler 2022-01-11 16:24:18 +01:00
07d15167fe

Implement Stable Models based on lazy evaluated iterators (#13) v0.1.3-alpha Stefan Ellmauthaler 2022-01-11 14:01:15 +01:00
a95f88dee4

Merge pull request #11 from ellmau/feature/better_tests Stefan Ellmauthaler 2022-01-06 16:58:51 +01:00
b73231f501

Implement better tests Stefan Ellmauthaler 2022-01-06 16:55:08 +01:00
2112d71573

Delete build.rs v0.1.2-alpha Stefan Ellmauthaler 2022-01-03 17:46:13 +01:00
21fdb2cd76

Implemented automated Test generation (#7) Stefan Ellmauthaler 2022-01-03 17:38:17 +01:00
9c9e85e107

Update README.md Stefan Ellmauthaler 2022-01-03 15:50:49 +01:00
02b1e4a94a

commented test-generator macro call Stefan Ellmauthaler 2022-01-03 15:32:05 +01:00
0d5577e251

Implementing nom-based parser (#5) Stefan Ellmauthaler 2022-01-03 15:21:11 +01:00
a34e711266

switch to tarpaulin Stefan Ellmauthaler 2021-12-16 20:19:34 +01:00
5c47956123

added gcov flag Stefan Ellmauthaler 2021-12-16 20:05:42 +01:00
2ee77a49de

Update grcov.yml Stefan Ellmauthaler 2021-12-16 16:10:57 +01:00
b51165d8e8

Create grcov.yml Stefan Ellmauthaler 2021-12-16 16:05:28 +01:00
00ffbf2cb6 FLAKE added tarpaulin Stefan Ellmauthaler 2021-12-09 13:27:51 +01:00
0fec22052c typed obdd, adf still using usizes Stefan Ellmauthaler 2021-11-24 11:39:44 +01:00
0ad6460d40 first step towards issue 1 Stefan Ellmauthaler 2021-11-23 17:16:08 +01:00
088d4fa092 flake update Stefan Ellmauthaler 2021-11-23 13:17:52 +01:00
30897dd732

Update _config.yml Stefan Ellmauthaler 2021-11-20 13:51:06 +01:00