Search results

Implement building GenMC C++ code

S-waiting-on-authorStatus: Waiting for the PR author to address review commentsStatus: Waiting for the PR author to address review comments

Status: Open (in progress).

rust-lang/mirinumber 4453

#4453 In rust-lang/miri;

· Patrick-6 opened on Jul 7, 2025

Support weak definitions

S-waiting-on-authorStatus: Waiting for the PR author to address review commentsStatus: Waiting for the PR author to address review comments

Status: Open (in progress).

rust-lang/mirinumber 4414

#4414 In rust-lang/miri;

· bjorn3 opened on Jun 26, 2025

Include the name of the created tag in TB's Reborrow events

S-waiting-on-authorStatus: Waiting for the PR author to address review commentsStatus: Waiting for the PR author to address review comments

Status: Open (in progress).

rust-lang/mirinumber 4387

#4387 In rust-lang/miri;

· saethlin opened on Jun 8, 2025

Add shim test for <code>DuplicateHandle</code>

S-waiting-on-authorStatus: Waiting for the PR author to address review commentsStatus: Waiting for the PR author to address review comments

Status: Open (in progress).

rust-lang/mirinumber 4371

#4371 In rust-lang/miri;

· CraftSpider opened on Jun 2, 2025

implement shim_sig macro

S-waiting-on-authorStatus: Waiting for the PR author to address review commentsStatus: Waiting for the PR author to address review comments

Status: Open (in progress).

rust-lang/mirinumber 4342

#4342 In rust-lang/miri;

· geetanshjuneja opened on May 22, 2025

(more) precisely track memory accesses and allocations across FFI

S-waiting-on-authorStatus: Waiting for the PR author to address review commentsStatus: Waiting for the PR author to address review comments

Status: Open (in progress).

rust-lang/mirinumber 4326

#4326 In rust-lang/miri;

· nia-e opened on May 17, 2025

Implement <code>chmod</code> and <code>fchmod</code> for Unix targets

S-waiting-on-authorStatus: Waiting for the PR author to address review commentsStatus: Waiting for the PR author to address review comments

Status: Open (in progress).

rust-lang/mirinumber 4214

#4214 In rust-lang/miri;

· el-ev opened on Feb 26, 2025

Add support for tid argument in sched_(get/set)affinity

S-waiting-on-authorStatus: Waiting for the PR author to address review commentsStatus: Waiting for the PR author to address review comments

Status: Open (in progress).

rust-lang/mirinumber 4130

#4130 In rust-lang/miri;

· sleiderr opened on Jan 9, 2025

Allow backtraces to cross thread boundaries

S-waiting-on-authorStatus: Waiting for the PR author to address review commentsStatus: Waiting for the PR author to address review comments

Status: Open (in progress).

rust-lang/mirinumber 4093

#4093 In rust-lang/miri;

· actuallyatoaster opened on Dec 13, 2024

Add GC heuristic

S-waiting-on-authorStatus: Waiting for the PR author to address review commentsStatus: Waiting for the PR author to address review comments

Status: Draft (not ready).

rust-lang/mirinumber 3997

#3997 In rust-lang/miri;

· JoJoDeveloping opened on Oct 27, 2024

Run all pass-dep tests natively, too

S-waiting-on-authorStatus: Waiting for the PR author to address review commentsStatus: Waiting for the PR author to address review comments

Status: Open (in progress).

rust-lang/mirinumber 3948

#3948 In rust-lang/miri;

· oli-obk opened on Oct 7, 2024