Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Support
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
I
Iris
Project
Project
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
77
Issues
77
List
Boards
Labels
Milestones
Merge Requests
5
Merge Requests
5
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Iris
Iris
Issues
Open
15
Closed
1
All
16
New issue
Recent searches
Press Enter or click to search
{{hint}}
{{tag}}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
Created date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Find a way to reduce usage of O/R/U suffixes
#277
· opened
Dec 02, 2019
by
Ralf Jung
A-coq
C-enhancement
T-algebra
0
updated
Dec 02, 2019
Iris shadows ssreflect new syntax
#273
· opened
Nov 07, 2019
by
Paolo G. Giarrusso
A-coq
C-bug
T-algebra
15
updated
Nov 22, 2019
`big_op*_forall` that relate traversals over different structures
#262
· opened
Aug 28, 2019
by
Dmitry Khalanskiy
A-coq
C-enhancement
Good First Issue
T-algebra
1
updated
Nov 01, 2019
Stronger `list_core_id`
#258
· opened
Aug 06, 2019
by
Dmitry Khalanskiy
A-coq
C-enhancement
Good First Issue
T-algebra
5
updated
Nov 01, 2019
Auth as Views
0 of 2 tasks completed
#257
· opened
Aug 01, 2019
by
Ralf Jung
A-theory
C-project
T-algebra
1
updated
Nov 01, 2019
Failure to find a proof of persistence
#255
· opened
Jul 19, 2019
by
Dmitry Khalanskiy
A-coq
C-bug
S-blocked-by-coq
T-algebra
8
updated
Nov 01, 2019
Constructing CMRAs by giving isomorphism to CMRAs
#253
· opened
Jul 09, 2019
by
Paolo G. Giarrusso
A-coq
C-enhancement
Good First Issue
T-algebra
1
0
updated
Nov 01, 2019
Simplification machinery for RA operations
#251
· opened
Jun 24, 2019
by
Ralf Jung
A-coq
C-project
T-algebra
1
1
updated
Nov 20, 2019
Add a general lattice RA to Iris
#244
· opened
Jun 12, 2019
by
Ralf Jung
A-theory
C-project
T-algebra
6
updated
Nov 01, 2019
Avoid type-level aliases for overloading of canonical structures
#243
· opened
Jun 11, 2019
by
Robbert
A-coq
C-enhancement
T-algebra
0
updated
Nov 01, 2019
We have ambiguous coercion paths
#240
· opened
May 13, 2019
by
Ralf Jung
A-coq
C-bug
T-algebra
6
updated
Nov 01, 2019
Documentation for the algebra folder
#235
· opened
Mar 30, 2019
by
Robbert
A-docs
C-enhancement
T-algebra
1
1
updated
Nov 01, 2019
Provide a convenient way to define non-recursive ghost state
#227
· opened
Feb 19, 2019
by
Ralf Jung
A-coq
A-theory
C-project
T-algebra
T-base_logic
1
3
updated
Nov 04, 2019
Generic subset construction for RAs
#210
· opened
Aug 29, 2018
by
Ralf Jung
A-theory
C-project
T-algebra
2
updated
Nov 01, 2019
Seal off local and frame-preserving update
#203
· opened
Jul 05, 2018
by
Ralf Jung
A-coq
C-enhancement
I-performance
T-algebra
0
updated
Nov 01, 2019
1