issues
search
SSoelvsten
/
bdd-benchmark
Benchmarking Suite for BDD packages
MIT License
11
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Picotrav/fanin heuristics
#148
SSoelvsten
closed
1 week ago
0
Network Verification Benchmark
#147
SSoelvsten
opened
1 week ago
0
Sylvan/libbdd parser crash
#146
SSoelvsten
closed
3 weeks ago
0
Where can I find the latest results of the benchmark?
#145
sirandreww
opened
1 month ago
7
McNet : Loop Unrolling with Pivot being the Initial State
#144
SSoelvsten
opened
1 month ago
0
Add Missing Commas in JSON Output
#143
nhusung
closed
1 month ago
0
Add `cudd_bdd_adapter` Using CUDD’s ADDs
#142
nhusung
closed
1 month ago
4
Picotrav: Fix Constants
#141
nhusung
closed
1 month ago
2
`oxidd_zdd_adapter`: Fix `ithvar`/`nithvar`
#140
nhusung
closed
1 month ago
1
`cudd_picotrav_zdd` is Broken
#139
nhusung
closed
1 month ago
0
Sylvan : Crash in Lib-BDD reconstruction
#138
SSoelvsten
opened
1 month ago
4
Lib bdd/apply relprod
#137
SSoelvsten
closed
1 month ago
0
Add More Picotrav Variable Ordering Heuristics
#136
nhusung
closed
1 month ago
17
Add CNF Benchmark
#135
nhusung
closed
2 months ago
18
Mcnet/dump
#134
SSoelvsten
closed
2 months ago
0
Fix transition merging breaks with odd number of transitions
#133
SSoelvsten
closed
4 months ago
0
Mcnet/bug/aeon parser
#132
SSoelvsten
closed
4 months ago
0
Mcnet/merged relation
#131
SSoelvsten
closed
4 months ago
0
Use detection of Deadlocks to speed up SCC decomposition
#130
SSoelvsten
closed
4 months ago
0
Remove deadlocks from SCC search-space
#129
SSoelvsten
closed
4 months ago
0
McNet : Saturation-like `forward` and `backward`
#128
SSoelvsten
opened
4 months ago
0
Merge Asynchronous Transitions
#127
SSoelvsten
closed
4 months ago
0
Mcnet/Bug: Sloan's algorithm only relabels reachable states
#126
SSoelvsten
closed
4 months ago
0
Mcnet/bug/int parsing
#125
SSoelvsten
closed
4 months ago
0
McNet : Parsing error '<int>'
#124
SSoelvsten
closed
4 months ago
0
McNet : Invalid label used during BDD construction
#123
SSoelvsten
closed
4 months ago
1
McNet : Model Checker for Petri Nets and Boolean Networks
#122
SSoelvsten
closed
4 months ago
0
Forward library versions
#121
nhusung
closed
5 months ago
1
Time init
#120
SSoelvsten
closed
6 months ago
0
Split logic for argument parsing on a benchmark-by-benchmark basis
#119
SSoelvsten
closed
6 months ago
0
Generalize Apply Benchmark for multiple Apply Operations
#118
SSoelvsten
closed
6 months ago
0
Adapter/reorder flag
#117
SSoelvsten
closed
6 months ago
0
Json output
#116
SSoelvsten
closed
6 months ago
0
Add Initialization time to total
#115
SSoelvsten
closed
6 months ago
0
Add 'Dynamic Variable Reordering' flag
#114
SSoelvsten
closed
6 months ago
0
Split benchmark-specific inputs
#113
SSoelvsten
closed
6 months ago
0
Reformat output as JSON
#112
SSoelvsten
closed
6 months ago
0
CUDD, Sylvan : Add BDD Variants
#111
SSoelvsten
opened
7 months ago
2
Add OxiDD
#110
nhusung
closed
7 months ago
21
Forward to Sylvan v1.8.1
#109
SSoelvsten
closed
8 months ago
0
Can't get rust to work
#108
trolando
closed
8 months ago
3
Regression Script: Discard first set of samples
#107
SSoelvsten
closed
8 months ago
0
Grendel/add qbf
#106
SSoelvsten
closed
9 months ago
0
Integrate Biodivine/LibBDD
#105
nhusung
closed
9 months ago
2
Forward CAL to newest v3.0 beta
#104
SSoelvsten
closed
9 months ago
0
Rearrange includes to make all files type-check on their own
#103
nhusung
closed
9 months ago
1
Build CUDD from cmake
#102
nhusung
closed
9 months ago
0
Add `.clang-format`
#101
nhusung
closed
9 months ago
1
Add and Fix Game-of-Life, Hamiltonian, and QBF for Grendel
#100
SSoelvsten
closed
9 months ago
0
Merge Quantifier blocks in Prenex
#99
SSoelvsten
closed
9 months ago
0
Next