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}}
Updated date
Adl/bdd rename
!16
· created
Jan 20, 2021
by
Alexandre Duret-Lutz
Closed
1
updated
Jan 27, 2021
Feedback arc-set for dtgbacomp
!2
· created
Feb 25, 2015
by
Alexandre Lewkowicz
Closed
1
updated
Sep 07, 2020
[WIP] tra2tba: Implement transformation of TRA to TBA acceptance condition.
!6
· created
May 09, 2017
by
Henrich Lauko
short task
Closed
1
updated
Sep 07, 2020
* doc/org/concepts.org: Typo
!5
· created
Jan 30, 2017
by
Laurent Xu
doc
Closed
1
updated
Jan 30, 2017
Python wrapping twa_graph::edges() and sanity replacing tabulars by spaces
!4
· created
Mar 09, 2016
by
Laurent Xu
Spot 2.0
Closed
0
updated
Mar 10, 2016
Integrate automata determinisation
!3
· created
Feb 05, 2016
by
Alexandre Lewkowicz
short task
Closed
1
updated
Feb 12, 2016
transform_accessible transform_copy
!1
· created
Feb 19, 2015
by
Alexandre Lewkowicz
Closed
0
updated
Feb 19, 2015
Prev
1
2
Next