Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Issues
Open
4
Closed
109
All
113
New issue
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}}
Created date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Title
bogus co-Büchi generation by nsa_to_nca
#317
· created
Jan 14, 2018
by
Alexandre Duret-Lutz
Spot 2.7
bug
8
updated
Jul 04, 2018
are_isomorphic() can raise false negatives
#280
· created
Sep 13, 2017
by
Thibaud Michaud
bug
2
updated
Dec 06, 2017
missed simplifications
#173
· created
May 04, 2016
by
Alexandre Duret-Lutz
bug
simulation
wish
1
updated
Sep 06, 2017
decide what to do with CheckPN
#19
· created
Dec 19, 2014
by
Alexandre Duret-Lutz
bug
0
updated
Sep 06, 2017
