Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
What's new
2
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Switch to GitLab Next
Sign in / Register
Toggle navigation
Menu
Open sidebar
Nomadic Labs
Mi-Cho-Coq
Issues
Open
0
Closed
4
All
4
New issue
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
Current
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
None
Any
{{title}}
None
Any
{{title}}
&{{id}}
Updated date
Priority
Created date
Updated date
Milestone due date
Due date
Popularity
Label priority
Manual
Title
Weight
Blocking
Concrete syntax for sorted data structures should enforce sorting.
#28
· created
May 03, 2020
by
Raphaël Cauderlier
beta-release
Todo
beginner
bug
CLOSED
4
updated
Jun 15, 2021
`FAILWITH` should be allowed in `ITER`, `LOOP`, and `LOOP_LEFT`
#27
· created
May 03, 2020
by
Raphaël Cauderlier
beta-release
Todo
beginner
bug
CLOSED
4
2
updated
Jun 15, 2021
Simplification of the formula produced by eval_precond
#34
· created
Jun 07, 2020
by
Raphaël Cauderlier
beta-release
Doing
smart-contract verification
CLOSED
1
updated
Oct 02, 2020
Verify the Spending Limit Contract
#35
· created
Jun 07, 2020
by
Raphaël Cauderlier
beta-release
CLOSED
0
updated
Aug 24, 2020
