Prioritized Labels
Other Labels
  • T-proofmode
    Topic: Bugs related to the proofmode and our tactic support in general
    Iris / Iris
  • C-enhancement
    Category: This is a request for or implementation of a concrete enhancement
    Iris / Iris
  • S-blocked-by-coq
    Status: issue is blocked by a Coq improvement or bugfix
    Iris / Iris
  • A-infra
    Area: Concerns our CI and perf tracking infrastructure as well as general project setup
    Iris / Iris
  • T-heap_lang
    Topic: Bugs related to HeapLang
    Iris / Iris
  • C-bug
    Category: This is a bug we should fix
    Iris / Iris
  • A-docs
    Area: concerns documentation
    Iris / Iris
  • T-logical-atomicity
    Topic: concerns logical atomicity
    Iris / Iris
  • T-algebra
    Topic: concerns resource algebras
    Iris / Iris
  • A-theory
    Area: concerns the theory of Iris (and not just the Coq library)
    Iris / Iris
  • T-program_logic
    Topic: concerns the Iris program logic
    Iris / Iris
  • T-linear
    Topic: this concerns specifically linear (non-affine) insteances of the proofmode
    Iris / Iris
  • I-performance
    Impact: this is related to performance concerns
    Iris / Iris
  • T-style
    Topic: This is about general proof style concerns
    Iris / Iris
  • A-meta
    Area: meta-level Iris discussions
    Iris / Iris
  • A-coq
    Area: this concerns Coq eingeering questions
    Iris / Iris
  • T-bi
    Topic: This concerns out general (S)BI interfaces
    Iris / Iris
  • C-project
    Category: A more open-ended project discussion
    Iris / Iris
  • T-base_logic
    Topic: This concerns the Iris Base Logic
    Iris / Iris
  • S-waiting-for-review
    Status: someone is assigned at should look at this
    Iris / Iris