Other Labels
T-base_logic
Topic: This concerns the Iris Base Logic
Iris / Iris
T-bi
Topic: This concerns out general (S)BI interfaces
Iris / Iris
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
Prioritized label