Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
Branches
Overview
Active
Stale
All
attic/buddy-orig
92fdcc59
·
Import of BuDDy 2.3
·
Jun 28, 2004
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
attic/lbtt-orig
0a12b942
·
Import of lbtt 1.2.0
·
Aug 31, 2005
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
attic/distributed-attempt
4cecab78
·
* src/tgba/tgbatba.hh, src/tgba/tgbatba.cc (tgba_tba_proxy,
·
Feb 25, 2008
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
attic/proviso
2d6be528
·
more files to ignore
·
Apr 10, 2008
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
attic/ltl2tgba-checker
6d2a1adc
·
Predeclare iostream to fix a sanity check.
·
Feb 16, 2011
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/beem
9c69a3fd
·
preliminary work on beem
·
Jun 07, 2011
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pp/degen
d87a6686
·
Moved the tgba_size function from combinator.cc to tgbatba.cc
·
Jul 22, 2011
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
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/propagation2
bdd8fa4b
·
Add test for propagation, update copyright
·
Apr 18, 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
branch-0-8
f4d66bbb
·
[lbtt] Fix make pdf.
·
Apr 27, 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
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
adl/simsplit
8fb731d3
·
another try
·
Jun 15, 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
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
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/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/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
Prev
1
2
3
4
5
…
12
Next