Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
Branches
Overview
Active
Stale
All
mealymin
c6d2b52a
·
Improving efficiency of unsplit_2step
·
Jul 18, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/395
3e2b278a
·
* spot/misc/bitvect.cc (hash): Improve spread of hash values.
·
Jul 14, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
aiger
0646ec15
·
Making aiger a class
·
Jun 10, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/462
b66935e5
·
Fix for
#462
·
Jun 09, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/merge
24fabcc1
·
New version of merge states that increases the bnumber of merged states, see...
·
Jun 04, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fr/ltlsynt_rewrite
a66c03d5
·
ltlsynt: fix try_cre
·
May 30, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/minbench2
d5be0551
·
rebase fix
·
May 29, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/min_bench
7ef33954
·
?
·
May 07, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/junit-report
3dc092ca
·
junit report WIP
·
May 04, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/splittest
47f1e26d
·
..
·
Apr 03, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fr/worst_case_lar
d930df16
·
genaut: add an option iar-dsa-2n
·
Feb 25, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/game_mod
8958cc98
·
Added support for multiple games
·
Feb 16, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fr/paritisation
c0087829
·
toparity: rewrite algorithm and introduce options
·
Jan 08, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
er/mcc
15127d0f
·
bloemen_ec: some automata may have dead-end state
·
Dec 23, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
am/redziejowski
db31e00f
·
determinize: compute letters for unfixed vars only
·
Dec 16, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
sccinfo-wip
e0daef73
·
twacube_algos: add scc_infocube class
·
Dec 14, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/game-wip
46c02250
·
game: WIP on solve_reachability_game
·
Dec 09, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
extract-sccinfo-wip
8332951d
·
mc: add scc_info to feature extraction
·
Dec 03, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ytm/parse
93351d0c
·
style
·
Nov 14, 2020
!9
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/mini_aig
de53f184
·
Adding heuristics for choosing outs
·
Nov 04, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
6
7
8
9
…
13
Next