Skip to content

Prioritized labels

Drag to reorder prioritized labels and change their relative priority.

Other labels

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