Skip to content
GitLab
Explore
Sign in
Spot
Spot
Merge requests
Open
0
Merged
1
Closed
2
All
3
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
remfin: Make removing of fins more modular.
!7
· created
Jun 06, 2017
by
Henrich Lauko
short task
Merged
4
updated
Oct 01, 2017
[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
Integrate automata determinisation
!3
· created
Feb 05, 2016
by
Alexandre Lewkowicz
short task
Closed
1
updated
Feb 12, 2016