-
Notifications
You must be signed in to change notification settings - Fork 371
No labels!
There aren’t any labels for this repository quite yet.
52 labels
C-enhancement
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
C-project
C-project
Category: a larger project is being tracked here, usually with checkmarks for individual steps
C-proposal
C-proposal
Category: a proposal for something we might want to do, or maybe not; details still being worked out
C-spec-question
C-spec-question
Category: it is unclear what the intended behavior of Miri for this case is
E-good-second-issue
E-good-second-issue
A good issue to pick up if you've already seen some parts of Miri, mentoring is available
I-false-UB
I-false-UB
Impact: makes Miri falsely report UB, i.e., a false positive (with default settings)
I-misses-UB
I-misses-UB
Impact: makes Miri miss UB, i.e., a false negative (with default settings)
S-waiting-on-author
S-waiting-on-author
Status: Waiting for the PR author to address review comments