Code

Miri subtree update#141383

Code

Merged

bors merged 33 commits intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:miri-syncRalfJung/rust:miri-syncCopy head branch name to clipboard

May 23, 2025

Commits

Commits on May 18, 2025

• Add more comment to libc-fs-with-isolation test

  tiif

  committed
  f9a75a0

  Copy full SHA for f9a75a0

• Merge pull request #4322 from tiif/move_test

  Show description for 3c50b9b
  RalfJung

  authored
  3c50b9b

  Copy full SHA for 3c50b9b

• bump rustc-build-sysroot

  RalfJung

  committed
  eb11adc

  Copy full SHA for eb11adc

• Merge pull request #4330 from RalfJung/build-sysroot-bump

  Show description for a4eb91f
  RalfJung

  authored
  a4eb91f

  Copy full SHA for a4eb91f

Commits on May 19, 2025

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  b2a8690

  Copy full SHA for b2a8690

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  1bb2d73

  Copy full SHA for 1bb2d73

• Merge pull request #4331 from rust-lang/rustup-2025-05-19

  Show description for d5240cc
  RalfJung

  authored
  d5240cc

  Copy full SHA for d5240cc

• enable clippy::as_conversions to fully rule out as-casts

  RalfJung

  committed
  0ba2a3a

  Copy full SHA for 0ba2a3a

• add to_u64() helper method and use it where appropriate

  RalfJung

  committed
  446fa22

  Copy full SHA for 446fa22

• Merge pull request #4329 from RalfJung/no-casts

  Show description for 44d3c93
  RalfJung

  authored
  44d3c93

  Copy full SHA for 44d3c93

• run tests on mips-unknown-linux-gnu

  RalfJung

  committed
  aa4d16a

  Copy full SHA for aa4d16a

• Merge pull request #4333 from RalfJung/mips-tests

  Show description for 8d46118
  RalfJung

  authored
  8d46118

  Copy full SHA for 8d46118

• GetUserProfileDirectoryW: reference issue regarding implementation details we rely on

  RalfJung

  committed
  758b799

  Copy full SHA for 758b799

• Merge pull request #4334 from RalfJung/GetUserProfileDirectoryW-issue

  Show description for 26e9172
  RalfJung

  authored
  26e9172

  Copy full SHA for 26e9172

Commits on May 20, 2025

• Preparing for merge from rustc

  RalfJung

  committed
  969a25b

  Copy full SHA for 969a25b

• Merge from rustc

  RalfJung

  committed
  b13251e

  Copy full SHA for b13251e

• Merge pull request #4335 from RalfJung/rustup

  Show description for 49482ca
  RalfJung

  authored
  49482ca

  Copy full SHA for 49482ca

Commits on May 21, 2025

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  293b0ac

  Copy full SHA for 293b0ac

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  b5688fb

  Copy full SHA for b5688fb

• test direct usage of io::{stdout,stderr,stdin}

  RalfJung

  committed
  2f34354

  Copy full SHA for 2f34354

• Merge pull request #4336 from rust-lang/rustup-2025-05-21

  Show description for e12f911
  RalfJung

  authored
  e12f911

  Copy full SHA for e12f911

• Merge pull request #4337 from RalfJung/io

  Show description for fe51193
  RalfJung

  authored
  fe51193

  Copy full SHA for fe51193

• FileDescription: improve read/write docs

  RalfJung

  committed
  0523554

  Copy full SHA for 0523554

• Merge pull request #4338 from RalfJung/FileDescription

  Show description for febe988
  RalfJung

  authored
  febe988

  Copy full SHA for febe988

• Implement FreeBSD syscall cpuset_getaffinity.

  LorrensP-2158466

  committed
  5dfcb12

  Copy full SHA for 5dfcb12

• Merge pull request #4287 from LorrensP-2158466/freebsd-num-cpus

  Show description for e065e27
  RalfJung

  authored
  e065e27

  Copy full SHA for e065e27

• run the full test suite under FreeBSD

  RalfJung

  committed
  5955969

  Copy full SHA for 5955969

• document that the entire test suite passes under freebsd

  RalfJung

  committed
  4a18888

  Copy full SHA for 4a18888

• Merge pull request #4341 from RalfJung/freebsd

  Show description for 268a369
  RalfJung

  authored
  268a369

  Copy full SHA for 268a369

Commits on May 22, 2025

• Implement file read/write on Windows

  

  CraftSpider

  authored and

  RalfJung

  committed
  1e79637

  Copy full SHA for 1e79637

• enable isolated-stdin test on Windows

  RalfJung

  committed
  9e1f3a5

  Copy full SHA for 9e1f3a5

• Merge pull request #4275 from CraftSpider/windows-file-rw

  Show description for 2eb935d
  RalfJung

  authored
  2eb935d

  Copy full SHA for 2eb935d

• update lockfile

  RalfJung

  committed
  3f0c39d

  Copy full SHA for 3f0c39d