Code

update Miri#113488

Code

Merged

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

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

Jul 9, 2023

Commits

Commits on Jun 29, 2023

• Bashy Mc Bashface

  oli-obk

  committed
  ccb3328

  Copy full SHA for ccb3328

• Checking for a cached value without having a cache is useless

  oli-obk

  committed
  2039e7c

  Copy full SHA for 2039e7c

• Auto merge of #2947 - oli-obk:gha_mk_pr, r=RalfJung

  Show description for d061edd
  bors

  committed
  d061edd

  Copy full SHA for d061edd

Commits on Jul 2, 2023

• cronjob auto-PR: make sure we are on a branch

  RalfJung

  committed
  5fa7403

  Copy full SHA for 5fa7403

• Auto merge of #2948 - RalfJung:cron, r=RalfJung

  Show description for 9e49f53
  bors

  committed
  9e49f53

  Copy full SHA for 9e49f53

• cronjob auto-PR: fetch more of the history

  RalfJung

  committed
  04db677

  Copy full SHA for 04db677

• CI cleanup

  RalfJung

  committed
  7adf8dd

  Copy full SHA for 7adf8dd

• Auto merge of #2949 - RalfJung:cron, r=RalfJung

  Show description for 918f393
  bors

  committed
  918f393

  Copy full SHA for 918f393

• cargo-miri: better error message when RUSTC is not set

  icewind1991

  committed
  cc4670f

  Copy full SHA for cc4670f

• cron auto-PR: need to set upstream branch

  RalfJung

  committed
  f2ce230

  Copy full SHA for f2ce230

• Auto merge of #2951 - rust-lang:cron, r=RalfJung

  Show description for a6eb25a
  bors

  committed
  a6eb25a

  Copy full SHA for a6eb25a

• Auto merge of #2950 - icewind1991:cargo-miri-rustc-error, r=RalfJung

  Show description for 7d12d2f
  bors

  committed
  7d12d2f

  Copy full SHA for 7d12d2f

• cronjob auto-PR: try to fix setting the remote branch

  RalfJung

  committed
  32168b7

  Copy full SHA for 32168b7

• Auto merge of #2952 - RalfJung:cron, r=RalfJung

  Show description for 0bf13a4
  bors

  committed
  0bf13a4

  Copy full SHA for 0bf13a4

• sadly 'gh' doesnt support all git upstream branch configs

  RalfJung

  committed
  2c5e076

  Copy full SHA for 2c5e076

• Auto merge of #2953 - RalfJung:cron, r=RalfJung

  Show description for f037471
  bors

  committed
  f037471

  Copy full SHA for f037471

• more CI yml cleanup

  RalfJung

  committed
  4c7fbf8

  Copy full SHA for 4c7fbf8

• can't seem to avoid repeating the branch name...

  RalfJung

  committed
  352180b

  Copy full SHA for 352180b

• Auto merge of #2954 - RalfJung:cron, r=RalfJung

  Show description for 7d63d70
  bors

  committed
  7d63d70

  Copy full SHA for 7d63d70

Commits on Jul 3, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  17e17e1

  Copy full SHA for 17e17e1

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  1505dd8

  Copy full SHA for 1505dd8

• fmt

  

  The Miri Conjob Bot

  committed
  707afc3

  Copy full SHA for 707afc3

• Silence clippy on FIXME'd code and fix the new lints otherwise

  oli-obk

  committed
  6a21b2d

  Copy full SHA for 6a21b2d

• Auto merge of #2955 - rust-lang:rustup2023-07-03, r=oli-obk

  Show description for a8b6ec1
  bors

  committed
  a8b6ec1

  Copy full SHA for a8b6ec1

• send link to PR to Zulip

  RalfJung

  committed
  46c1e61

  Copy full SHA for 46c1e61

• remove outdated comment

  RalfJung

  committed
  4951d5f

  Copy full SHA for 4951d5f

• vec tets: ensure pointer is still writeable

  RalfJung

  committed
  a68afa2

  Copy full SHA for a68afa2

• Auto merge of #2959 - RalfJung:vectest, r=RalfJung

  Show description for 89c2596
  bors

  committed
  89c2596

  Copy full SHA for 89c2596

Commits on Jul 4, 2023

• Auto merge of #2957 - RalfJung:zulip, r=oli-obk

  Show description for 2b3fae1
  bors

  committed
  2b3fae1

  Copy full SHA for 2b3fae1

• better error on missing #[start]

  RalfJung

  committed
  812f9b2

  Copy full SHA for 812f9b2

• Restore test filtering by substring.

  Show description for da98baa
  oli-obk

  committed
  da98baa

  Copy full SHA for da98baa

• Auto merge of #2963 - RalfJung:start, r=RalfJung

  Show description for 8fa4894
  bors

  committed
  8fa4894

  Copy full SHA for 8fa4894

• Auto merge of #2960 - oli-obk:run_filter, r=oli-obk

  Show description for 7591c51
  bors

  committed
  7591c51

  Copy full SHA for 7591c51

Commits on Jul 5, 2023

• C "memcpy" shim: ensure the pointers are valid

  Show description for a4b7e14
  RalfJung

  committed
  a4b7e14

  Copy full SHA for a4b7e14

Commits on Jul 6, 2023

• Ignore test on apple

  

  oli-obk

  authored and

  RalfJung

  committed
  a811ada

  Copy full SHA for a811ada

• Auto merge of #2968 - RalfJung:memcpy, r=RalfJung

  Show description for c8b3992
  bors

  committed
  c8b3992

  Copy full SHA for c8b3992

• Stop parsing ui_test annotations in `run-dep` mode

  oli-obk

  committed
  822feaa

  Copy full SHA for 822feaa

Commits on Jul 7, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  a5286fc

  Copy full SHA for a5286fc

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  b13a9fa

  Copy full SHA for b13a9fa

• fmt

  

  The Miri Conjob Bot

  committed
  536c910

  Copy full SHA for 536c910

• Auto merge of #2970 - rust-lang:rustup2023-07-07, r=oli-obk

  Show description for fa6cf3f
  bors

  committed
  fa6cf3f

  Copy full SHA for fa6cf3f

• Silence all the boilerplate around `./miri run` and `./miri run-dep`

  oli-obk

  committed
  813b56b

  Copy full SHA for 813b56b

• Remove a now-useless flag

  oli-obk

  committed
  48fe0df

  Copy full SHA for 48fe0df

• MIRIFLAGS are already passed in the `./miri` wrapper

  oli-obk

  committed
  c6f5b5f

  Copy full SHA for c6f5b5f

• Auto merge of #2969 - oli-obk:run-dep, r=RalfJung

  Show description for 2323ecb
  bors

  committed
  2323ecb

  Copy full SHA for 2323ecb

Commits on Jul 8, 2023

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  2c3cf5a

  Copy full SHA for 2c3cf5a

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  c182669

  Copy full SHA for c182669

• Auto merge of #2971 - rust-lang:rustup2023-07-08, r=RalfJung

  Show description for dfe0d21
  bors

  committed
  dfe0d21

  Copy full SHA for dfe0d21

• update lockfile

  RalfJung

  committed
  9ed4669

  Copy full SHA for 9ed4669