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

There's no mir in My Mir
#4 by Evil-Bot-Craython was closed Apr 14, 2016 updated Apr 14, 2016
2
slice indexing broken
#8 by oli-obk was closed May 9, 2016 updated May 9, 2016
2
Function pointers need to be checked against their original types C-bug Category: This is a bug.
#22 by solson was closed Jun 15, 2016 updated Jun 15, 2016
1
3
debugging/stepping C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#14 by oli-obk was closed Jun 17, 2016 updated Jun 17, 2016
6
Implement the char primitive type. C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#30 by solson was closed Jun 21, 2016 updated Jun 21, 2016
3 tasks done
1
optimize zst to not require an actual allocation
#19 by oli-obk was closed Jul 1, 2016 updated Jul 1, 2016
1
7
Support floating point types f32 and f64 C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#35 by gnzlbg was closed Jul 7, 2016 updated Jul 7, 2016
1
1
Add configurable resource limits C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#37 by solson was closed Jul 7, 2016 updated Jul 7, 2016
1
1
Memory should use the target data layout information from rustc C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#29 by solson was closed Jul 25, 2016 updated Jul 25, 2016
3 tasks done
Use rustc's compiler error macros.
#32 by solson was closed Sep 7, 2016 updated Sep 7, 2016 Upstream to rustc
1
Forbid modification of constant memory and vtables C-bug Category: This is a bug.
#51 by oli-obk was closed Sep 11, 2016 updated Sep 11, 2016
1
Implement the rest of the possible casts C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#26 by solson was closed Sep 11, 2016 updated Sep 11, 2016
4 tasks done
Upstream to rustc
Implement trait object vtables. C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#45 by eddyb was closed Sep 11, 2016 updated Sep 11, 2016 Upstream to rustc
Eval error with Rc C-bug Category: This is a bug.
#62 by bjorn3 was closed Sep 27, 2016 updated Sep 27, 2016
1
5
Match on char panics C-bug Category: This is a bug.
#63 by bjorn3 was closed Sep 27, 2016 updated Sep 27, 2016
Update miri for the latest nightly
#71 by solson was closed Nov 1, 2016 updated Nov 1, 2016
Box is deallocated before drop impl is run C-bug Category: This is a bug.
#79 by plietar was closed Nov 6, 2016 updated Nov 6, 2016
3
reading invalid discriminant in derived PartialOrd impl C-bug Category: This is a bug.
#78 by oli-obk was closed Nov 6, 2016 updated Nov 6, 2016
1
handle small optimized Option values C-bug Category: This is a bug.
#76 by oli-obk was closed Nov 17, 2016 updated Nov 17, 2016
triggering assume in a small example that rustc compiles fine C-bug Category: This is a bug.
#77 by oli-obk was closed Nov 17, 2016 updated Nov 17, 2016
1
only the outer most value is frozen in constants C-bug Category: This is a bug.
#83 by oli-obk was closed Nov 19, 2016 updated Nov 19, 2016
1
large repeat expressions don't adhere to the execution limit C-bug Category: This is a bug.
#82 by oli-obk was closed Nov 19, 2016 updated Nov 19, 2016
1
check all uses of usize and isize in miri
#61 by oli-obk was closed Nov 19, 2016 updated Nov 19, 2016 Upstream to rustc
1
moving of uninitialized memory C-bug Category: This is a bug.
#95 by oli-obk was closed Dec 19, 2016 updated Dec 22, 2016
2
Add tests for untagged unions
#92 by solson was closed Jan 12, 2017 updated Jan 12, 2017
1
ProTip! no:milestone will show everything without a milestone.