Code

Miri subtree update#122952

Code

Merged

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

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

Mar 23, 2024

Commits

Commits on Mar 17, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  96674fc

  Copy full SHA for 96674fc

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  0dff16a

  Copy full SHA for 0dff16a

• Auto merge of #3384 - rust-lang:rustup-2024-03-17, r=RalfJung

  Show description for caa57dd
  bors

  committed
  caa57dd

  Copy full SHA for caa57dd

• fix Zulip topic for PR-creation message

  RalfJung

  committed
  b4cb2ee

  Copy full SHA for b4cb2ee

• Auto merge of #3386 - RalfJung:ci, r=RalfJung

  Show description for dd5b4f5
  bors

  committed
  dd5b4f5

  Copy full SHA for dd5b4f5

• make 'invalidate' benchmark shorter

  RalfJung

  committed
  a6f362f

  Copy full SHA for a6f362f

Commits on Mar 18, 2024

• add exposed-provenance example where we miss UB

  RalfJung

  committed
  c99c314

  Copy full SHA for c99c314

• Auto merge of #3388 - RalfJung:exposed, r=RalfJung

  Show description for d7864d2
  bors

  committed
  d7864d2

  Copy full SHA for d7864d2

• rename 'invalidate' bench to something more clear

  RalfJung

  committed
  311024c

  Copy full SHA for 311024c

• Auto merge of #3387 - RalfJung:bench, r=RalfJung

  Show description for b648a9a
  bors

  committed
  b648a9a

  Copy full SHA for b648a9a

Commits on Mar 19, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  74b68af

  Copy full SHA for 74b68af

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  be6c170

  Copy full SHA for be6c170

• Auto merge of #3390 - rust-lang:rustup-2024-03-19, r=oli-obk

  Show description for bca5e2c
  bors

  committed
  bca5e2c

  Copy full SHA for bca5e2c

• remove duplicate test

  RalfJung

  committed
  92a841d

  Copy full SHA for 92a841d

• Auto merge of #3391 - RalfJung:dedup, r=RalfJung

  Show description for 67966f3
  bors

  committed
  67966f3

  Copy full SHA for 67966f3

Commits on Mar 20, 2024

• run full mono-item collection on all MIRI_BE_RUSTC=target builds

  Show description for e539804
  RalfJung

  committed
  e539804

  Copy full SHA for e539804

• Auto merge of #3392 - RalfJung:post-mono, r=oli-obk

  Show description for 6bcd9bc
  bors

  committed
  6bcd9bc

  Copy full SHA for 6bcd9bc

Commits on Mar 21, 2024

• Allow `llvm.x86.sse2.pause` instrinsic to be called without SSE2

  Show description for 89bc81f
  eduardosm

  committed
  89bc81f

  Copy full SHA for 89bc81f

• Auto merge of #3393 - eduardosm:x86-pause-without-sse2, r=RalfJung

  Show description for f61f45f
  bors

  committed
  f61f45f

  Copy full SHA for f61f45f

Commits on Mar 22, 2024

• Preparing for merge from rustc

  RalfJung

  committed
  5719d09

  Copy full SHA for 5719d09

• Merge from rustc

  RalfJung

  committed
  ee57d2b

  Copy full SHA for ee57d2b

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

  Show description for 2fae357
  bors

  committed
  2fae357

  Copy full SHA for 2fae357

Commits on Mar 23, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  0115f73

  Copy full SHA for 0115f73

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  89b9b67

  Copy full SHA for 89b9b67

• fmt

  

  The Miri Cronjob Bot

  committed
  5039f8b

  Copy full SHA for 5039f8b

• Auto merge of #3395 - rust-lang:rustup-2024-03-23, r=saethlin

  Show description for f0d864f
  bors

  committed
  f0d864f

  Copy full SHA for f0d864f

• add support for missing SIMD float intrinsics

  RalfJung

  committed
  c87ec61

  Copy full SHA for c87ec61

• Auto merge of #3396 - RalfJung:simd-float, r=RalfJung

  Show description for e19cc5e
  bors

  committed
  e19cc5e

  Copy full SHA for e19cc5e

• Report retags as distinct from real memory accesses for data races

  Zoxc

  committed
  2d610f7

  Copy full SHA for 2d610f7

• Auto merge of #3385 - Zoxc:read-types, r=RalfJung

  Show description for 59b2945
  bors

  committed
  59b2945

  Copy full SHA for 59b2945