Code

Miri subtree update#133311

Code

Merged

bors merged 43 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:miri-syncRalfJung/rust:miri-syncCopy head branch name to clipboardNov 22, 2024

+1,530-763

Commits

Commits on Nov 10, 2024

• Preparing for merge from rustc

  RalfJung

  committed
  fa827f8

  Copy full SHA for fa827f8

• Merge pull request rust-lang#4023 from RalfJung/rustup

  Show description for e1d4c9e
  RalfJung

  authored
  e1d4c9e

  Copy full SHA for e1d4c9e

• Remove MutexID list

  tiif

  committed
  bfb36e3

  Copy full SHA for bfb36e3

Commits on Nov 11, 2024

• Merge pull request rust-lang#4002 from tiif/leakythread

  Show description for 7137683
  RalfJung

  authored
  7137683

  Copy full SHA for 7137683

• sync support: dont implicitly clone inside the general sync machinery

  RalfJung

  committed
  424bc60

  Copy full SHA for 424bc60

• typo

  RalfJung

  committed
  ad16dc4

  Copy full SHA for ad16dc4

• Merge pull request rust-lang#4027 from RalfJung/no-clones

  Show description for 7c7371a
  RalfJung

  authored
  7c7371a

  Copy full SHA for 7c7371a

• stacked borrows tests: add those that fail under TB

  RalfJung

  committed
  8ddc896

  Copy full SHA for 8ddc896

• Merge pull request rust-lang#4028 from RalfJung/borrow-tests

  Show description for e2b7027
  RalfJung

  authored
  e2b7027

  Copy full SHA for e2b7027

• Renamed this arguments to ecx

  YohDeadfall

  committed
  e43a5c0

  Copy full SHA for e43a5c0

• Merge pull request rust-lang#4029 from YohDeadfall/ecx

  Show description for a77ff2e
  RalfJung

  authored
  a77ff2e

  Copy full SHA for a77ff2e

Commits on Nov 12, 2024

• Renamed this to ecx

  YohDeadfall

  committed
  bd7772d

  Copy full SHA for bd7772d

• Merge pull request rust-lang#4030 from YohDeadfall/ecx

  Show description for 61d496e
  RalfJung

  authored
  61d496e

  Copy full SHA for 61d496e

Commits on Nov 13, 2024

• Implement blocking eventfd

  tiif

  committed
  96d9a95

  Copy full SHA for 96d9a95

• Merge pull request rust-lang#3939 from tiif/blockeventfd

  Show description for 7213a27
  oli-obk

  authored
  7213a27

  Copy full SHA for 7213a27

• Add test for epoll

  tiif

  committed
  711a956

  Copy full SHA for 711a956

Commits on Nov 15, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  e459b8a

  Copy full SHA for e459b8a

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  26a7772

  Copy full SHA for 26a7772

• clippy fix

  RalfJung

  committed
  b911657

  Copy full SHA for b911657

• Merge pull request rust-lang#4034 from rust-lang/rustup-2024-11-15

  Show description for 3e71ed1
  saethlin

  authored
  3e71ed1

  Copy full SHA for 3e71ed1

• Merge pull request rust-lang#4033 from tiif/checkepoll

  Show description for 34ad8de
  oli-obk

  authored
  34ad8de

  Copy full SHA for 34ad8de

Commits on Nov 18, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  0a4d828

  Copy full SHA for 0a4d828

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  f71a042

  Copy full SHA for f71a042

• Merge pull request rust-lang#4038 from rust-lang/rustup-2024-11-18

  Show description for 00286e6
  saethlin

  authored
  00286e6

  Copy full SHA for 00286e6

• use -Zroot-dir instead of --remap-path-prefix for diagnostic dir handling

  RalfJung

  committed
  aada9ef

  Copy full SHA for aada9ef

Commits on Nov 19, 2024

• Merge pull request rust-lang#4039 from RalfJung/root-dir

  Show description for 087f34a
  oli-obk

  authored
  087f34a

  Copy full SHA for 087f34a

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  5e69099

  Copy full SHA for 5e69099

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  cfc5961

  Copy full SHA for cfc5961

• fmt

  

  The Miri Cronjob Bot

  committed
  39a9512

  Copy full SHA for 39a9512

• Merge pull request rust-lang#4040 from rust-lang/rustup-2024-11-19

  Show description for f953ed5
  RalfJung

  authored
  f953ed5

  Copy full SHA for f953ed5

• refactor: refine thread variant for windows

  discord9

  committed
  cecf2b3

  Copy full SHA for cecf2b3

• Merge pull request rust-lang#4035 from discord9/master

  Show description for 4520ff8
  RalfJung

  authored
  4520ff8

  Copy full SHA for 4520ff8

Commits on Nov 20, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  2b751f6

  Copy full SHA for 2b751f6

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  13dbc84

  Copy full SHA for 13dbc84

• Merge pull request rust-lang#4041 from rust-lang/rustup-2024-11-20

  Show description for 8d3d694
  RalfJung

  authored
  8d3d694

  Copy full SHA for 8d3d694

• miri: implement square root without relying on host floats

  eduardosm

  committed
  8a5c187

  Copy full SHA for 8a5c187

• Merge pull request rust-lang#4026 from eduardosm/soft-sqrt

  Show description for e694688
  RalfJung

  authored
  e694688

  Copy full SHA for e694688

• trophy case: add RwLock::downgrade bug

  RalfJung

  committed
  9e720ac

  Copy full SHA for 9e720ac

• Merge pull request rust-lang#4042 from RalfJung/trophy

  Show description for 7e6c8d2
  RalfJung

  authored
  7e6c8d2

  Copy full SHA for 7e6c8d2

Commits on Nov 21, 2024

• Preparing for merge from rustc

  RalfJung

  committed
  09ef8ec

  Copy full SHA for 09ef8ec

• Merge from rustc

  RalfJung

  committed
  f5fd967

  Copy full SHA for f5fd967

• fmt

  RalfJung

  committed
  ec6fe11

  Copy full SHA for ec6fe11

• Merge pull request rust-lang#4044 from RalfJung/rustup

  Show description for 12ac750
  RalfJung

  authored
  12ac750

  Copy full SHA for 12ac750