Code

update Miri#104051

Code

Merged

bors merged 26 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:miriRalfJung/rust:miriCopy head branch name to clipboardNov 11, 2022

+831-218

Commits

Commits on Oct 29, 2022

• teach ./miri how to do Josh syncs

  RalfJung

  committed
  4f3a988

  Copy full SHA for 4f3a988

• merge rustup-toolchain into ./miri

  RalfJung

  committed
  39598e4

  Copy full SHA for 39598e4

• explain how to go back to rustup-managed Miri

  RalfJung

  committed
  2a3a53b

  Copy full SHA for 2a3a53b

• Auto merge of rust-lang#2635 - RalfJung:rustup-managed-miri, r=RalfJung

  Show description for 18a23a5
  bors

  committed
  18a23a5

  Copy full SHA for 18a23a5

• Auto merge of rust-lang#2634 - RalfJung:miri-script, r=oli-obk

  Show description for 79a48ce
  bors

  committed
  79a48ce

  Copy full SHA for 79a48ce

• Stacked Borrows: make scalar field retagging the default

  RalfJung

  committed
  1470e99

  Copy full SHA for 1470e99

• Auto merge of rust-lang#2636 - RalfJung:scalar-field-retag, r=oli-obk

  Show description for c162fd3
  bors

  committed
  c162fd3

  Copy full SHA for c162fd3

Commits on Oct 30, 2022

• Merge from rustc

  RalfJung

  committed
  bfe23b9

  Copy full SHA for bfe23b9

• rustup

  RalfJung

  committed
  0b49a5d

  Copy full SHA for 0b49a5d

• Auto merge of rust-lang#2639 - RalfJung:rustup, r=RalfJung

  Show description for 962bf63
  bors

  committed
  962bf63

  Copy full SHA for 962bf63

Commits on Oct 31, 2022

• fix dupe word typos

  Rageking8

  committed
  41c368b

  Copy full SHA for 41c368b

• add acquire when init once is already complete

  beepster4096

  committed
  224dff4

  Copy full SHA for 224dff4

• Auto merge of rust-lang#2640 - Rageking8:fix-dupe-word-typos, r=saethlin

  Show description for 21669d2
  bors

  committed
  21669d2

  Copy full SHA for 21669d2

• followup for pr 2640

  Rageking8

  committed
  a1cd279

  Copy full SHA for a1cd279

• Auto merge of rust-lang#2642 - Rageking8:followup-for-pr-2640, r=RalfJung

  Show description for 02c5ded
  bors

  committed
  02c5ded

  Copy full SHA for 02c5ded

Commits on Nov 2, 2022

• fix ./miri bench

  RalfJung

  committed
  9554907

  Copy full SHA for 9554907

• Auto merge of rust-lang#2645 - RalfJung:miri-bench, r=RalfJung

  Show description for 9d9157e
  bors

  committed
  9d9157e

  Copy full SHA for 9d9157e

Commits on Nov 4, 2022

• refactor into private functions

  beepster4096

  committed
  fa1b720

  Copy full SHA for fa1b720

• clarify no_data_race_after_complete test

  beepster4096

  committed
  cb6f7a6

  Copy full SHA for cb6f7a6

• Auto merge of rust-lang#2641 - DrMeepster:init_once_acquire, r=RalfJung

  Show description for 4492c02
  bors

  committed
  4492c02

  Copy full SHA for 4492c02

Commits on Nov 5, 2022

• Merge from rustc

  RalfJung

  committed
  83239c2

  Copy full SHA for 83239c2

• Auto merge of rust-lang#2650 - RalfJung:rustup, r=RalfJung

  Show description for 7910caf
  bors

  committed
  7910caf

  Copy full SHA for 7910caf

• impl condvars for windows

  beepster4096

  committed
  a1d94d4

  Copy full SHA for a1d94d4

• use enum for condvar locks

  beepster4096

  committed
  a2f7e84

  Copy full SHA for a2f7e84

• fix shared behavior and add tests

  beepster4096

  committed
  2eb07a0

  Copy full SHA for 2eb07a0

Commits on Nov 6, 2022

• Auto merge of rust-lang#2638 - DrMeepster:windows-condvars, r=RalfJung

  Show description for f60a2ae
  bors

  committed
  f60a2ae

  Copy full SHA for f60a2ae