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 750 Closed
0 Open 750 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

ReadPointerAsBytes error in ::std::str::from_utf8() C-bug Category: This is a bug.
#190 by dwrensha was closed Sep 4, 2017 updated Sep 4, 2017
1
13
Lifetimes are unsuited as write lock identifiers
#296 by RalfJung was closed Sep 13, 2017 updated Sep 13, 2017
1
Add ctfe mode
#217 by oli-obk was closed Sep 15, 2017 updated Sep 15, 2017
1
9
Add Appveyor
#345 by oli-obk was closed Sep 17, 2017 updated Sep 17, 2017
@solson
5
Say this was merged into rustc
#362 by tmandry was closed Jan 29, 2018 updated Jan 29, 2018
2
unreadable_literal triggers for valid scientific notation
#363 by killercup was closed Feb 26, 2018 updated Feb 26, 2018
2
upstream to rustc
#105 by oli-obk was closed Mar 20, 2018 updated Mar 20, 2018
12
cargo build fails
#356 by mikeyhew was closed Jul 11, 2018 updated Jul 11, 2018
9
miri builds binaries
#357 by RalfJung was closed Jul 11, 2018 updated Jul 11, 2018
1
3
Error message details missing when showing stack trace
#396 by RalfJung was closed Jul 15, 2018 updated Jul 15, 2018
crates.io
#412 by oli-obk was closed Jul 24, 2018 updated Jul 25, 2018
7
Compile without serde
#293 by RalfJung was closed Aug 9, 2017 updated Aug 2, 2018
1
4
Unify field access
#321 by RalfJung was closed Aug 13, 2018 updated Aug 13, 2018
1
Find a way to get the normalized unerased type of a local
#298 by RalfJung was closed Aug 13, 2018 updated Aug 13, 2018
14
cargo run requires --bin
#166 by stevedonovan was closed Aug 13, 2018 updated Aug 13, 2018
6
block merging on passing CI
#279 by oli-obk was closed Aug 13, 2018 updated Aug 13, 2018
18
Validation and inlining don't work together
#331 by oli-obk was closed Aug 13, 2018 updated Aug 13, 2018
5
get cargo miri to work with a full mir libstd C-bug Category: This is a bug.
#338 by oli-obk was closed Aug 13, 2018 updated Aug 13, 2018
4
Cannot run with libstd MIR on macOS due to stack guards
#252 by skade was closed Aug 13, 2018 updated Aug 13, 2018
5
Enable hex printer in cargo-miri-test
#416 by RalfJung was closed Aug 13, 2018 updated Aug 13, 2018
3
Test against master, not nightly -- or pin nightly
#426 by RalfJung was closed Aug 14, 2018 updated Aug 14, 2018
7
Fix cargo miri test
#414 by RalfJung was closed Aug 14, 2018 updated Aug 14, 2018
Packed struct access alignment failure C-bug Category: This is a bug.
#250 by RalfJung was closed Aug 14, 2018 updated Aug 14, 2018
3
Accesses to fields with packed type fail alignment check
#352 by RalfJung was closed Aug 15, 2018 updated Aug 15, 2018
1
1
drop field of vtable cannot ever be null
#405 by oli-obk was closed Aug 16, 2018 updated Aug 16, 2018
5
ProTip! Follow long discussions with comments:>50.