Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
Branches
Overview
Active
Stale
All
er/ppor
97396611
·
mc: dist forgot rscc.hh
·
May 02, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mh/ta
bedf593c
·
* spot/twaalgos/testing.cc: purge states in remove_stuttering_lasso
·
Jul 01, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pg/mpi-dfs
1bada315
·
add new partition function
·
Jul 01, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/static-check
63a86b36
·
kripkecube: modernize is_a_kripkecube_ptr
·
Jul 23, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/interpolate
1d318948
·
require to compile
·
Jul 29, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/clang-tidy
72ac3863
·
core: std::pair is not nothrow_constructible
·
Oct 21, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/twacube-wip
0b4531a4
·
WIP
·
Feb 27, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fr/toparity
eae06631
·
unit_propagation: Correct result when multiple colors are possible
·
Apr 18, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ro/applyrec
a53b64df
·
[buddy] rewrite apply_rec() using an explicit stack
·
Apr 19, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ltlsynt_dev_sch
67b9d81f
·
Added alternative implementation for split and zielonka
·
May 01, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/are_equivalent
2e82eebb
·
kripke: please style.test
·
May 07, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/twacube
23b54374
·
kripke: add missing SPOT_API
·
May 18, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fr/ltlsynt
2d89d997
·
ltlsynt: Change default options
·
May 23, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/spot3
d96a6e41
·
twacube: fix typo
·
May 26, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/ta-bs-d1-wip
030733a7
·
WIP Ugly but working for two threads
·
May 29, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/ltlsynt
0d20a23c
·
style and check
·
May 30, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/spot3-deb
c20abb5a
·
debian: remove useless directive
·
Jun 04, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/tmp
68014e46
·
HACKING: rename src to spot
·
Jun 10, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/tmp-deb
b3c7994a
·
bricks: rework tests
·
Jun 11, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/tmp-rpm
b3c7994a
·
bricks: rework tests
·
Jun 11, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
…
3
4
5
6
7
8
9
10
11
12
Next