Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
Branches
Overview
Active
Stale
All
ps/cleanup_fmsd
97fc3f6c
·
Introduce simplify_mealy
·
Mar 18, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
am/sonf
24014045
·
ltlfilt: add --sonf and --sonf-aps flags
·
Mar 03, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/small_cubes
9eacd197
·
Small vector optimization for cube
·
Mar 03, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/flex
196907a3
·
work around an issue in Flex 2.6.4
·
Feb 16, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fr/bwoa_rewrite
d7557907
·
BWOA: Avoid unnecessary work when there is no possible reduction
·
Feb 12, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/minime2
92665467
·
bug fix
·
Feb 06, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/aliases
116452c1
·
dot: Add option @ to support aliases.
·
Feb 04, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/cubetest
985dd040
·
inline temp cube
·
Jan 24, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/497
dac3d782
·
hoa: better support for aliases on output
·
Jan 21, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/#495
8a44b317
·
Fix for
#495
·
Jan 07, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jd/path_refinement
b7448b56
·
Moore equvalence: now faster
·
Dec 15, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
improve_mealy
bb6960bd
·
Adapt ltlsynt
·
Nov 26, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/colorize
6ac9c37b
·
for video
·
Nov 24, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/bitstate
843f5b84
·
bricks: fix warning
·
Oct 30, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ta/bitstate
166f004d
·
bitstate: count unique state + adapt benchmark tools
·
Sep 02, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
aiger2
980131a5
·
Adding selective edge sorting and state merging
·
Aug 12, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jd/simulation
98c59749
·
Add props for twacubes, TODO fix the bidings for twa::props
·
Aug 06, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/min_bench3
25b92725
·
Fix sink bug
·
Aug 02, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mealy
31d6dc33
·
Improving efficiency of unsplit_2step
·
Jul 29, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/bench_min_paper
c180ff24
·
Improving efficiency of unsplit_2step
·
Jul 26, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
6
7
8
…
13
Next