Prioritized Labels
Other Labels
  • C-tracking-issue
    Category: a tracking issue for some module that currently lives in iris-staging
    Iris / Iris
  • C-support
    Category: a user asking for help
    Iris / Iris
  • C-project
    Category: A more open-ended project discussion
    Iris / Iris
  • C-enhancement
    Category: This is a request for or implementation of a concrete enhancement
    Iris / Iris
  • C-bug
    Category: This is a bug we should fix
    Iris / Iris
  • A-theory
    Area: concerns the theory of Iris (and not just the Coq library)
    Iris / Iris
  • A-meta
    Area: meta-level Iris discussions
    Iris / Iris
  • A-infra
    Area: Concerns our CI and perf tracking infrastructure as well as general project setup
    Iris / Iris
  • A-docs
    Area: concerns documentation
    Iris / Iris
  • A-coq
    Area: this concerns Coq eingeering questions
    Iris / Iris