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
8 Open 29 Closed
8 Open 29 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

Run pass tests against real rustc as well A-tests Area: affects our test suite or CI C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#3810 opened Aug 16, 2024 by RalfJung
1
1
test_dependencies build cache needs to be manually cleared A-tests Area: affects our test suite or CI C-bug Category: This is a bug.
#3468 opened Apr 15, 2024 by tiif
@oli-obk
5
ui tests have strange names on Windows hosts A-dev Area: working on Miri as a developer A-tests Area: affects our test suite or CI C-bug Category: This is a bug.
#2724 opened Dec 11, 2022 by RalfJung
@oli-obk
6
ui_test: provide a way to match against labels A-tests Area: affects our test suite or CI C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
#2483 opened Aug 13, 2022 by RalfJung
3
ui test: add incremental path forward to supporting more tests on new platforms A-tests Area: affects our test suite or CI C-proposal Category: a proposal for something we might want to do, or maybe not; details still being worked out
#2324 opened Jul 4, 2022 by oli-obk
3
Reintroduce non-pow(2, N) SIMD vectors A-tests Area: affects our test suite or CI C-bug Category: This is a bug.
#1704 opened Feb 8, 2021 by workingjubilee
dogfooding miri A-tests Area: affects our test suite or CI C-proposal Category: a proposal for something we might want to do, or maybe not; details still being worked out
#282 opened Aug 3, 2017 by oli-obk
6
Coverage A-tests Area: affects our test suite or CI C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement E-good-second-issue A good issue to pick up if you've already seen some parts of Miri, mentoring is available
#240 opened Jul 12, 2017 by oli-obk
7
ProTip! Follow long discussions with comments:>50.