Skip to content
GitLab
Explore
Sign in
i7
Strix
Repository
Branches
Overview
Active
Stale
All
compress_strategy
4fb94f9c
·
More efficient Quine algorithm (still slow with many don't cares)
·
Apr 25, 2018
opencl
7f135ad5
·
Differentiate between timeout and error for verification
·
May 08, 2018
spectra-integration
9ea55322
·
add spectra integration
·
Feb 11, 2019
static-linking
b34374d6
·
Use static linking; remove OpenMP
·
May 15, 2019
preload-edges
3f75ead1
·
Add preloading of edges for states in queue
·
Jun 12, 2019
decompose-states
ab3bb5ac
·
Add decomposition of states via Owl interface
·
Jun 24, 2019
smaller-circuits
ea4b3646
·
Only make latches zero-initialized if there are any latches
·
Jul 18, 2019
unrealizability-certificate
d66bc469
·
Re-enable parity game output
·
Sep 24, 2019
!15
new-decomposition
5f1abe61
·
Fix decomposition in biconditional node
·
Jan 29, 2020
incremental-reachability
08bfa057
·
Test other incremental reachability algorithms
·
Feb 14, 2020
schewe-symmetric-iteration
3a45bf35
·
Calculate sys-all, all-env, sys-env strategy pairs
·
Mar 26, 2020
molzer-th
90458c43
·
Unification: adds the heuristics as options etc
·
May 12, 2020
dtcontrol-decompose
f332506d
·
Update Owl
·
Nov 17, 2020
master
default
protected
159e8581
·
Add link to new repository to README
·
Jun 08, 2021