Skip to content
GitLab
Explore
Sign in
Iris
RefinedC
Labels
All
Oldest updated
Prioritized labels
Drag to reorder prioritized labels and change their relative priority.
Other labels
feature
Iris / RefinedC
Issues
Merge requests
bug
Iris / RefinedC
Issues
Merge requests
standard-types
Iris / RefinedC
Issues
Merge requests
infrastructure
Iris / RefinedC
Issues
Merge requests
typesystem
Iris / RefinedC
Issues
Merge requests
tutorial
Iris / RefinedC
Issues
Merge requests
soundness
Iris / RefinedC
Issues
Merge requests
caesium
Iris / RefinedC
Issues
Merge requests
project
Iris / RefinedC
Issues
Merge requests
solvers
Iris / RefinedC
Issues
Merge requests
frontend
Iris / RefinedC
Issues
Merge requests
in-progress
Iris / RefinedC
Issues
Merge requests
performance
Iris / RefinedC
Issues
Merge requests
usability
Iris / RefinedC
Issues
Merge requests
promised
Iris / RefinedC
Issues
Merge requests
building
Iris / RefinedC
Issues
Merge requests
S-waiting-for-review
Iris
Status: someone is assigned at should look at this
Issues
Merge requests
S-waiting-for-author
Iris
Status: waiting for the MR author to do something
Issues
Merge requests
S-blocked
Iris
This issue/MR is blocked on resolving some other issue or merging another MR
Issues
Merge requests
S-draft
Iris
Status: this is a draft MR; more work by the author and/or reviewer is needed to fully flesh out its design
Issues
Merge requests
Prev
1
2
Next
Prioritized