Skip to content

Prioritized labels

Drag to reorder prioritized labels and change their relative priority.

Other labels

  • T-proofmode
    Iris / Iris
    Topic: Bugs related to the proofmode and our tactic support in general
  • S-blocked-by-coq
    Iris / Iris
    Status: issue is blocked by a Coq improvement or bugfix
  • A-infra
    Iris / Iris
    Area: Concerns our CI and perf tracking infrastructure as well as general project setup
  • T-heap_lang
    Iris / Iris
    Topic: Bugs related to HeapLang
  • A-docs
    Iris / Iris
    Area: concerns documentation
  • T-logical-atomicity
    Iris / Iris
    Topic: concerns logical atomicity
  • T-algebra
    Iris / Iris
    Topic: concerns resource algebras
  • A-theory
    Iris / Iris
    Area: concerns the theory of Iris (and not just the Coq library)
  • T-program_logic
    Iris / Iris
    Topic: concerns the Iris program logic
  • T-linear
    Iris / Iris
    Topic: this concerns specifically linear (non-affine) insteances of the proofmode
  • I-performance
    Iris / Iris
    Impact: this is related to performance concerns
  • T-style
    Iris / Iris
    Topic: This is about general proof style concerns
  • A-meta
    Iris / Iris
    Area: meta-level Iris discussions
  • A-coq
    Iris / Iris
    Area: this concerns Coq eingeering questions
  • T-bi
    Iris / Iris
    Topic: This concerns out general (S)BI interfaces
  • T-base_logic
    Iris / Iris
    Topic: This concerns the Iris Base Logic
  • Good First Issue
    Iris / Iris
    A good issue for a first contribution to Iris
  • Changelog
    Iris / Iris
    Should be added to the changelog of the next release
  • T-siprop
    Iris / Iris
    Topic: concerns the siProp type and logic
  • T-records
    Iris / Iris
    Topic: better support for record-like invariants in the Iris Proof Mode