Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
Branches
Overview
Active
Stale
All
er/fix190
cd64cac5
·
compression: fix bad encoding
·
Oct 25, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/fixswig
e6a224f7
·
spot.ltsmin: fix errors on Darwin
·
Oct 10, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lx/parity_opti
af1d836e
·
WIP
·
Jul 25, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lx/parity
0dbfcffa
·
parity: Add spot::parity_product()
·
Jun 22, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/svg-cairo
e5b2d4d4
·
python: use dot -Tsvg:cairo to work around missing fonts
·
May 10, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/por
434fc2c1
·
Last tests with proviso delayed+summary without weights.
·
Apr 25, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lx/parity_utils
0c2fdcdf
·
WIP
·
Mar 09, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lx/n-ary_product
25f6ffbe
·
fix sanity
·
Mar 02, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lx/n-ary_product_bench
7801026b
·
Add benchmarks for n-ary product of twa automata
·
Feb 04, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/bdd_free
3dd18adc
·
Fix locking problems
·
Jul 27, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/weighted
a0928311
·
Add support for weighted automata
·
May 25, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
al/new_fas
276c0bb4
·
fas: make its usage optional
·
Feb 20, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/next_ta
61f9dfc5
·
Silent POSIX Warnings.
·
Jan 29, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/si-psl
165e71c2
·
remove_x: generalize to siPSL following Dax et al. ATVA'09
·
Jan 19, 2015
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/perf
b6440adf
·
perf: new binary to help track performance regressions
·
Dec 02, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/tadecomp
d6c2c764
·
Normalize output.
·
Nov 24, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
al/fas
a58ebf3e
·
fas: ignore non-accessible states
·
Jul 03, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/univ
b5d56e98
·
ltlcross: yet another new metric
·
Jun 02, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/hierarchy_next_2
5e41bf2a
·
Add bench directory used for TACAS 13
·
Apr 15, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/hierarchy_next
bdf49a1f
·
Fix 80 cols
·
Apr 12, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
…
7
8
9
10
11
12
13
Next