Code

Miri subtree update#124007

Code

Merged

bors merged 15 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:miriRalfJung/rust:miriCopy head branch name to clipboardApr 16, 2024

+347-145

Commits

Commits on Apr 8, 2024

• set --sysroot outside the driver rather than messing with the arguments passed to the driver

  RalfJung

  committed
  5519445

  Copy full SHA for 5519445

• readme updates

  RalfJung

  committed
  9ec38ea

  Copy full SHA for 9ec38ea

Commits on Apr 15, 2024

• Windows: add basic support for FormatMessageW

  RalfJung

  committed
  fb779ee

  Copy full SHA for fb779ee

• Auto merge of rust-lang#3464 - RalfJung:windows-err, r=RalfJung

  Show description for 65978ed
  bors

  committed
  65978ed

  Copy full SHA for 65978ed

• fix error display for './miri run --dep'

  RalfJung

  committed
  3868c9f

  Copy full SHA for 3868c9f

• Auto merge of rust-lang#3465 - RalfJung:run-dep-error-format, r=RalfJung

  Show description for 34ab668
  bors

  committed
  34ab668

  Copy full SHA for 34ab668

• add some basic support for GetFullPathNameW

  RalfJung

  committed
  e928fc5

  Copy full SHA for e928fc5

• Auto merge of rust-lang#3411 - RalfJung:sysroot, r=RalfJung

  Show description for 69e8e2d
  bors

  committed
  69e8e2d

  Copy full SHA for 69e8e2d

• Auto merge of rust-lang#3466 - RalfJung:GetFullPathNameW, r=RalfJung

  Show description for 0dee2b1
  bors

  committed
  0dee2b1

  Copy full SHA for 0dee2b1

• Make split_simd_to_128bit_chunks take only one operand

  Show description for 54f90bc
  eduardosm

  committed
  54f90bc

  Copy full SHA for 54f90bc

• Bump rustc-build-sysroot to 0.4.6

  RossSmyth

  committed
  ca2bd01

  Copy full SHA for ca2bd01

• Auto merge of rust-lang#3462 - eduardosm:chunk-128, r=RalfJung

  Show description for 0abd67f
  bors

  committed
  0abd67f

  Copy full SHA for 0abd67f

• Auto merge of rust-lang#3467 - RossSmyth:bumpSysroot, r=RalfJung

  Show description for 78ea5db
  bors

  committed
  78ea5db

  Copy full SHA for 78ea5db

Commits on Apr 16, 2024

• update lockfile

  RalfJung

  committed
  2f08c2c

  Copy full SHA for 2f08c2c

• avoid passing --sysroot twice in bootstrap

  RalfJung

  committed
  876ac7b

  Copy full SHA for 876ac7b