Skip to content
GitLab
Explore
Sign in
Spot
Spot
Merge requests
Open
3
Merged
99
Closed
27
All
129
Actions
Subscribe to RSS feed
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
ltlsynt: improve error message in case of missing --ins and --outs
!21
· created
Oct 22, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Oct 23, 2021
synthesis: simplify split_2step_fast_here
!22
· created
Oct 23, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Oct 23, 2021
ltlsynt: fix a bug in split_2step_fast_here
!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
!24
· created
Oct 29, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Oct 29, 2021
print_dot: improve the rendering of Mealy machines
!25
· created
Oct 29, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Oct 30, 2021
agg parser fixes
!26
· created
Nov 03, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Nov 04, 2021
buddy checks and more
!27
· created
Nov 04, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Nov 04, 2021
misc fixes
!28
· created
Nov 05, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Nov 05, 2021
zlktree: fix colored output of acd_transform_sbacc()
!29
· created
Nov 10, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Nov 10, 2021
Use generic split after obtaining direct strategy
!30
· created
Nov 11, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Nov 11, 2021
minor synthesis fixes
!31
· created
Nov 12, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Nov 13, 2021
build fixes
!32
· created
Nov 16, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Nov 17, 2021
fix for 488, and partial fix for 485
!33
· created
Nov 17, 2021
by
Alexandre Duret-Lutz
Closed
1
updated
Nov 18, 2021
twagraph: remove bddfalse edges in purge_dead_states
!34
· created
Nov 19, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Nov 20, 2021
sched_getcpu() and pthread_setaffinity_np() are non-portable
!35
· created
Nov 23, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Nov 23, 2021
catch overflow in SVA delays during parsing
!36
· created
Dec 02, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Dec 02, 2021
formula: is_literal should be const
!37
· created
Dec 02, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Dec 02, 2021
* spot/parsetl/scantl.ll: Avoid strtoul for short delays.
!38
· created
Dec 06, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Dec 06, 2021
Suffix Operator Normal Form implementation
!39
· created
Dec 08, 2021
by
Antoine Martin
Closed
31
updated
Mar 04, 2022
sbacc: remove spurious initial state in some output
!40
· created
Dec 16, 2021
by
Alexandre Duret-Lutz
Merged
0
updated
Dec 17, 2021
Prev
1
2
3
4
5
6
7
Next