Skip to content

Prioritized labels

Drag to reorder prioritized labels and change their relative priority.

Other labels

  • feature
    Iris / RefinedC
  • bug
    Iris / RefinedC
  • frontend
    Iris / RefinedC
  • typesystem
    Iris / RefinedC
  • tutorial
    Iris / RefinedC
  • soundness
    Iris / RefinedC
  • caesium
    Iris / RefinedC
  • project
    Iris / RefinedC
  • solvers
    Iris / RefinedC
  • usability
    Iris / RefinedC
  • promised
    Iris / RefinedC
  • building
    Iris / RefinedC
  • Status: someone is assigned at should look at this
  • Status: waiting for the MR author to do something
  • S-blocked
    Iris
    This issue/MR is blocked on resolving some other issue or merging another MR
  • 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