Prioritized Labels
Drag to reorder prioritized labels and change their relative priority.
Other Labels
A-coq
Area: this concerns Coq eingeering questions
Iris / Iris
A-docs
Area: concerns documentation
Iris / Iris
A-infra
Area: Concerns our CI and perf tracking infrastructure as well as general project setup
Iris / Iris
A-meta
Area: meta-level Iris discussions
Iris / Iris
A-theory
Area: concerns the theory of Iris (and not just the Coq library)
Iris / Iris
C-bug
Category: This is a bug we should fix
Iris
C-enhancement
Category: This is a request for or implementation of a concrete enhancement
Iris
C-project
Category: A more open-ended project discussion
Iris
C-support
Category: a user asking for help
Iris
C-tracking-issue
Category: a tracking issue for some unstable module
Iris
Changelog
Should be added to the changelog of the next release
Iris / Iris
Good First Issue
A good issue for a first contribution to Iris
Iris / Iris
I-performance
Impact: this is related to performance concerns
Iris / Iris
S-blocked
This issue/MR is blocked on resolving some other issue or merging another MR
Iris
S-blocked-by-coq
Status: issue is blocked by a Coq improvement or bugfix
Iris / Iris
S-draft
Status: this is a draft MR; more work by the author and/or reviewer is needed to fully flesh out its design
Iris
S-nominated
Status: nominated for discussion at the next meeting
Iris / Iris
S-waiting-for-author
Status: waiting for the MR author to do something
Iris
S-waiting-for-review
Status: someone is assigned at should look at this
Iris
T-algebra
Topic: concerns resource algebras
Iris / Iris
Prioritized label