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
Iris
Iris
Issues
Open
10
Closed
6
All
16
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
Make sure we have Hint Mode for every typeclass
0 of 1 task completed
#381
· created
Nov 12, 2020
by
Ralf Jung
A-coq
C-bug
T-style
0
updated
Nov 12, 2020
Make sealing consistent and document it
#379
· created
Nov 10, 2020
by
Ralf Jung
A-coq
A-docs
C-enhancement
T-style
0
updated
Nov 10, 2020
We have some lonely notations
#375
· created
Nov 05, 2020
by
Ralf Jung
A-coq
C-bug
T-style
0
updated
Nov 05, 2020
Avoid sequences of "_" by adjusting lemma statements
#374
· created
Nov 05, 2020
by
Ralf Jung
A-coq
C-enhancement
T-style
0
updated
Nov 05, 2020
Explore use of `#[local]`/`Local` definitions
#316
· created
May 08, 2020
by
Ralf Jung
A-coq
C-enhancement
T-style
2
updated
Oct 02, 2020
Automatically enforce use of Unicode → instead of ASCII ->
#308
· created
Apr 07, 2020
by
Tej Chajed
A-coq
C-enhancement
T-style
1
8
updated
Apr 16, 2020
Create example user library and document library best practices
#276
· created
Dec 02, 2019
by
Robbert Krebbers
A-docs
C-enhancement
T-style
1
2
updated
Sep 29, 2020
Inconsistent order of arguments for `inv_alloc` and `cinv_alloc`.
#267
· created
Sep 30, 2019
by
Dan Frumin
A-coq
C-bug
T-base_logic
T-style
2
updated
Nov 01, 2019
Use of `Into`/`From`/`As`/`Is` prefixes of classes is inconsistent
#202
· created
Jun 18, 2018
by
Robbert Krebbers
A-coq
C-enhancement
T-proofmode
T-style
0
updated
Nov 06, 2020
Document variable naming conventions
2 of 4 tasks completed
#16
· created
Mar 22, 2016
by
Ralf Jung
A-docs
C-enhancement
T-style
3
updated
Nov 01, 2019