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
  • 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-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
  • T-linear
    Topic: this concerns specifically linear (non-affine) insteances of the proofmode
    • Project label
  • T-logical-atomicity
    Topic: concerns logical atomicity
    • Project label
  • T-program_logic
    Topic: concerns the Iris program logic
    • Project label