Skip to content

Prioritized labels

Drag to reorder prioritized labels and change their relative priority.

Other labels

  • C-project
    Iris
    Category: A more open-ended project discussion
  • Category: This is a request for or implementation of a concrete enhancement
  • C-bug
    Iris
    Category: This is a bug we should fix
  • C-support
    Iris
    Category: a user asking for help
  • Category: a tracking issue for some unstable module
  • S-nominated
    Iris / Iris
    Status: nominated for discussion at the next meeting
  • S-draft
    Iris
    Status: this is a draft MR; more work by the author and/or reviewer is needed to fully flesh out its design
  • S-blocked
    Iris
    This issue/MR is blocked on resolving some other issue or merging another MR
  • Status: waiting for the MR author to do something
  • Status: someone is assigned at should look at this
  • 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
  • Changelog
    Iris / Iris
    Should be added to the changelog of the next release
  • Good First Issue
    Iris / Iris
    A good issue for a first contribution to Iris
  • S-blocked-by-coq
    Iris / Iris
    Status: issue is blocked by a Coq improvement or bugfix
  • T-base_logic
    Iris / Iris
    Topic: This concerns the Iris Base Logic
  • T-heap_lang
    Iris / Iris
    Topic: Bugs related to HeapLang
  • T-bi
    Iris / Iris
    Topic: This concerns out general (S)BI interfaces
  • T-algebra
    Iris / Iris
    Topic: concerns resource algebras
  • T-style
    Iris / Iris
    Topic: This is about general proof style concerns