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
10 Open 61 Closed
10 Open 61 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

Support argfiles in all our argument munching A-cargo Area: affects the cargo wrapper (cargo miri) C-bug Category: This is a bug.
#3412 opened Mar 25, 2024 by RalfJung
1 of 2 tasks
1
Miri builds fail nondeterministically A-cargo Area: affects the cargo wrapper (cargo miri) C-bug Category: This is a bug.
#3125 opened Oct 16, 2023 by joshlf
23
--message-format short triggers internal cargo-miri panic A-cargo Area: affects the cargo wrapper (cargo miri) C-bug Category: This is a bug.
#3043 opened Aug 29, 2023 by kadiwa4
4
per-toolchain cache of std 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-good-first-issue A good way to start contributing, mentoring is available
#2733 opened Dec 20, 2022 by matthiaskrgr
5
Running cargo miri setup fails when build-std is set globally A-cargo Area: affects the cargo wrapper (cargo miri) C-bug Category: This is a bug.
#2705 opened Nov 30, 2022 by ProfElements
26
cargo-miri generates empty .d file, gets confused about multiple crates of the same name when using shared target dir A-cargo Area: affects the cargo wrapper (cargo miri) C-bug Category: This is a bug.
#2540 opened Sep 12, 2022 by Nemo157
7
Set MIRIFLAGS from .cargo/config.toml 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-good-first-issue A good way to start contributing, mentoring is available
#2347 opened Jul 8, 2022 by dtolnay
2
6
'cargo miri --color=always' does not work A-cargo Area: affects the cargo wrapper (cargo miri) C-bug Category: This is a bug.
#2284 opened Jun 29, 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
2
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-good-first-issue A good way to start contributing, mentoring is available
#2051 opened Apr 6, 2022 by RalfJung
21
ProTip! Follow long discussions with comments:>50.