Skip to content
GitLab
Explore
Sign in
Open
0
Merged
3
Closed
1
All
4
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{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
Resolve "missing CPF output for R-producing loop"
!59
· created
Jul 06, 2024
by
waldmann
TC24
bug
certification
relative
Merged
updated
Jul 13, 2024
Resolve "--print-proof: summary ignores part of Split"
!44
· created
Feb 27, 2023
by
waldmann
bug
Merged
updated
Feb 27, 2023
Draft: Resolve "transport system computation hangs, was: what happens with num-233? (output is cut short)"
!29
· created
Feb 03, 2022
by
waldmann
bug
Closed
updated
Feb 10, 2022
Resolve "src/Matchbox/Tiling/Automaton/Data.hs:255:1-41: Non-exhaustive patterns in function unions"
!1
· created
Jan 24, 2020
by
waldmann
FSCD/LMCS
bug
Merged
updated
Jan 24, 2020