Prioritized Labels
Other Labels
  • S-blocked
    This issue/MR is blocked on resolving some other issue or merging another MR
    Iris
  • S-draft
    Status: this is a draft MR; more work by the author and/or reviewer is needed to fully flesh out its design
    Iris
  • S-waiting-for-author
    Status: waiting for the MR author to do something
    Iris
  • S-waiting-for-review
    Status: someone is assigned at should look at this
    Iris
  • bug
    Iris / RefinedC
  • building
    Iris / RefinedC
  • caesium
    Iris / RefinedC
  • feature
    Iris / RefinedC
  • frontend
    Iris / RefinedC
  • in-progress
    Iris / RefinedC
  • infrastructure
    Iris / RefinedC
  • performance
    Iris / RefinedC
  • project
    Iris / RefinedC
  • promised
    Iris / RefinedC
  • solvers
    Iris / RefinedC
  • soundness
    Iris / RefinedC
  • standard-types
    Iris / RefinedC
  • tutorial
    Iris / RefinedC
  • typesystem
    Iris / RefinedC
  • usability
    Iris / RefinedC