Prioritized Labels
Other Labels
A-coq
Area: this concerns Coq eingeering questions
-
Project label
A-docs
Area: concerns documentation
-
Project label
A-infra
Area: Concerns our CI and perf tracking infrastructure as well as general project setup
-
Project label
A-meta
Area: meta-level Iris discussions
-
Project label
A-theory
Area: concerns the theory of Iris (and not just the Coq library)
-
Project label
C-bug
Category: This is a bug we should fix
-
Project label
C-enhancement
Category: This is a request for or implementation of a concrete enhancement
-
Project label
C-project
Category: A more open-ended project discussion
-
Project label
C-support
Category: a user asking for help
-
Project label
Changelog
Should be added to the changelog of the next release
-
Project label
Good First Issue
A good issue for a first contribution to Iris
-
Project label
I-performance
Impact: this is related to performance concerns
-
Project label
S-blocked
This issue/MR is blocked on resolving some other issue or merging another MR
-
Project label
S-blocked-by-coq
Status: issue is blocked by a Coq improvement or bugfix
-
Project label
S-waiting-for-author
Status: waiting for the MR author to do something
-
Project label
S-waiting-for-review
Status: someone is assigned at should look at this
-
Project label
T-algebra
Topic: concerns resource algebras
-
Project label
T-base_logic
Topic: This concerns the Iris Base Logic
-
Project label
T-bi
Topic: This concerns out general (S)BI interfaces
-
Project label
T-heap_lang
Topic: Bugs related to HeapLang
-
Project label
Prioritized label