New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
ui_test: more robust comment parsing
A-ci
Area: affects our continuous integration and other kinds of testing Miri
#2170
opened May 31, 2022 by
RalfJung
Initialisation value of atomic types can no longer be observed if the first atomic access is a store
#2164
opened May 29, 2022 by
cbeuw
What does -Zmiri-disable-validation mean for pointers from transmutes (now?)
A-docs
Area: affects documentation
#2163
opened May 29, 2022 by
saethlin
-Zmiri-strict-provenance reports UB when using the address-exposing Strict Provenance APIs correctly
#2134
opened May 20, 2022 by
saethlin
The plan for provenance
C-project
Category: a larger project is being tracked here, usually with checkmarks for individual steps
#2133
opened May 20, 2022 by
RalfJung
2 of 4 tasks
Perf regression related to cold path code size growth in #2075
A-stacked-borrows
Area: This affects Stacked Borrows
I-slow
Impact: Makes Miri even slower than it already is
#2132
opened May 20, 2022 by
saethlin
Stacked Borrows error can appear during validation, causing an ICE
C-bug
Category: This is a bug.
#2123
opened May 15, 2022 by
saethlin
ptr::swap_nonoverlapping can no longer copy pointers bytewise in latest miri
#2118
opened May 13, 2022 by
tower120
Allocators that "shrink" allocations to fit the request cause Stacked Borrows errors when used with Box
#2104
opened May 7, 2022 by
RalfJung
Unit tests of proc-macro crates
A-cargo
Area: affects the cargo wrapper (cargo miri)
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
#2102
opened May 5, 2022 by
dtolnay
Invalid alignment to posix_memalign is documented as an error condition not a precondition
E-easy
An easy issue: a good way to start contributing, mentoring is available
#2099
opened May 3, 2022 by
saethlin
Stacked borrows: Mutable reference pops stack when created in some cases
#2082
opened Apr 25, 2022 by
eivindbergem
ICE using
-Zmiri-tag-raw-pointers: 'we should never pop more than one frame at once'
#2081
opened Apr 21, 2022 by
y86-dev
Documentation for reading Miri's output
A-diagnostics
errors and warnings emitted by miri
A-docs
Area: affects documentation
#2066
opened Apr 16, 2022 by
nicholasbishop
Shim wishlist
A-shims
Area: This affects the external function and intrinsic shims
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
#2057
opened Apr 7, 2022 by
saethlin
Some way to pass Miri flags without MIRIFLAGS?
A-cargo
Area: affects the cargo wrapper (cargo miri)
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
E-easy
An easy issue: a good way to start contributing, mentoring is available
#2051
opened Apr 6, 2022 by
RalfJung
Rename Posix → Unix
E-easy
An easy issue: a good way to start contributing, mentoring is available
#2012
opened Mar 9, 2022 by
RalfJung
Allocator confusion when a crate replaces the global allocator and also captures a backtrace
#1996
opened Mar 3, 2022 by
saethlin
Miri can't track pointer through atomic bit-flip, which happens as usize
#1993
opened Mar 2, 2022 by
jonhoo
Always use Area: affects the core interpreter engine
C-proposal
Category: a proposal for something we might want to do, or maybe not; details still being worked out
-Z symbolic-alignment-checks for *unleaked* allocations
A-engine
#1988
opened Feb 26, 2022 by
JakobDegen
Previous Next
ProTip!
Add no:assignee to see everything that’s not assigned.
