Code

Miri subtree update#123891

Code

Merged

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

+99-166

Commits

Commits on Apr 6, 2024

• MIRI_REPLACE_LIBRS_IF_NOT_TEST: also apply to crates.io crates

  RalfJung

  committed
  852f472

Commits on Apr 10, 2024

• Auto merge of rust-lang#3457 - RalfJung:replace-librs, r=RalfJung

  Show description for 788a1db
  bors

  committed
  788a1db

Commits on Apr 12, 2024

• De-duplicate SSE2 sll/srl/sra code

  eduardosm

  committed
  474a047

Commits on Apr 13, 2024

• Auto merge of rust-lang#3429 - eduardosm:shift, r=RalfJung

  Show description for c3136b2
  bors

  committed
  c3136b2