Code

update Miri#115095

Code

Merged

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

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

Aug 22, 2023

Commits

Commits on Aug 17, 2023

• tree borrows: more comments in foreign_read transition

  RalfJung

  committed
  f836cfa

  Copy full SHA for f836cfa

• Auto merge of #3031 - RalfJung:foreign-read, r=RalfJung

  Show description for 23b9d95
  bors

  committed
  23b9d95

  Copy full SHA for 23b9d95

Commits on Aug 20, 2023

• pin a version of serde without intransparent unreproducible binary blobs

  RalfJung

  committed
  44fa4cd

  Copy full SHA for 44fa4cd

• Auto merge of #3032 - RalfJung:serde, r=RalfJung,oli-obk

  Show description for 92217bb
  bors

  committed
  92217bb

  Copy full SHA for 92217bb

Commits on Aug 21, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  c05fb4c

  Copy full SHA for c05fb4c

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  f2fb463

  Copy full SHA for f2fb463

• fmt

  

  The Miri Conjob Bot

  committed
  5356aa4

  Copy full SHA for 5356aa4

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

  Show description for 83ca922
  bors

  committed
  83ca922

  Copy full SHA for 83ca922

• update recommended RA config

  RalfJung

  committed
  5615562

  Copy full SHA for 5615562

• fix MIRI_AUTO_OPS not having an effect any more

  RalfJung

  committed
  2f6ffa9

  Copy full SHA for 2f6ffa9

• Auto merge of #3034 - RalfJung:ra, r=RalfJung

  Show description for a5ba57e
  bors

  committed
  a5ba57e

  Copy full SHA for a5ba57e

Commits on Aug 22, 2023

• bump serde

  RalfJung

  committed
  95fe7ab

  Copy full SHA for 95fe7ab

• respect CARGO_EXTRA_FLAGS in more places

  RalfJung

  committed
  269cbc2

  Copy full SHA for 269cbc2

• Auto merge of #3035 - RalfJung:serde, r=RalfJung

  Show description for 57277c3
  bors

  committed
  57277c3

  Copy full SHA for 57277c3

• make sure './miri many-seeds ./miri run' does not re-invoke the auto-ops

  RalfJung

  committed
  6117fa1

  Copy full SHA for 6117fa1

• miri-script: start and stop josh automatically

  RalfJung

  committed
  ee1fbd7

  Copy full SHA for ee1fbd7

• Auto merge of #3036 - RalfJung:josh-autostart, r=RalfJung

  Show description for 0c2dde3
  bors

  committed
  0c2dde3

  Copy full SHA for 0c2dde3

• update lockfile

  RalfJung

  committed
  47ba2a9

  Copy full SHA for 47ba2a9