Skip to content
GitLab
Explore
Sign in
Spot
Merge requests
Open
3
Merged
107
Closed
28
All
138
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
remfin: Make removing of fins more modular.
spot!7
· created
Jun 06, 2017
by
Henrich Lauko
short task
Merged
4
updated
Oct 01, 2017
Er/cleanup
go2pins!2
· created
Jul 19, 2019
by
Etienne Renault
Merged
0
updated
Jul 19, 2019
Improving split and reorganizing
spot!8
· created
Sep 24, 2020
by
Alexandre Duret-Lutz
Merged
Approved
0
updated
Sep 24, 2020
Adl/2021
spot!10
· created
Jan 05, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Jan 05, 2021
Adl/447
spot!11
· created
Jan 14, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Jan 15, 2021
fix rpm builds
spot!12
· created
Jan 16, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Jan 16, 2021
448 & 449
spot!13
· created
Jan 17, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Jan 17, 2021
for master
spot!14
· created
Jan 18, 2021
by
Alexandre Duret-Lutz
master
Merged
0
updated
Jan 18, 2021
twa_graph: swap the two passes of merge_edges()
spot!15
· created
Jan 19, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Jan 20, 2021
Configuring Go2Pins to be called everywhere
go2pins!3
· created
Feb 25, 2021
by
Hugo Moreau
bugfix
Merged
Approved
2
updated
Mar 30, 2021
acd improvements
spot!18
· created
Sep 24, 2021
by
Alexandre Duret-Lutz
Merged
Approved
0
updated
Sep 25, 2021
ltlsynt: --ins is optional but not its argument
spot!19
· created
Oct 11, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Oct 11, 2021
synthesis: rename create_game() to ltl_to_game()
spot!20
· created
Oct 18, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Oct 18, 2021
ltlsynt: improve error message in case of missing --ins and --outs
spot!21
· created
Oct 22, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Oct 23, 2021
synthesis: simplify split_2step_fast_here
spot!22
· created
Oct 23, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Oct 23, 2021
ltlsynt: fix a bug in split_2step_fast_here
spot!23
· created
Oct 24, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Oct 25, 2021
python: make sure swig also work with --disable-dependency-tracking
spot!24
· created
Oct 29, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Oct 29, 2021
print_dot: improve the rendering of Mealy machines
spot!25
· created
Oct 29, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Oct 30, 2021
agg parser fixes
spot!26
· created
Nov 03, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Nov 04, 2021
buddy checks and more
spot!27
· created
Nov 04, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Nov 04, 2021
Prev
1
2
3
4
5
6
Next