Area: this concerns Coq eingeering questions

Area: concerns documentation

Area: Concerns our CI and perf tracking infrastructure as well as general project setup

Area: meta-level Iris discussions

Area: concerns the theory of Iris (and not just the Coq library)

Category: This is a bug we should fix

Category: This is a request for or implementation of a concrete enhancement

Category: A more open-ended project discussion

Category: a user asking for help

Category: a tracking issue for some unstable module

Should be added to the changelog of the next release

A good issue for a first contribution to Iris

Impact: this is related to performance concerns

This issue/MR is blocked on resolving some other issue or merging another MR

Status: issue is blocked by a Coq improvement or bugfix

Status: this is a draft MR; more work by the author and/or reviewer is needed to fully flesh out its design

Status: nominated for discussion at the next meeting

Status: closed for now because neither we nor the MR author has the capacity to finish this at the moment, but we would be interested in getting back to this in the future

Status: waiting for the MR author to do something

Status: someone is assigned at should look at this