Unlabeled

  A-cargo

Area: Affects the cargo wrapper (cargo miri)

  A-ci

Area: affects our continuous integration and other kinds of testing Miri

  A-docs

Area: This affects documentation.

  A-engine

Area: affects the core interpreter engine

  A-shims

Area: This affects the external function and intrinsic shims

  A-stacked-borrows

Area: This affects Stacked Borrows

  A-ux

Area: This affects the general user experience

  A-validation

Area: This affects enforcing the validity invariant, and related UB checking

  C-bug

Category: This is a bug.

  C-enhancement

Category: A PR with an enhancement or an issue tracking a planned enhancement

  C-proposal

A proposal for something we might want to do, or maybe not

  C-question

Category: Not a bug, but someone asking for support

  E-needstest

Call for participation: writing correctness tests

  E-project

Call for participation: An interesting project to pursue.

  S-waiting-on-author

Status: Waiting for the PR author to fix something

  S-waiting-on-nightly

Status: Waiting for a new Rust nightly to be released

  S-waiting-on-review

Status: Waiting for a review to complete

  S-waiting-on-rust

Status: Waiting for a Rust PR to land