Prioritized Labels
Other Labels
  • C-tracking-issue
    Category: a tracking issue for some module that currently lives in iris-staging
    Iris / Iris
  • T-records
    Topic: better support for record-like invariants in the Iris Proof Mode
    Iris / Iris
  • S-blocked
    This issue/MR is blocked on resolving some other issue or merging another MR
    Iris / Iris
  • T-siprop
    Topic: concerns the siProp type and logic
    Iris / Iris
  • Changelog
    Should be added to the changelog of the next release
    Iris / Iris
  • C-support
    Category: a user asking for help
    Iris / Iris
  • Good First Issue
    A good issue for a first contribution to Iris
    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-base_logic
    Topic: This concerns the Iris Base Logic
    Iris / Iris
  • C-project
    Category: A more open-ended project discussion
    Iris / Iris
  • T-bi
    Topic: This concerns out general (S)BI interfaces
    Iris / Iris
  • A-coq
    Area: this concerns Coq eingeering questions
    Iris / Iris
  • A-meta
    Area: meta-level Iris discussions
    Iris / Iris
  • T-style
    Topic: This is about general proof style concerns
    Iris / Iris
  • I-performance
    Impact: this is related to performance concerns
    Iris / Iris
  • T-linear
    Topic: this concerns specifically linear (non-affine) insteances of the proofmode
    Iris / Iris
  • T-program_logic
    Topic: concerns the Iris program logic
    Iris / Iris
  • A-theory
    Area: concerns the theory of Iris (and not just the Coq library)
    Iris / Iris
  • T-algebra
    Topic: concerns resource algebras
    Iris / Iris