Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
Branches
Overview
Active
Stale
All
ps/minbench2
d5be0551
·
rebase fix
·
May 29, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fr/ltlsynt_rewrite
a66c03d5
·
ltlsynt: fix try_cre
·
May 30, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/merge
24fabcc1
·
New version of merge states that increases the bnumber of merged states, see...
·
Jun 04, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/462
b66935e5
·
Fix for
#462
·
Jun 09, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
aiger
0646ec15
·
Making aiger a class
·
Jun 10, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/395
3e2b278a
·
* spot/misc/bitvect.cc (hash): Improve spread of hash values.
·
Jul 14, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mealymin
c6d2b52a
·
Improving efficiency of unsplit_2step
·
Jul 18, 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
mealy
31d6dc33
·
Improving efficiency of unsplit_2step
·
Jul 29, 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
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
aiger2
980131a5
·
Adding selective edge sorting and state merging
·
Aug 12, 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
er/bitstate
843f5b84
·
bricks: fix warning
·
Oct 30, 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
improve_mealy
bb6960bd
·
Adapt ltlsynt
·
Nov 26, 2021
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
ps/#495
8a44b317
·
Fix for
#495
·
Jan 07, 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/cubetest
985dd040
·
inline temp cube
·
Jan 24, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
…
5
6
7
8
9
10
11
12
Next