Code

Miri subtree update#134604

Code

Merged

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

RalfJung:miri-syncRalfJung/rust:miri-syncCopy head branch name to clipboard

Dec 21, 2024

Commits

Commits on Dec 4, 2024

• add test to demonstrate the effect of #4008

  JoJoDeveloping

  committed
  c1875bf

  Copy full SHA for c1875bf

Commits on Dec 9, 2024

• Preparing for merge from rustc

  RalfJung

  committed
  b984eaa

  Copy full SHA for b984eaa

• Merge from rustc

  RalfJung

  committed
  c498e7f

  Copy full SHA for c498e7f

• Merge pull request #4082 from RalfJung/rustup

  Show description for ac667ef
  RalfJung

  authored
  ac667ef

  Copy full SHA for ac667ef

• Enable `[bot-pull-requests]` triagebot feature

  Kobzol

  committed
  4917fe5

  Copy full SHA for 4917fe5

• Merge pull request #4083 from Kobzol/bot-autoclose

  Show description for 24d164e
  saethlin

  authored
  24d164e

  Copy full SHA for 24d164e

Commits on Dec 10, 2024

• TB: optimize accesses on large trees by ignoring subtrees if the access would mostly be a NOP

  JoJoDeveloping

  committed
  0f920db

  Copy full SHA for 0f920db

Commits on Dec 11, 2024

• Merge pull request #4008 from JoJoDeveloping/tb-access-state-based-skipping

  Show description for e2496df
  RalfJung

  authored
  e2496df

  Copy full SHA for e2496df

• ./miri bench: set toolchain explicitly

  RalfJung

  committed
  844635d

  Copy full SHA for 844635d

• Merge pull request #4087 from RalfJung/bench-toolchain

  Show description for 6748167
  RalfJung

  authored
  6748167

  Copy full SHA for 6748167

Commits on Dec 12, 2024

• solarish stat following-up, supports for readdir.

  devnexen

  committed
  579b680

  Copy full SHA for 579b680

• ci TEST_BENCH: show output

  RalfJung

  committed
  0272b6c

  Copy full SHA for 0272b6c

• ./miri bench: add a flag to skip the install step

  RalfJung

  committed
  b7565cb

  Copy full SHA for b7565cb

• Merge pull request #4089 from RalfJung/ci-bench

  Show description for 658edd4
  RalfJung

  authored
  658edd4

  Copy full SHA for 658edd4

• Merge pull request #4068 from devnexen/solarish_stat2

  Show description for 4e8a734
  RalfJung

  authored
  4e8a734

  Copy full SHA for 4e8a734

• bench-cargo-miri: bump lockfiles

  RalfJung

  committed
  c7b8ee0

  Copy full SHA for c7b8ee0

• Merge pull request #4091 from RalfJung/bench-bump

  Show description for 11ab793
  RalfJung

  authored
  11ab793

  Copy full SHA for 11ab793

• Improve timezone handling in 'localtime_r()' using 'allocate_bytes()'

  Show description for 6cbd1eb
  shamb0

  committed
  6cbd1eb

  Copy full SHA for 6cbd1eb

• Merge pull request #4069 from shamb0/string_deduplication_for_localtime_r

  Show description for b9f1aed
  RalfJung

  authored
  b9f1aed

  Copy full SHA for b9f1aed

• Preparing for merge from rustc

  RalfJung

  committed
  cc797a2

  Copy full SHA for cc797a2

• Merge from rustc

  RalfJung

  committed
  f590fa9

  Copy full SHA for f590fa9

• fix use of this.allocate_bytes

  RalfJung

  committed
  202098e

  Copy full SHA for 202098e

• Merge pull request #4092 from RalfJung/rustup

  Show description for 8e8d6d6
  RalfJung

  authored
  8e8d6d6

  Copy full SHA for 8e8d6d6

Commits on Dec 13, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  70628f8

  Copy full SHA for 70628f8

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  8652177

  Copy full SHA for 8652177

• Merge pull request #4094 from rust-lang/rustup-2024-12-13

  Show description for 55db25b
  oli-obk

  authored
  55db25b

  Copy full SHA for 55db25b

Commits on Dec 14, 2024

• experiment with using clap

  

  Mandragorian

  authored and

  RalfJung

  committed
  c1657ca

  Copy full SHA for c1657ca

• Update miri-script/src/main.rs

  Show description for d12597f
  

  Mandragorian

  and

  RalfJung

  committed
  d12597f

  Copy full SHA for d12597f

• address comments

  

  Mandragorian

  authored and

  RalfJung

  committed
  de5201f

  Copy full SHA for de5201f

• fix 'rustc-push' and adjust help texts

  RalfJung

  committed
  7d40bb9

  Copy full SHA for 7d40bb9

• Merge pull request #4036 from Mandragorian/clap

  Show description for d5322f7
  RalfJung

  authored
  d5322f7

  Copy full SHA for d5322f7

Commits on Dec 15, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  8f49799

  Copy full SHA for 8f49799

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  581989d

  Copy full SHA for 581989d

• Merge pull request #4095 from rust-lang/rustup-2024-12-15

  Show description for e999c48
  oli-obk

  authored
  e999c48

  Copy full SHA for e999c48

Commits on Dec 18, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  b6120f9

  Copy full SHA for b6120f9

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  d49845e

  Copy full SHA for d49845e

• Merge pull request #4097 from rust-lang/rustup-2024-12-18

  Show description for 955ef09
  oli-obk

  authored
  955ef09

  Copy full SHA for 955ef09

• Implement blocking unnamed_socket

  tiif

  committed
  1f77130

  Copy full SHA for 1f77130

• Merge pull request #4072 from tiif/blockop

  Show description for 4ce3b85
  oli-obk

  authored
  4ce3b85

  Copy full SHA for 4ce3b85

Commits on Dec 19, 2024

• add warning explaining the limitations of the native code mode

  RalfJung

  committed
  e28b1d7

  Copy full SHA for e28b1d7

• Merge pull request #4098 from RalfJung/native-call-warning

  Show description for 0aec399
  oli-obk

  authored
  0aec399

  Copy full SHA for 0aec399

Commits on Dec 20, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  09c8eb5

  Copy full SHA for 09c8eb5

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  5e2ce7e

  Copy full SHA for 5e2ce7e

• Merge pull request #4100 from rust-lang/rustup-2024-12-20

  Show description for db960a2
  RalfJung

  authored
  db960a2

  Copy full SHA for db960a2

• Preparing for merge from rustc

  RalfJung

  committed
  fafe0ce

  Copy full SHA for fafe0ce

• Merge from rustc

  RalfJung

  committed
  fe35924

  Copy full SHA for fe35924

• fmt

  RalfJung

  committed
  9659fbc

  Copy full SHA for 9659fbc

• Merge pull request #4101 from RalfJung/rustup

  Show description for fddff47
  RalfJung

  authored
  fddff47

  Copy full SHA for fddff47

Commits on Dec 21, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  9dac973

  Copy full SHA for 9dac973

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  591c47b

  Copy full SHA for 591c47b

• Merge pull request #4102 from rust-lang/rustup-2024-12-21

  Show description for 268a5f4
  oli-obk

  authored
  268a5f4

  Copy full SHA for 268a5f4