Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
Branches
Overview
Active
Stale
All
next
default
protected
ffddbd84
·
* NEWS: Fix some typos.
·
Apr 19, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
psc/partition
e9c4bbae
·
wip - refactored; missing doc
·
Apr 10, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
psc/bddsplit
d9ae38d1
·
Introduce new ways to split an automaton
·
Mar 27, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pierreganty/man-fixes
2dfbe191
·
Small fixes in the man pages
·
Mar 27, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/py37
6136b789
·
modernize some Python code
·
Mar 26, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/568
8fb725b4
·
* doc/org/tut25.org: Minor corrections.
·
Mar 25, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pierreganty/tut-minor
2cb5e0c1
·
Minor corrections
·
Mar 25, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/Hb
7e228e86
·
hoa: add option 'b' to build an alias-based basis for all labels
·
Mar 22, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
flan/buchi
43f082c3
·
ltlsynt: update buchi game solver header
·
Mar 18, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
am/forte24-artefact
c8c8c0de
·
artefact
·
Mar 09, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
am/expansions
854bd081
·
expansions: up variants
·
Feb 08, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
am/nix
b9782d46
·
nix: provide package in release tarballs
·
Feb 08, 2024
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
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/given
1e8324ff
·
wip
·
Nov 23, 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
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
am/psl2aa
b04c4d7f
·
expansions: expose easy expansion in python
·
Oct 12, 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
adl/529
690b748c
·
ltlsynt: add option --global-equivalence
·
Oct 02, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
…
13
Next