Prioritized Labels
Other Labels
  • T-style
    Topic: This is about general proof style concerns
    Iris / Iris
  • T-siprop
    Topic: concerns the siProp type and logic
    Iris / Iris
  • T-records
    Topic: better support for record-like invariants in the Iris Proof Mode
    Iris / Iris
  • T-proofmode
    Topic: Bugs related to the proofmode and our tactic support in general
    Iris / Iris
  • T-program_logic
    Topic: concerns the Iris program logic
    Iris / Iris
  • T-logical-atomicity
    Topic: concerns logical atomicity
    Iris / Iris
  • T-linear
    Topic: this concerns specifically linear (non-affine) insteances of the proofmode
    Iris / Iris
  • T-heap_lang
    Topic: Bugs related to HeapLang
    Iris / Iris
  • T-bi
    Topic: This concerns out general (S)BI interfaces
    Iris / Iris
  • T-base_logic
    Topic: This concerns the Iris Base Logic
    Iris / Iris
  • T-algebra
    Topic: concerns resource algebras
    Iris / Iris
  • S-waiting-for-review
    Status: someone is assigned at should look at this
    Iris / Iris
  • S-waiting-for-author
    Status: waiting for the MR author to do something
    Iris / Iris
  • S-blocked-by-coq
    Status: issue is blocked by a Coq improvement or bugfix
    Iris / Iris
  • S-blocked
    This issue/MR is blocked on resolving some other issue or merging another MR
    Iris / Iris
  • I-performance
    Impact: this is related to performance concerns
    Iris / Iris
  • Good First Issue
    A good issue for a first contribution to Iris
    Iris / Iris
  • Changelog
    Should be added to the changelog of the next release
    Iris / Iris
  • C-tracking-issue
    Category: a tracking issue for some module that currently lives in iris-staging
    Iris / Iris
  • C-support
    Category: a user asking for help
    Iris / Iris