Skip to content

Prioritized labels 0

Drag to reorder prioritized labels and change their relative priority.

Labels 30

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