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

671f15cfb3

Update _config.yml Stefan Ellmauthaler 2021-11-20 13:50:15 +01:00
325eff6895

Update _config.yml Stefan Ellmauthaler 2021-11-20 13:49:57 +01:00
49d8f0a7e6 Set theme jekyll-theme-slate Stefan Ellmauthaler 2021-11-20 13:46:28 +01:00
05f0198148 Set theme jekyll-theme-cayman Stefan Ellmauthaler 2021-11-20 13:45:39 +01:00
9e1f3e63b9

Update flake.nix Stefan Ellmauthaler 2021-11-20 13:42:43 +01:00
591f95519c

Delete flake.nix~ Stefan Ellmauthaler 2021-11-12 14:17:25 +01:00
0627301935 fixed gitignore Stefan Ellmauthaler 2021-11-12 14:16:40 +01:00
611501588a Edition 2021, fmt applied Stefan Ellmauthaler 2021-11-12 14:14:12 +01:00
e0855f9e22 PMerge branch 'main' of github.com:ellmau/adf-obdd Stefan Ellmauthaler 2021-07-21 10:55:00 +02:00
92b111861b added badges to readme Stefan Ellmauthaler 2021-07-21 10:53:15 +02:00
50131edd1d

No fast build without license/readme any more Stefan Ellmauthaler 2021-07-20 17:42:03 +02:00
50c606a6c8

Update build.yml v0.1.1-alpha2 Stefan Ellmauthaler 2021-07-20 17:28:48 +02:00
b97dc027d1 Merge branch 'main' of github.com:ellmau/adf-obdd v0.1.1-alpha Stefan Ellmauthaler 2021-07-20 16:53:38 +02:00
275adbe7f1 Tidied up the application Stefan Ellmauthaler 2021-07-20 16:51:14 +02:00
10efb88f87

Update build.yml Stefan Ellmauthaler 2021-07-05 10:44:41 +02:00
3138cf7de5 Merge branch 'main' of github.com:ellmau/adf-obdd Stefan Ellmauthaler 2021-07-02 15:02:03 +02:00
37997ee9c7 added naive and incomplete version of complete semantics Stefan Ellmauthaler 2021-07-02 15:01:39 +02:00
759e5b1bda

Update build.yml Stefan Ellmauthaler 2021-07-02 14:59:42 +02:00
40e0aaa83e workflow file in wrong directory v0.1.0-alpha Stefan Ellmauthaler 2021-07-01 12:36:08 +02:00
c3da179a15 Merge branch 'main' of github.com:ellmau/adf-obdd Stefan Ellmauthaler 2021-07-01 12:35:05 +02:00
e0ec47a314 testing autodeployment Stefan Ellmauthaler 2021-07-01 12:34:23 +02:00
68ab296171

Update README.md Stefan Ellmauthaler 2021-07-01 12:20:55 +02:00
cfb82e8561

Update README.md Stefan Ellmauthaler 2021-07-01 12:20:45 +02:00
b566837593 computing grounded with a shortcut and a "normal" computation Stefan Ellmauthaler 2021-06-30 16:05:15 +02:00
c424d0222a changed program name Stefan Ellmauthaler 2021-06-30 10:57:47 +02:00
bce8b87341 fixed all clippy warnings Stefan Ellmauthaler 2021-06-30 10:42:20 +02:00
ee1e1bd1bf fixed all warnings Stefan Ellmauthaler 2021-06-30 10:17:39 +02:00
d4cbec0a76 First fully running version of the prototype Stefan Ellmauthaler 2021-06-30 10:05:02 +02:00
b4f1dd263e fixed borrowing issues Stefan Ellmauthaler 2021-06-23 17:13:28 +02:00
35918ce36e added ac to stmt relation Stefan Ellmauthaler 2021-06-23 17:00:42 +02:00
40ea81b417 changed structure, added basic functionality for formulae and statements (adf representation) Stefan Ellmauthaler 2021-06-23 16:02:29 +02:00
7d9e99b900 first implementation of a restricted ordered bdd. Stefan Ellmauthaler 2021-06-14 16:56:15 +02:00
317a01a701

Initial commit Stefan Ellmauthaler 2021-06-11 12:31:36 +02:00