Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
Branches
Overview
Active
Stale
All
pp/ample3
a8e1aae7
·
Remove por_callback from ample set's iterator iterface.
·
Jan 11, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pp/twophase
70722ea3
·
Corrected guard.
·
Jan 12, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ala/ta
78cf15e3
·
TGTA/TA: add build_dont_care_changesets to merge transitions.
·
Jan 30, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pp/cleantwophase
6b6cb046
·
Add tests to check two phase algorithm
·
Jan 31, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
candidates/twophase
2a1d614d
·
Implement the two phase algorithm and split DiVinE interface
·
Jan 31, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
eas/stats
475a6c93
·
Add csv2json.py and stats.py.
·
Feb 15, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/hierarchy
835d409f
·
Add missing
·
Mar 06, 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
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
adl/univ
b5d56e98
·
ltlcross: yet another new metric
·
Jun 02, 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
er/tadecomp
d6c2c764
·
Normalize output.
·
Nov 24, 2014
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
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
er/next_ta
61f9dfc5
·
Silent POSIX Warnings.
·
Jan 29, 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/weighted
a0928311
·
Add support for weighted automata
·
May 25, 2015
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
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
lx/n-ary_product
25f6ffbe
·
fix sanity
·
Mar 02, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
6
…
12
Next