Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
7
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
Iris
Iris
Issues
Open
27
Closed
15
All
42
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}}
Last updated
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Generalize frac to dfrac in view camera
#395
· created
Jan 04, 2021
by
Simon Friis Vindum
A-coq
C-enhancement
T-algebra
CLOSED
1
3
updated
Mar 03, 2021
Constructing CMRAs by giving isomorphism to CMRAs
#253
· created
Jul 09, 2019
by
Paolo G. Giarrusso
A-coq
C-enhancement
Good First Issue
T-algebra
CLOSED
1
1
5
updated
Nov 06, 2020
Add RA for auth max_nat
#327
· created
Jun 19, 2020
by
Robbert Krebbers
A-coq
C-enhancement
T-algebra
CLOSED
1
2
0
updated
Oct 27, 2020
gmap_view: add fraction support to gmap_view_auth
#356
· created
Oct 12, 2020
by
Ralf Jung
A-coq
C-enhancement
T-algebra
CLOSED
1
0
updated
Oct 21, 2020
Break dependency of algebra on base_logic
#355
· created
Oct 06, 2020
by
Ralf Jung
A-coq
C-enhancement
T-algebra
T-base_logic
CLOSED
1
0
updated
Oct 20, 2020
Add RA for auth of a heap
#328
· created
Jun 23, 2020
by
Ralf Jung
A-coq
C-enhancement
T-algebra
CLOSED
1
5
updated
Oct 12, 2020
Auth as Views
0 of 2 tasks completed
#257
· created
Aug 01, 2019
by
Ralf Jung
A-theory
C-project
T-algebra
CLOSED
1
1
updated
Oct 01, 2020
Missing {u,}rFunctors and conversions
#342
· created
Aug 20, 2020
by
Paolo G. Giarrusso
A-coq
C-enhancement
T-algebra
CLOSED
1
1
updated
Sep 10, 2020
Fix name duplication `elem_of_list_singleton` in Iris and std++
#309
· created
Apr 07, 2020
by
Robbert Krebbers
Iris 3.3
A-coq
C-bug
T-algebra
CLOSED
1
18
updated
Jul 15, 2020
Add "nat+min" RA
#324
· created
Jun 12, 2020
by
Ralf Jung
C-enhancement
T-algebra
CLOSED
1
9
updated
Jun 18, 2020
We have ambiguous coercion paths
#240
· created
May 13, 2019
by
Ralf Jung
A-coq
C-bug
T-algebra
CLOSED
1
7
updated
Apr 02, 2020
Failure to find a proof of persistence
#255
· created
Jul 19, 2019
by
Dmitry Khalanskiy
A-coq
C-bug
S-blocked-by-coq
T-algebra
CLOSED
1
12
updated
Mar 18, 2020
Stronger `list_core_id`
#258
· created
Aug 06, 2019
by
Dmitry Khalanskiy
A-coq
C-enhancement
Good First Issue
T-algebra
CLOSED
6
updated
Mar 18, 2020
`leibnizO` finds convoluted proof for definitions
#299
· created
Mar 12, 2020
by
Robbert Krebbers
A-coq
C-bug
T-algebra
CLOSED
1
3
updated
Mar 12, 2020
STSs: Consider changing the def. of frame-steps
#36
· created
Sep 29, 2016
by
Ralf Jung
A-theory
C-project
T-algebra
CLOSED
5
updated
Nov 01, 2019