Code

Miri subtree update#123041

Code

Merged

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

+141-27

Commits

Commits on Mar 23, 2024

• when a test fails, repeat the target after the failure report

  RalfJung

  committed
  3d6fcea

  Copy full SHA for 3d6fcea

• disable RUST_BACKTRACE in CI, set it inside the test harness instead

  RalfJung

  committed
  bb4ef1a

  Copy full SHA for bb4ef1a

• Auto merge of rust-lang#3399 - RalfJung:ci, r=RalfJung

  Show description for 8e978c3
  bors

  committed
  8e978c3

  Copy full SHA for 8e978c3

Commits on Mar 24, 2024

• Preparing for merge from rustc

  RalfJung

  committed
  2e464c2

  Copy full SHA for 2e464c2

• Merge from rustc

  RalfJung

  committed
  070e8ce

  Copy full SHA for 070e8ce

• miri script: build with stable toolchain

  RalfJung

  committed
  1dd13ca

  Copy full SHA for 1dd13ca

• Auto merge of rust-lang#3403 - RalfJung:rustup, r=RalfJung

  Show description for c7b86fc
  bors

  committed
  c7b86fc

  Copy full SHA for c7b86fc

• CI tweaks and show which stable Rust we are using

  RalfJung

  committed
  04b523f

  Copy full SHA for 04b523f

• many-seeds: propagate failure properly

  RalfJung

  committed
  fdb5613

  Copy full SHA for fdb5613

• miri-script/toolchain: make new_commit logic easier to follow

  RalfJung

  committed
  acf3f52

  Copy full SHA for acf3f52

• Add libc test for rename and ftruncate

  tiif

  committed
  04a69e4

  Copy full SHA for 04a69e4

• Auto merge of rust-lang#3398 - tiif:add_libc_fs_test, r=RalfJung

  Show description for 624af51
  bors

  committed
  624af51

  Copy full SHA for 624af51

• try to fix many-seeds tests on Windows

  RalfJung

  committed
  805f6ee

  Copy full SHA for 805f6ee

• desperate hack: hard-code bash path on Windows

  RalfJung

  committed
  a12decc

  Copy full SHA for a12decc

• Auto merge of rust-lang#3406 - RalfJung:many-seeds, r=RalfJung

  Show description for f97f448
  bors

  committed
  f97f448

  Copy full SHA for f97f448

• Auto merge of rust-lang#3402 - RalfJung:miri-script, r=RalfJung

  Show description for dcddf24
  bors

  committed
  dcddf24

  Copy full SHA for dcddf24

Commits on Mar 25, 2024

• CONTRIBUTING: vsocde settings: add --all-targets

  RalfJung

  committed
  89a32d7

  Copy full SHA for 89a32d7

• Auto merge of rust-lang#3410 - RalfJung:all-targets, r=RalfJung

  Show description for cf172a8
  bors

  committed
  cf172a8

  Copy full SHA for cf172a8

• test-cargo-miri: test anyhow

  RalfJung

  committed
  8afc486

  Copy full SHA for 8afc486

• phase_rustdoc: add a heuristic to make us more certain that this is really rustdoc

  RalfJung

  committed
  98e1cbb

  Copy full SHA for 98e1cbb

• Auto merge of rust-lang#3413 - RalfJung:cargo-miri-misc, r=RalfJung

  Show description for c461170
  bors

  committed
  c461170

  Copy full SHA for c461170

• Preparing for merge from rustc

  RalfJung

  committed
  5b1319c

  Copy full SHA for 5b1319c

• Merge from rustc

  RalfJung

  committed
  d8be714

  Copy full SHA for d8be714

• support '--sysroot=' form of setting the sysroot as well

  RalfJung

  committed
  0d4ef69

  Copy full SHA for 0d4ef69

• Auto merge of rust-lang#3414 - RalfJung:rustup, r=RalfJung

  Show description for cf1eb93
  bors

  committed
  cf1eb93

  Copy full SHA for cf1eb93