Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
Branches
Overview
Active
Stale
All
er/hierarchy
835d409f
·
Add missing
·
Mar 06, 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
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
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
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/twophase
70722ea3
·
Corrected guard.
·
Jan 12, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
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/ample
4c06c259
·
Modify the way to remember visited states in two phase
·
Jan 03, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pp/ample2
7d35a4bc
·
Debug adaptive partial order; propagate seen states into succ iterator
·
Jan 03, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pp/por2
d3f16517
·
Change how to detect process counter in divine interface.
·
Jan 01, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pp/por
fda7982d
·
Implemented the two-phase algorithm for the Divine interface
·
Sep 19, 2012
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/propagation
f714ebaa
·
temporary
·
Jun 18, 2012
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/simsplit
8fb731d3
·
another try
·
Jun 15, 2012
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pp/degen2
455bf30a
·
Fix bugs in new degeneralization algorithm, add it to ltl2tgba
·
May 28, 2012
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/beem
9ef1cbc2
·
Fix beem benchmark
·
May 24, 2012
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
branch-0-8
f4d66bbb
·
[lbtt] Fix make pdf.
·
Apr 27, 2012
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
candidates/propagation
f6c22559
·
Implementation of the propagation algorithm, update copyright
·
Apr 18, 2012
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pp/propagation2
bdd8fa4b
·
Add test for propagation, update copyright
·
Apr 18, 2012
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/bdd-simul
4ec04b4d
·
Introduce an experimental BDD-based simulation reduction for TGBA.
·
Mar 31, 2012
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pp/propagation
85a460d8
·
Modified style, generic automaton rewriting in propagation
·
Feb 10, 2012
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
…
8
9
10
11
12
13
Next