Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Group
I
Iris
Manage
Activity
Members
Labels
Plan
Issues
Issue board
Milestones
Code
Merge requests
Deploy
Package Registry
Operate
Terraform modules
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Terms and privacy
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
Iris
Merge requests
Open
12
Merged
8
Closed
18
All
38
Recent searches
label:
=
~S-waiting-for-author
Clear recent searches
Loading
label
=
~S-waiting-for-author
Author
Assignee
Reviewer
Merged-By
Approved-By
Milestone
Label
Release
Draft
Target-Branch
Source-Branch
Environment
Deployed-before
Deployed-after
Search for this text
{{ 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
Priority
Created date
Closed date
Updated date
Milestone due date
Popularity
Label priority
Title
add app lemma
stdpp!589
· created
1 month ago
by
Kimaya Bedarkar
S-waiting-for-author
1
updated
4 days ago
IPM: make use for notypeclasses apply where possible
iris!1101
· created
1 month ago
by
Ralf Jung
S-waiting-for-author
8
updated
4 days ago
Fancy Update Has Later Credit Parameter Update
iris!1097
· created
1 month ago
by
Rudy Peterson
S-waiting-for-author
S-waiting-for-review
148
1
updated
1 hour ago
Make `iFrame` fail if more work remains
iris!1094
· created
4 months ago
by
Robbert Krebbers
S-waiting-for-author
12
updated
4 days ago
Support arbitrary string types in IPM tactics
iris!1090
· created
4 months ago
by
Janno
S-waiting-for-author
42
updated
1 month ago
Draft: Use `RelDecision` when possible.
stdpp!571
· created
6 months ago
by
Robbert Krebbers
S-waiting-for-author
updated
6 months ago
Add `and_own` lemma for handling `own γ x ∧ own γ y`
iris!1052
· created
9 months ago
by
tjhance
S-waiting-for-author
20
updated
2 months ago
Provide "lookup" and commuting lemmas as equations that always apply, and fix some inconsistent lemma naming
2 of 4 checklist items completed
stdpp!532
· created
1 year ago
by
Robbert Krebbers
S-waiting-for-author
2
updated
4 days ago
Add a comment about `cancel_inj` and `cancel_surj`.
stdpp!527
· created
1 year ago
by
Robbert Krebbers
S-waiting-for-author
7
updated
4 days ago
Make bi fields non-canonical
iris!933
· created
1 year ago
by
Paolo G. Giarrusso
S-waiting-for-author
35
updated
1 month ago
add basic list functionality with Z-based indexing
stdpp!439
· created
2 years ago
by
Ralf Jung
S-waiting-for-author
16
1
updated
3 hours ago
Draft: Very preliminary version of a quick start guide for sets.
stdpp!372
· created
2 years ago
by
Robbert Krebbers
S-waiting-for-author
17
updated
2 years ago