Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
Branches
Overview
Active
Stale
All
er/ppor-check
43b232aa
·
WIP: extract HOA from kripke.
·
Jan 17, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fpl/simplify-gen
ce603291
·
* doc/tl/tl.pdf: Typos
·
Dec 22, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tm/ltlsynt
959b548d
·
ltlsynt: split s.t. environment is deterministic
·
Dec 10, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mc/optim
f292a1d8
·
WIP check that the aiger circuit is correct
·
Nov 22, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tm/powerset
e2774f50
·
implement a generic powerset function
·
Sep 28, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lx/fairness
c720c204
·
WIP
·
Sep 27, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lx/ltl2dtpa_integration
7a118426
·
parity: add spot::parity_product_or()
·
Sep 25, 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
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
mc/ltl2tgba_rec
651e9ab3
·
product instead of sum_and
·
Sep 13, 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
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
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/weak
0b62f516
·
remove useless hash
·
Jul 19, 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
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/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
lxu/alternating-simulation
881bf1f7
·
WIP
·
Jun 18, 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
mc/acc-prop
42268976
·
Propagate acceptance marks.
·
Jun 05, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
…
5
6
7
8
9
10
11
12
13
Next