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
61
Merged
1,896
Closed
222
All
2,179
Recent searches
You don't have any recent searches
Loading
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
Update Iris to dev.2025-03-12.0.3da27a78.
diaframe!60
· created
6 days ago
by
supplement_updater_dev
updated
6 days ago
Add `SetUnfoldElemOf` instance of `dom` on `gmultiset`
stdpp!591
· created
1 week ago
by
Marijn van Wezel
2
updated
1 week ago
Update Actris to dev.2025-02-27.0.316a5108.
diaframe!59
· created
1 week ago
by
supplement_updater_dev
updated
1 week ago
two more styles of lock spec
examples!69
· created
1 week ago
by
William Mansky
updated
1 week ago
Update iris and supplements
diaframe!58
· created
2 weeks ago
by
Ike Mulder
updated
2 weeks ago
Update Iris to dev.2025-02-27.1.c773500a.
diaframe!57
· created
2 weeks ago
by
supplement_updater_dev
updated
2 weeks ago
Update Iris to dev.2025-02-19.0.8c15c913.
diaframe!56
· created
3 weeks ago
by
supplement_updater_dev
updated
3 weeks ago
add some sublist lemmas
stdpp!590
· created
4 weeks ago
by
Kimaya Bedarkar
updated
4 weeks ago
add app lemma
stdpp!589
· created
4 weeks ago
by
Kimaya Bedarkar
1
updated
2 weeks ago
Update Simuliris to 4099b244.
diaframe!55
· created
1 month ago
by
supplement_updater_dev
updated
1 month ago
Update iris-examples to dev.2025-02-05.0.9806de16.
diaframe!54
· created
1 month ago
by
supplement_updater_dev
updated
1 month ago
Update Iris to dev.2025-02-07.1.d4ffb57b.
diaframe!53
· created
1 month ago
by
supplement_updater_dev
updated
1 month ago
IPM: make use for notypeclasses apply where possible
iris!1101
· created
1 month ago
by
Ralf Jung
8
updated
1 month ago
Improve iNext and wp_pure for lc
iris!1100
· created
1 month ago
by
ffengyu
S-waiting-for-author
54
updated
3 days ago
Fancy Update Has Later Credit Parameter Update
iris!1097
· created
1 month ago
by
Rudy Peterson
117
1
updated
15 hours ago
Make `iFrame` fail if more work remains
iris!1094
· created
3 months ago
by
Robbert Krebbers
12
updated
3 months ago
Draft: Custom intro patterns
iris!1093
· created
3 months ago
by
clef-men
5
1
updated
3 months 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
Use `refine` for `Frame` base cases.
iris!1082
· created
5 months ago
by
Robbert Krebbers
15
updated
5 months ago
Remove all uses of legacy `apply` in Proof Mode
iris!1077
· created
5 months ago
by
Robbert Krebbers
8
updated
5 months ago
Prev
1
2
3
4
Next