Code

update Miri#111535

Code

Merged

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

RalfJung:miriRalfJung/rust:miriCopy head branch name to clipboard

May 13, 2023

Commits

Commits on May 11, 2023

• Add `./miri run-dep` for running a file with test dependencies available

  oli-obk

  committed
  641927f

  Copy full SHA for 641927f

• Stop ignoring the `--manifest-path`

  oli-obk

  committed
  49e4c8d

  Copy full SHA for 49e4c8d

• Remove a misleading part of a function name

  oli-obk

  committed
  9642e40

  Copy full SHA for 9642e40

Commits on May 12, 2023

• Pass arguments to the interpreted program via `run-dep`

  oli-obk

  committed
  756c243

  Copy full SHA for 756c243

• Auto merge of #2892 - RalfJung:rustup, r=RalfJung

  Show description for cd5f8b4
  bors

  committed
  cd5f8b4

  Copy full SHA for cd5f8b4

• Document arguments and interesting flags

  oli-obk

  committed
  2f18734

  Copy full SHA for 2f18734

• Auto merge of #2890 - oli-obk:ui_test, r=RalfJung

  Show description for 25c5451
  bors

  committed
  25c5451

  Copy full SHA for 25c5451

Commits on May 13, 2023

• Preparing for merge from rustc

  RalfJung

  committed
  b0a621e

  Copy full SHA for b0a621e

• Merge from rustc

  RalfJung

  committed
  7b1cb69

  Copy full SHA for 7b1cb69

• fmt and fix lint

  RalfJung

  committed
  7431970

  Copy full SHA for 7431970

• Auto merge of #2893 - RalfJung:rustup, r=RalfJung

  Show description for b22bc27
  bors

  committed
  b22bc27

  Copy full SHA for b22bc27

• implement SIMD ptr casts

  RalfJung

  committed
  10540a2

  Copy full SHA for 10540a2

• Auto merge of #2894 - RalfJung:simd-ptr, r=RalfJung

  Show description for 7750cd9
  bors

  committed
  7750cd9

  Copy full SHA for 7750cd9

• update lockfile

  RalfJung

  committed
  d8815ef

  Copy full SHA for d8815ef