Skip to content

Issues: rust-lang/miri

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.

Sign up for GitHub

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

Clear current search query, filters, and sorts
0 Open 756 Closed
0 Open 756 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Spurious test failure: "error: linking with cc failed"
#305 by RalfJung was closed Aug 26, 2017
3
Add unit tests for RangeMap
#290 by RalfJung was closed Aug 10, 2017
1
@RalfJung
1
unreadable_literal triggers for valid scientific notation
#363 by killercup was closed Feb 26, 2018
2
use RUSTC_WRAPPER instead of overriding RUSTC
#569 by nivkner was closed Dec 12, 2018
1
cargo miri test does not run doc-tests A-cargo Area: affects the cargo wrapper (cargo miri) C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#584 by RalfJung was closed Apr 6, 2021
2
35
Better error messages when comparing fn ptrs
#577 by RalfJung was closed Jan 8, 2019
1
1
Add foreign functions for reconfiguring miri at evaluation time A-shims Area: This affects the external function shims C-proposal Category: a proposal for something we might want to do, or maybe not; details still being worked out
#579 by oli-obk was closed Aug 9, 2019
3
What does get_bytes_mut do to partial relocations?
#436 by RalfJung was closed Sep 16, 2018
2
mplace_field should use ptr_offset_inbounds
#437 by RalfJung was closed Sep 16, 2018
1
Revisit NOP cases for intrinsics
#433 by RalfJung was closed Sep 17, 2018
3
No more unsized places C-proposal Category: a proposal for something we might want to do, or maybe not; details still being worked out
#435 by RalfJung was closed Sep 16, 2018
4
Fix memory leaks
#439 by RalfJung was closed Aug 30, 2018
2
Fix calling a FnOnce as fn
#441 by RalfJung was closed Sep 16, 2018
1
Make miri easier to install A-ux Area: This affects the general user experience C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#520 by RalfJung was closed Mar 25, 2019
@oli-obk
34
Better stack traces A-ux Area: This affects the general user experience C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#521 by RalfJung was closed Apr 2, 2020
1
1
Implement stdout for Windows C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#534 by RalfJung was closed Dec 19, 2018
1
cargo miri: be more like a proper CLI app A-cargo Area: affects the cargo wrapper (cargo miri) A-ux Area: This affects the general user experience C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#546 by RalfJung was closed Aug 20, 2020
1
Pointer comparison of live non-heap allocations is suspicious
#552 by oli-obk was closed Nov 27, 2018
2
Building a REPL on top of miri A-ux Area: This affects the general user experience C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#511 by oli-obk was closed Nov 13, 2020
21
Find a way to bypass the libtest harness, and use test arguments for our own filtering
#489 by RalfJung was closed Nov 9, 2018
Do we need even more agressive validation? A-validation Area: This affects enforcing the validity invariant, and related UB checking C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#508 by RalfJung was closed Aug 2, 2019
5
Debugging help
#496 by hermanventer was closed Oct 29, 2018
4
cargo miri doesn't work very well
#486 by RalfJung was closed Nov 14, 2018
4
Bad interaction of RUSTFLAGS and cargo miri A-cargo Area: affects the cargo wrapper (cargo miri) C-bug Category: This is a bug.
#567 by RalfJung was closed May 8, 2019
1
miri can't access foreign statics C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#591 by gnzlbg was closed Feb 23, 2019
12
ProTip! Exclude everything labeled bug with -label:bug.