Skip to content

Pull requests: rust-lang/miri

New pull request New
19 Open 3,732 Closed
19 Open 3,732 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

tree borrows (implicit writes): add support for #[rustc_no_writable] S-waiting-on-review Status: Waiting for a review to complete
#4988 opened Apr 29, 2026 by quiode Contributor Loading…
@RalfJung
4
Add network socket shutdown shim S-waiting-on-review Status: Waiting for a review to complete
#4987 opened Apr 29, 2026 by WhySoBad Contributor Loading…
2
Add getsockname shim for connecting and connected sockets S-waiting-on-review Status: Waiting for a review to complete
#4985 opened Apr 29, 2026 by WhySoBad Contributor Loading…
1
Add getaddrinfo and freeaddrinfo shims S-waiting-on-review Status: Waiting for a review to complete
#4984 opened Apr 28, 2026 by WhySoBad Contributor Loading…
14
[ci] Update GitHub Actions to last major release S-waiting-on-review Status: Waiting for a review to complete
#4981 opened Apr 26, 2026 by gruenich Loading…
6
Add epoll integration for network sockets S-waiting-on-review Status: Waiting for a review to complete
#4973 opened Apr 20, 2026 by WhySoBad Contributor Loading…
11
Support running no_core Linux programs S-waiting-on-author Status: Waiting for the PR author to address review comments
#4964 opened Apr 15, 2026 by saethlin Member • Draft
1
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
feat: tid support to sched_getaffinity/sched_setaffinity S-waiting-on-review Status: Waiting for a review to complete
#4944 opened Apr 6, 2026 by hsqStephenZhang Contributor Loading…
1
1
Fix deallocation span for locals freed by become tail calls S-waiting-on-review Status: Waiting for a review to complete
#4943 opened Apr 6, 2026 by LaneAsade Loading…
1
1
[debugger] Add native ratatui TUI debugger PoC for GSOC 2026 S-waiting-on-review Status: Waiting for a review to complete
#4931 opened Mar 31, 2026 by alaotach Loading…
@oli-obk
4
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
(more) precisely track memory accesses and allocations across FFI S-waiting-on-author Status: Waiting for the PR author to address review comments
#4326 opened May 17, 2025 by nia-e Member Loading…
8 of 10 tasks
19
ProTip! Filter pull requests by the default branch with base:master.