Skip to content

Pull requests: rust-lang/miri

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

shims: improve Linux statx (reapply #4913) S-waiting-on-review Status: Waiting for a review to complete
#4983 opened Apr 26, 2026 by bourumir-wyngs Contributor Loading…
2
[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…
3
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
Implement _mm512_permutex2var_epi64 shim S-waiting-on-author Status: Waiting for the PR author to address review comments
#4963 opened Apr 14, 2026 by elichai Contributor Loading…
18
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
tree borrows: implicit writes S-waiting-on-review Status: Waiting for a review to complete
#4947 opened Apr 8, 2026 by quiode Contributor Loading…
@RalfJung
101
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
Add stat and lstat shims for all Unixes S-waiting-on-author Status: Waiting for the PR author to address review comments
#4934 opened Apr 1, 2026 by enricobolzonello Loading…
1
4
[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
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
2
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! Follow long discussions with comments:>50.