Skip to content

Pull requests: rust-lang/miri

New pull request New
18 Open 3,819 Closed
18 Open 3,819 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

test that even ZST references prevent deallocation via child pointers S-waiting-on-review Status: Waiting for a review to complete
#5088 opened Jun 3, 2026 by RalfJung Member Loading…
2
[Priroda] Add breakpoint, continue and quit command and enhance CLI with command handling and execution policies S-waiting-on-author Status: Waiting for the PR author to address review comments
#5086 opened Jun 2, 2026 by moabo3li Contributor Loading…
@oli-obk
18
fix: track flock state to handle windows-incompatible ops S-waiting-on-author Status: Waiting for the PR author to address review comments
#5078 opened May 31, 2026 by acegikmoo Contributor Loading…
1
6
allow using shims for aarch64_be S-waiting-on-author Status: Waiting for the PR author to address review comments
#5075 opened May 28, 2026 by folkertdev Contributor Loading…
6
aarch64: implement SHA256 intrinsic shims S-waiting-on-review Status: Waiting for a review to complete
#5064 opened May 26, 2026 by jrakibi Loading…
9
Minimal support for mmap protections, mprotect, madvise S-waiting-on-review Status: Waiting for a review to complete
#5063 opened May 25, 2026 by foonathan Loading…
28
feat: add required syscalls for remove_dir_all S-waiting-on-author Status: Waiting for the PR author to address review comments
#5057 opened May 21, 2026 by acegikmoo Contributor Loading…
8
Optionally pass --config down to cargo when building the sysroot S-waiting-on-author Status: Waiting for the PR author to address review comments
#5051 opened May 19, 2026 by erickt Loading…
8
Add Linux copy_file_range shim S-waiting-on-author Status: Waiting for the PR author to address review comments
#5041 opened May 15, 2026 by eval-exec Loading…
21
Miri-GenMC API refactor S-waiting-on-author Status: Waiting for the PR author to address review comments
#4959 opened Apr 13, 2026 by michaliskok Contributor Loading…
@RalfJung
16
Fix deallocation span for locals freed by become tail calls S-waiting-on-author Status: Waiting for the PR author to address review comments
#4943 opened Apr 6, 2026 by LaneAsade Member Loading…
1
3
fix ICE when no mangle generic S-waiting-on-author Status: Waiting for the PR author to address review comments
#4929 opened Mar 29, 2026 by HerrCai0907 Loading…
1
8
Make protector end accesses weak memory/data race aware S-waiting-on-author Status: Waiting for the PR author to address review comments
#4897 opened Mar 12, 2026 by JoJoDeveloping Contributor • Draft
1
3
call unblock callbacks only when the thread is scheduled again S-waiting-on-author Status: Waiting for the PR author to address review comments
#4828 opened Jan 23, 2026 by joboet Member Loading…
8
native-lib/trace: Intercept allocating calls, but do nothing S-waiting-on-author Status: Waiting for the PR author to address review comments
#4792 opened Dec 27, 2025 by nia-e Member Loading…
25
./miri toolchain: also install rust-analyzer S-waiting-on-author Status: Waiting for the PR author to address review comments
#4700 opened Nov 17, 2025 by RalfJung Member Loading…
7
native-lib/trace: Intercept mmap and munmap S-waiting-on-author Status: Waiting for the PR author to address review comments
#4622 opened Oct 11, 2025 by nia-e Member • Draft
@oli-obk
6
Include the name of the created tag in TB's Reborrow events S-waiting-on-author Status: Waiting for the PR author to address review comments
#4387 opened Jun 8, 2025 by saethlin Member Loading…
1
8
ProTip! Mix and match filters to narrow down what you’re looking for.