Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
Branches
Overview
Active
Stale
All
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
lx/fairness
c720c204
·
WIP
·
Sep 27, 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
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/ltlsynt
959b548d
·
ltlsynt: split s.t. environment is deterministic
·
Dec 10, 2017
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
er/ppor-check
43b232aa
·
WIP: extract HOA from kripke.
·
Jan 17, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
aga/pr-bench
0d90cb8a
·
bench/prcheck: add necessary files for benchmark
·
Jan 24, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
vt/por-reduced-set-algos
271228b0
·
[WIP] por: fix bugs in conflicting transitions
·
Feb 01, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mc/fix
6cc3aca2
·
Improve coverage
·
Feb 07, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/test
5a941e2b
·
debian: fix corrupted profile info
·
Feb 20, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mc/cleancode
eb3e2588
·
Improve purge_unreachable_states()
·
Feb 22, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
vt/tpor-pn-ap
26cc09b1
·
tpor: compute the set of (positive and negative) literals in a formula
·
Mar 01, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
vt/tpor
547aa5b1
·
por: add a por method (conflicting transitions)
·
Mar 18, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/twacube-test-338
7184eaa2
·
ltsmin: test alternative swarming option
·
Mar 26, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/300
8430be77
·
setup a build for gcc asan
·
Apr 09, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mc/oink
bc265094
·
Solve with oink (not completely clean yet)
·
Apr 18, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mc/synt2018
67c4bbb2
·
Instrument ltlsynt for benchmarks
·
Apr 30, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mm/match_word
b410f826
·
remove a useless exception
·
May 07, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mm/ltlpast
3982ed9c
·
past translation can be used to create automaton
·
May 20, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
6
7
8
9
…
12
Next