Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
Branches
Overview
Active
Stale
All
eb/feature-extraction
71f3afe2
·
mc: scc incidence and reachability extraction
·
Oct 14, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/matplotlib-deb
3220da66
·
tra_to_tba: finish
05e6e088
·
Jul 27, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/tra2tba
fba9f130
·
tra_to_tba: finish
05e6e088
·
Jul 27, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/419
a1994b40
·
Fixes
#419
·
Jul 17, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fr/to_buchi
5b2a505d
·
toparity: Replace assert by SPOT_UNREACHABLE
·
Jul 02, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ta/bitstate-old-twacube
c5bf96a2
·
mc: bloom_filter: memory size is in bits
·
Jun 22, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/game
333ea0fc
·
Improving split
·
Jun 15, 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
er/tmp
68014e46
·
HACKING: rename src to spot
·
Jun 10, 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
ps/ltlsynt
0d20a23c
·
style and check
·
May 30, 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
er/spot3
d96a6e41
·
twacube: fix typo
·
May 26, 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/twacube
23b54374
·
kripke: add missing SPOT_API
·
May 18, 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
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
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
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
Prev
1
2
3
4
5
6
7
8
9
10
…
13
Next