Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
Spot
Spot
Issues
Open
5
Closed
103
All
108
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
bricks.test sporadic failure
#446
· opened
Dec 29, 2020
by
Alexandre Duret-Lutz
bug
9
updated
Feb 26, 2021
bogus co-Büchi generation by nsa_to_nca
#317
· opened
Jan 14, 2018
by
Alexandre Duret-Lutz
Spot 2.7
bug
8
updated
Jul 04, 2018
are_isomorphic() can raise false negatives
#280
· opened
Sep 13, 2017
by
Thibaud Michaud
bug
2
updated
Dec 06, 2017
missed simplifications
#173
· opened
May 04, 2016
by
Alexandre Duret-Lutz
bug
simulation
wish
1
updated
Sep 06, 2017
decide what to do with CheckPN
#19
· opened
Dec 19, 2014
by
Alexandre Duret-Lutz
bug
1
updated
Sep 06, 2017