Prioritized Labels

Drag to reorder prioritized labels and change their relative priority.

Other Labels

  • A-coq
    Area: this concerns Coq eingeering questions
    Iris / Iris
  • A-docs
    Area: concerns documentation
    Iris / Iris
  • A-infra
    Area: Concerns our CI and perf tracking infrastructure as well as general project setup
    Iris / Iris
  • A-meta
    Area: meta-level Iris discussions
    Iris / Iris
  • A-theory
    Area: concerns the theory of Iris (and not just the Coq library)
    Iris / Iris
  • C-bug
    Category: This is a bug we should fix
    Iris
  • C-enhancement
    Category: This is a request for or implementation of a concrete enhancement
    Iris
  • C-project
    Category: A more open-ended project discussion
    Iris
  • C-support
    Category: a user asking for help
    Iris
  • C-tracking-issue
    Category: a tracking issue for some unstable module
    Iris
  • Changelog
    Should be added to the changelog of the next release
    Iris / Iris
  • Good First Issue
    A good issue for a first contribution to Iris
    Iris / Iris
  • I-performance
    Impact: this is related to performance concerns
    Iris / Iris
  • S-blocked
    This issue/MR is blocked on resolving some other issue or merging another MR
    Iris
  • S-blocked-by-coq
    Status: issue is blocked by a Coq improvement or bugfix
    Iris / 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-nominated
    Status: nominated for discussion at the next meeting
    Iris / 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
  • T-algebra
    Topic: concerns resource algebras
    Iris / Iris