Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
Branches
Overview
Active
Stale
All
adl/ava-dfa-min
34e127bb
·
Revert "WIP: valmari minimization"
·
May 01, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tme/sum-or-and
238a04c8
·
sum: remove useless include
·
May 04, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mc/determinize
b63b35a7
·
Determinize TGBA directly.
·
May 15, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lxu/n-step-simulation
8ecbafe0
·
WIP
·
May 15, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lx/ltl2dtpa
c138f7fa
·
add split and always-split options to LTL translator
·
May 24, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tme/rs_fix
4da6a5cd
·
rs_like: fix bug to accept Fin | Fin , Inf & Inf
·
May 29, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/interpolate-backup
8bf1081d
·
Work efficiently
·
May 31, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mc/acc-prop
42268976
·
Propagate acceptance marks.
·
Jun 05, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/por-next
77b3a935
·
modelcheck: add debug tooling
·
Jun 14, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lxu/alternating-simulation
881bf1f7
·
WIP
·
Jun 18, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tme/streett
fc609057
·
streett_like: clear the pair vector when non Streett-like
·
Jun 21, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ar/TChecker-integration
07154665
·
ta : Build a library for each automata
·
Jun 26, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tme/dualize-wip
9bd8198f
·
dualize sbacc wip
·
Jun 30, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tme/weak
0b62f516
·
remove useless hash
·
Jul 19, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tme/dualize
c1173465
·
spot::sbacc() works on alternating automata, fix dualize
·
Jul 20, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tme/278
4b5606e7
·
to_weak_alternating(): fixes a bug on generalized co-Büchi automata
·
Aug 17, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mj/scc
f123a965
·
Upload New File
·
Aug 24, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mc/ltl2tgba_rec
651e9ab3
·
product instead of sum_and
·
Sep 13, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mc/spotgen
1689c08e
·
genltl: add a new family from SYNTCOMP'2017
·
Sep 22, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tm/remove-univ-otf
a715fa08
·
remove universal transitions on the fly
·
Sep 25, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
6
7
8
…
12
Next