Prioritized Labels
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 / Iris
C-enhancement
Category: This is a request for or implementation of a concrete enhancement
Iris / Iris
C-project
Category: A more open-ended project discussion
Iris / Iris
C-support
Category: a user asking for help
Iris / 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 / Iris
S-blocked-by-coq
Status: issue is blocked by a Coq improvement or bugfix
Iris / Iris
S-waiting-for-author
Status: waiting for the MR author to do something
Iris / Iris
S-waiting-for-review
Status: someone is assigned at should look at this
Iris / Iris
T-algebra
Topic: concerns resource algebras
Iris / Iris
T-base_logic
Topic: This concerns the Iris Base Logic
Iris / Iris
T-bi
Topic: This concerns out general (S)BI interfaces
Iris / Iris
T-heap_lang
Topic: Bugs related to HeapLang
Iris / Iris
Prioritized label