Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
Branches
Overview
Active
Stale
All
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
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
Zanic23/forq_branch
1ab24c28
·
split compilation errors
·
Aug 02, 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
stable
protected
f4b397a2
·
Release Spot 2.11.6
·
Aug 01, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/for-master
bb95705d
·
mention the bug fixed in BuDDy
·
Aug 01, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
psc/fixsolve
be86ef11
·
remove_aps is game aware
·
Apr 06, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/524
3aba452b
·
robin_hood: update to version version 3.11.5
·
Jan 23, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fr/ltlsynt_typo
83127a6e
·
ltlsynt: typo in doc
·
Jan 20, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
psc/bwoa3
5627d12e
·
Better heuristic for relabel
·
Jan 10, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/code-smells
7f478cf2
·
more code smells
·
Jan 06, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/mealy_impr
427f667f
·
lazy eval for sat mealy minimization
·
Dec 09, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/fixes
5dbf601a
·
* NEWS: Typos.
·
Dec 06, 2022
!73
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
psc/fix_assert
126e373c
·
[fix] Spurious assertion in minimize_mealy
·
Dec 02, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
psc/fix_mealy
fb834fa9
·
[fix] Spurious assertion in minimize_mealy
·
Dec 01, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fr/bwoa3
2ca0c9da
·
reduce_mealy: introduce a specialization_graph
·
Nov 30, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
psc/494_3
fd8523f9
·
introduce partitioned_relabel_here
·
Nov 29, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
psc/fix
f2b7e096
·
Fixing appending strategies bug
·
Nov 27, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fr/aig_parse
ac73f41a
·
parse_aag: remove a wrong assert and some restrictions
·
Nov 25, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
6
…
13
Next