Code

update Miri#114735

Code

Merged

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

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

Aug 11, 2023

Commits

Commits on Aug 6, 2023

• rustc-pull: put a newline after the commit ID

  RalfJung

  committed
  4b612a5

  Copy full SHA for 4b612a5

• Auto merge of #3015 - RalfJung:miri-script, r=RalfJung

  Show description for 7ab10d2
  bors

  committed
  7ab10d2

  Copy full SHA for 7ab10d2

• fix typo: is_reserved

  RalfJung

  committed
  84edcb9

  Copy full SHA for 84edcb9

• Auto merge of #3016 - RalfJung:is_reserved, r=RalfJung

  Show description for 31e9f7a
  bors

  committed
  31e9f7a

  Copy full SHA for 31e9f7a

Commits on Aug 8, 2023

• [perf] Reserve capacity for argvs.

  Show description for fcceef1
  ttsugriy

  authored
  fcceef1

  Copy full SHA for fcceef1

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  4533adf

  Copy full SHA for 4533adf

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  9bd77a3

  Copy full SHA for 9bd77a3

• Auto merge of #3019 - ttsugriy:ttsugriy-patch-1-1, r=RalfJung

  Show description for 4b2ec29
  bors

  committed
  4b2ec29

  Copy full SHA for 4b2ec29

• Auto merge of #3020 - rust-lang:rustup-2023-08-08, r=RalfJung

  Show description for f21c657
  bors

  committed
  f21c657

  Copy full SHA for f21c657

Commits on Aug 9, 2023

• Use Vec's binary search instead of hand-written one.

  ttsugriy

  committed
  1e347e1

  Copy full SHA for 1e347e1

• expand comment

  RalfJung

  authored
  2c69b46

  Copy full SHA for 2c69b46

• Auto merge of #3021 - ttsugriy:bin-search, r=RalfJung

  Show description for 43c869d
  bors

  committed
  43c869d

  Copy full SHA for 43c869d

Commits on Aug 10, 2023

• replace AsAny hack by trait upcasting :)

  RalfJung

  committed
  c20c381

  Copy full SHA for c20c381

• Auto merge of #3022 - RalfJung:upcast, r=compiler-errors

  Show description for d4fbaa6
  bors

  committed
  d4fbaa6

  Copy full SHA for d4fbaa6

• Preparing for merge from rustc

  RalfJung

  committed
  a549de1

  Copy full SHA for a549de1

• Merge from rustc

  RalfJung

  committed
  2e14f25

  Copy full SHA for 2e14f25

• add gamma function shims

  RalfJung

  committed
  9281ddc

  Copy full SHA for 9281ddc

Commits on Aug 11, 2023

• miri: implement some `llvm.x86.sse.*` intrinsics and add tests

  Show description for 01140a3
  eduardosm

  committed
  01140a3

  Copy full SHA for 01140a3

• Auto merge of #3023 - RalfJung:gamma, r=RalfJung

  Show description for 6276e5a
  bors

  committed
  6276e5a

  Copy full SHA for 6276e5a

• Auto merge of #2989 - eduardosm:x86-intrinsics, r=RalfJung

  Show description for a45f181
  bors

  committed
  a45f181

  Copy full SHA for a45f181