Code

Miri subtree update#119039

Code

Merged

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

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

Dec 17, 2023

Commits

Commits on Dec 3, 2023

• Fix miri script target dir and update doc link

  Jefffrey

  committed
  8907858

  Copy full SHA for 8907858

Commits on Dec 5, 2023

• Don't explicitly warn against `semicolon_in_expressions_from_macros`

  Show description for 02f0bb7
  Xanewok

  authored
  02f0bb7

  Copy full SHA for 02f0bb7

• Fix formatting

  Xanewok

  committed
  02f96cc

  Copy full SHA for 02f96cc

• Auto merge of #3212 - Xanewok:patch-1, r=RalfJung

  Show description for aa006a3
  bors

  committed
  aa006a3

  Copy full SHA for aa006a3

Commits on Dec 6, 2023

• remove unnecesary `-Zunstable-options`

  Show description for b76c571
  weihanglo

  committed
  b76c571

  Copy full SHA for b76c571

• Auto merge of #3213 - weihanglo:remove-cargo-unstable-options, r=RalfJung

  Show description for f7af14b
  bors

  committed
  f7af14b

  Copy full SHA for f7af14b

Commits on Dec 7, 2023

• Move unary_op_* functions from `shims::x86::sse` module to `shims::x86`

  eduardosm

  committed
  c37f4d6

  Copy full SHA for c37f4d6

• Move round_* functions from `shims::x86::sse41` module to `shims::x86`

  eduardosm

  committed
  8c5882e

  Copy full SHA for 8c5882e

Commits on Dec 8, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  a77f220

  Copy full SHA for a77f220

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  120b97c

  Copy full SHA for 120b97c

• Auto merge of #3215 - rust-lang:rustup-2023-12-08, r=saethlin

  Show description for 276ab58
  bors

  committed
  276ab58

  Copy full SHA for 276ab58

• Move implementation of SSE4.1 `ptest*` into a helper function

  eduardosm

  committed
  a0ce060

  Copy full SHA for a0ce060

• Move implementation of SSE4.1 dpps/dppd to helper function

  eduardosm

  committed
  d2dac05

  Copy full SHA for d2dac05

• Auto merge of #3214 - eduardosm:move-x86-code, r=RalfJung

  Show description for 57935c3
  bors

  committed
  57935c3

  Copy full SHA for 57935c3

• Fix x86 SSE4.1 ptestnzc

  Show description for d571256
  eduardosm

  committed
  d571256

  Copy full SHA for d571256

Commits on Dec 9, 2023

• Auto merge of #3216 - eduardosm:fix-ptestnzc, r=RalfJung

  Show description for aa7afff
  bors

  committed
  aa7afff

  Copy full SHA for aa7afff

Commits on Dec 10, 2023

• Preparing for merge from rustc

  RalfJung

  committed
  e8a25b0

  Copy full SHA for e8a25b0

• Merge from rustc

  RalfJung

  committed
  035d865

  Copy full SHA for 035d865

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

  Show description for 92ab9d6
  bors

  committed
  92ab9d6

  Copy full SHA for 92ab9d6

• Auto merge of #3199 - Jefffrey:fix-doc-and-script, r=RalfJung

  Show description for 7d0994c
  bors

  committed
  7d0994c

  Copy full SHA for 7d0994c

• Return MAP_FAILED when mmap fails

  saethlin

  committed
  bebd6fb

  Copy full SHA for bebd6fb

• Auto merge of #3219 - saethlin:map-failed, r=RalfJung

  Show description for 5ade852
  bors

  committed
  5ade852

  Copy full SHA for 5ade852

Commits on Dec 11, 2023

• use Waker::noop instead of defining our own Waker

  RalfJung

  committed
  4d37019

  Copy full SHA for 4d37019

• Auto merge of #3222 - RalfJung:waker-noop, r=RalfJung

  Show description for aaeb4dd
  bors

  committed
  aaeb4dd

  Copy full SHA for aaeb4dd

Commits on Dec 12, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  86e6416

  Copy full SHA for 86e6416

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  dd60089

  Copy full SHA for dd60089

• fmt

  

  The Miri Conjob Bot

  committed
  03b7ed0

  Copy full SHA for 03b7ed0

• Auto merge of #3223 - rust-lang:rustup-2023-12-12, r=RalfJung

  Show description for fda521a
  bors

  committed
  fda521a

  Copy full SHA for fda521a

Commits on Dec 14, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  205fbf4

  Copy full SHA for 205fbf4

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  7d4f92a

  Copy full SHA for 7d4f92a

• Auto merge of #3224 - rust-lang:rustup-2023-12-14, r=saethlin

  Show description for 4a4a896
  bors

  committed
  4a4a896

  Copy full SHA for 4a4a896

• add test for uninhabited saved locals in a coroutine

  RalfJung

  committed
  823e2e7

  Copy full SHA for 823e2e7

• Auto merge of #3225 - RalfJung:coroutine, r=RalfJung

  Show description for 5747646
  bors

  committed
  5747646

  Copy full SHA for 5747646

Commits on Dec 15, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  7c5d692

  Copy full SHA for 7c5d692

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  b0d92a7

  Copy full SHA for b0d92a7

• Auto merge of #3227 - rust-lang:rustup-2023-12-15, r=RalfJung

  Show description for c9e0610
  bors

  committed
  c9e0610

  Copy full SHA for c9e0610

• Add the test minimized from deadpool

  saethlin

  committed
  afcf01c

  Copy full SHA for afcf01c

• Auto merge of #3226 - saethlin:deadpool-test, r=RalfJung

  Show description for fcb89b3
  bors

  committed
  fcb89b3

  Copy full SHA for fcb89b3

Commits on Dec 16, 2023

• Visit the AllocIds and BorTags in borrow state FrameExtra

  saethlin

  committed
  ce4f575

  Copy full SHA for ce4f575

Commits on Dec 17, 2023

• Auto merge of #3229 - saethlin:protector-gc-ice, r=RalfJung

  Show description for 00a82a5
  bors

  committed
  00a82a5

  Copy full SHA for 00a82a5