Code

Miri subtree update#140436

Code

Merged

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

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

Apr 29, 2025

Commits

Commits on Apr 11, 2025

• Implement DeleteFileW

  CraftSpider

  committed
  37a34c0

  Copy full SHA for 37a34c0

Commits on Apr 14, 2025

• Expose Pointer to/from AllocId conversion functions, make some arguments optional

  Patrick-6

  committed
  9f1e27b

  Copy full SHA for 9f1e27b

• Merge pull request #4269 from Patrick-6/ptr_allocid_conversion

  Show description for 971c7b1
  RalfJung

  authored
  971c7b1

  Copy full SHA for 971c7b1

Commits on Apr 15, 2025

• Merge pull request #4260 from CraftSpider/windows-file-delete

  Show description for f3d913d
  oli-obk

  authored
  f3d913d

  Copy full SHA for f3d913d

Commits on Apr 16, 2025

• use std-declared intrinsics rather than copying the declaration

  RalfJung

  committed
  6db8e86

  Copy full SHA for 6db8e86

• Merge pull request #4274 from RalfJung/import-intrinsics

  Show description for a19a024
  RalfJung

  authored
  a19a024

  Copy full SHA for a19a024

• replaced check_shim with check_shim_abi for env, file, sockets and time related shims

  Show description for f3ae022
  geetanshjuneja

  committed
  f3ae022

  Copy full SHA for f3ae022

Commits on Apr 17, 2025

• Merge pull request #4263 from geetanshjuneja/check_shim_abi

  Show description for 400214b
  RalfJung

  authored
  400214b

  Copy full SHA for 400214b

• ci.yml: always create sync PR when there's any difference

  RalfJung

  committed
  9cd4757

  Copy full SHA for 9cd4757

• for testing, run the CI job an extra time today

  RalfJung

  committed
  8c9a9a7

  Copy full SHA for 8c9a9a7

• Merge pull request #4276 from RalfJung/auto-sync

  Show description for 2a94b1c
  RalfJung

  authored
  2a94b1c

  Copy full SHA for 2a94b1c

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  edb3aaf

  Copy full SHA for edb3aaf

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  2602dd9

  Copy full SHA for 2602dd9

• remove test trigger fron cron job

  RalfJung

  committed
  e3b01c7

  Copy full SHA for e3b01c7

• Merge pull request #4277 from rust-lang/rustup-2025-04-17

  Show description for 817e725
  RalfJung

  authored
  817e725

  Copy full SHA for 817e725

• Merge pull request #4278 from RalfJung/cron-test-done

  Show description for 765d4b2
  RalfJung

  authored
  765d4b2

  Copy full SHA for 765d4b2

Commits on Apr 18, 2025

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  378886f

  Copy full SHA for 378886f

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  dc21c77

  Copy full SHA for dc21c77

• Merge pull request #4279 from rust-lang/rustup-2025-04-18

  Show description for 46994aa
  RalfJung

  authored
  46994aa

  Copy full SHA for 46994aa

Commits on Apr 19, 2025

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  4b995e7

  Copy full SHA for 4b995e7

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  9726e6b

  Copy full SHA for 9726e6b

• Merge pull request #4280 from rust-lang/rustup-2025-04-19

  Show description for dc58d1e
  saethlin

  authored
  dc58d1e

  Copy full SHA for dc58d1e

Commits on Apr 20, 2025

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  32fe60b

  Copy full SHA for 32fe60b

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  669d511

  Copy full SHA for 669d511

• Merge pull request #4281 from rust-lang/rustup-2025-04-20

  Show description for 94a9e44
  RalfJung

  authored
  94a9e44

  Copy full SHA for 94a9e44

Commits on Apr 22, 2025

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  9d16f66

  Copy full SHA for 9d16f66

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  daa250f

  Copy full SHA for daa250f

• Merge pull request #4284 from rust-lang/rustup-2025-04-22

  Show description for f456b40
  oli-obk

  authored
  f456b40

  Copy full SHA for f456b40

• TB: add missing interior_mutability test file

  RalfJung

  committed
  ae3adae

  Copy full SHA for ae3adae

• Merge pull request #4285 from RalfJung/tb-tests

  Show description for 5d6c6e0
  RalfJung

  authored
  5d6c6e0

  Copy full SHA for 5d6c6e0

Commits on Apr 23, 2025

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  39ddb42

  Copy full SHA for 39ddb42

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  f356f2f

  Copy full SHA for f356f2f

• Merge pull request #4288 from rust-lang/rustup-2025-04-23

  Show description for 288931b
  RalfJung

  authored
  288931b

  Copy full SHA for 288931b

Commits on Apr 24, 2025

• Preparing for merge from rustc

  RalfJung

  committed
  9b491c0

  Copy full SHA for 9b491c0

• Merge from rustc

  RalfJung

  committed
  6496974

  Copy full SHA for 6496974

• CI: print message when skipping PR

  RalfJung

  committed
  f1b6b85

  Copy full SHA for f1b6b85

• clippy

  RalfJung

  committed
  f2bbc1b

  Copy full SHA for f2bbc1b

• Merge pull request #4290 from RalfJung/rustup

  Show description for 0ee8f32
  RalfJung

  authored
  0ee8f32

  Copy full SHA for 0ee8f32

Commits on Apr 25, 2025

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  3704955

  Copy full SHA for 3704955

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  65e7684

  Copy full SHA for 65e7684

• avoid an unnecessary transmute

  RalfJung

  committed
  673c879

  Copy full SHA for 673c879

• Merge pull request #4292 from rust-lang/rustup-2025-04-25

  Show description for ea9037e
  RalfJung

  authored
  ea9037e

  Copy full SHA for ea9037e

Commits on Apr 26, 2025

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  5980c8c

  Copy full SHA for 5980c8c

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  6c2fa0b

  Copy full SHA for 6c2fa0b

Commits on Apr 27, 2025

• Merge pull request #4294 from rust-lang/rustup-2025-04-26

  Show description for 55872a1
  RalfJung

  authored
  55872a1

  Copy full SHA for 55872a1

• `unsafe(no_mangle)` in `miri_start` examples

  primoly

  committed
  15c4e40

  Copy full SHA for 15c4e40

• Merge pull request #4293 from primoly/unsafe-attributes

  Show description for fe89e79
  saethlin

  authored
  fe89e79

  Copy full SHA for fe89e79

Commits on Apr 29, 2025

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  7953c9d

  Copy full SHA for 7953c9d

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  55e2c01

  Copy full SHA for 55e2c01

• fmt

  

  The Miri Cronjob Bot

  committed
  c2973c9

  Copy full SHA for c2973c9

• suppress dangerous_implicit_autorefs in TB test

  RalfJung

  committed
  0917a07

  Copy full SHA for 0917a07

• Merge pull request #4301 from rust-lang/rustup-2025-04-29

  Show description for 929117e
  RalfJung

  authored
  929117e

  Copy full SHA for 929117e