Prioritized Labels
Other Labels
  • T-heap_lang
    Topic: Bugs related to HeapLang
    Iris / Iris
  • T-linear
    Topic: this concerns specifically linear (non-affine) insteances of the proofmode
    Iris / Iris
  • T-logical-atomicity
    Topic: concerns logical atomicity
    Iris / Iris
  • T-program_logic
    Topic: concerns the Iris program logic
    Iris / Iris
  • T-proofmode
    Topic: Bugs related to the proofmode and our tactic support in general
    Iris / Iris
  • T-records
    Topic: better support for record-like invariants in the Iris Proof Mode
    Iris / Iris
  • T-siprop
    Topic: concerns the siProp type and logic
    Iris / Iris
  • T-style
    Topic: This is about general proof style concerns
    Iris / Iris