Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
Branches
Overview
Active
Stale
All
stable
protected
f4b397a2
·
Release Spot 2.11.6
·
Aug 01, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
protected
41751b80
·
* NEWS, configure.ac: Bump version to 2.11.6.dev.
·
Aug 01, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Zanic23/forq_branch
1ab24c28
·
split compilation errors
·
Aug 02, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Zanic23/forq_branch2
b53c0770
·
Fix argument order on forq contains and difference
·
Sep 10, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/529
690b748c
·
ltlsynt: add option --global-equivalence
·
Oct 02, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/raspbian
9e40a32f
·
* .gitlab-ci.yml: Add a centos7 build.
·
Oct 05, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
am/psl2aa
b04c4d7f
·
expansions: expose easy expansion in python
·
Oct 12, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
origin/adl/sbacc
5f3a681a
·
powerset: speedup computation for singleton with single edge
·
Oct 30, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/553
d84a2837
·
stength: fix detection of terminal automata
·
Nov 22, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/given
1e8324ff
·
wip
·
Nov 23, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/safety
55992b1c
·
* spot/bricks/brick-assert: include <cstdint>.
·
Dec 17, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/dealternate
0bac13aa
·
remove_alternation: option to return nullptr if too many sets needed
·
Jan 24, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
…
8
9
10
11
12
Next