Code

Miri subtree update#122246

Code

Merged

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

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

Mar 10, 2024

Commits

Commits on Mar 2, 2024

• remove some flags that haven't had an effect in a while

  RalfJung

  committed
  81fed2f

  Copy full SHA for 81fed2f

• remove the ability to disable ABI checking

  RalfJung

  committed
  c1a5906

  Copy full SHA for c1a5906

Commits on Mar 3, 2024

• Fix .\miri fmt on Windows

  RossSmyth

  committed
  32643dc

  Copy full SHA for 32643dc

• fix MIRI_LOG=info not setting the level for miri itself

  RalfJung

  committed
  cfc10f0

  Copy full SHA for cfc10f0

• log when we change the active thread

  RalfJung

  committed
  3041c78

  Copy full SHA for 3041c78

• do not rely on tracing's scope exit logging, it is wrong

  RalfJung

  committed
  983c2c5

  Copy full SHA for 983c2c5

• Auto merge of #3348 - RalfJung:miri-thread-logging, r=RalfJung

  Show description for f51f923
  bors

  committed
  f51f923

  Copy full SHA for f51f923

• nits and typos

  RalfJung

  authored
  83e2e2d

  Copy full SHA for 83e2e2d

• Auto merge of #3330 - RossSmyth:win-fmt, r=RalfJung

  Show description for f47732b
  bors

  committed
  f47732b

  Copy full SHA for f47732b

Commits on Mar 4, 2024

• disable diagnostic deduplication

  RalfJung

  committed
  fbafd36

  Copy full SHA for fbafd36

• implement manual deduplication for isolation-error=warn-nobacktrace

  RalfJung

  committed
  d5f31bd

  Copy full SHA for d5f31bd

• linux-futex test: add comment

  RalfJung

  committed
  f70feaf

  Copy full SHA for f70feaf

• Auto merge of #3339 - RalfJung:remove-old-flags, r=saethlin

  Show description for ede97c6
  bors

  committed
  ede97c6

  Copy full SHA for ede97c6

• Auto merge of #3351 - RalfJung:diagnostic-dedup-considered-harmful, r=RalfJung

  Show description for e87f825
  bors

  committed
  e87f825

  Copy full SHA for e87f825

• we properly rebuild the cache now when MIRI_LIB_SRC contents change

  RalfJung

  committed
  974446e

  Copy full SHA for 974446e

• Auto merge of #3354 - RalfJung:MIRI_LIB_SRC-change, r=RalfJung

  Show description for 8851f3c
  bors

  committed
  8851f3c

  Copy full SHA for 8851f3c

• Use cargo miri clean in build-all-targets.sh

  saethlin

  committed
  75f6694

  Copy full SHA for 75f6694

• Auto merge of #3355 - saethlin:cargo-miri-clean, r=RalfJung

  Show description for 5b05be1
  bors

  committed
  5b05be1

  Copy full SHA for 5b05be1

• Conjob → Cronjob

  RalfJung

  committed
  a477cf4

  Copy full SHA for a477cf4

• reorder rustc crate imports a bit

  RalfJung

  committed
  45d955e

  Copy full SHA for 45d955e

• Auto merge of #3356 - RalfJung:typo, r=RalfJung

  Show description for 4fdb215
  bors

  committed
  4fdb215

  Copy full SHA for 4fdb215

• Auto merge of #3357 - RalfJung:imports, r=RalfJung

  Show description for 790287a
  bors

  committed
  790287a

  Copy full SHA for 790287a

• give macOS even more time to sleep

  RalfJung

  committed
  2b40181

  Copy full SHA for 2b40181

• Auto merge of #3358 - RalfJung:zzz, r=RalfJung

  Show description for 65ec028
  bors

  committed
  65ec028

  Copy full SHA for 65ec028

• Bump mio from 0.8.10 to 0.8.11 in /test_dependencies

  Show description for 5294dd8
  dependabot[bot]

  authored
  5294dd8

  Copy full SHA for 5294dd8

• Auto merge of #3359 - rust-lang:dependabot/cargo/test_dependencies/mio-0.8.11, r=RalfJung

  Show description for e88704e
  bors

  committed
  e88704e

  Copy full SHA for e88704e

Commits on Mar 6, 2024

• Auto merge of #3340 - RalfJung:no-disable-abi-check, r=oli-obk

  Show description for 033c1e0
  bors

  committed
  033c1e0

  Copy full SHA for 033c1e0

• Preparing for merge from rustc

  RalfJung

  committed
  4b955f1

  Copy full SHA for 4b955f1

• Merge from rustc

  RalfJung

  committed
  a5a8437

  Copy full SHA for a5a8437

• make remaining FloatTy matches exhaustive

  RalfJung

  committed
  3c2318c

  Copy full SHA for 3c2318c

• Auto merge of #3363 - RalfJung:rustup, r=RalfJung

  Show description for 305d2b0
  bors

  committed
  305d2b0

  Copy full SHA for 305d2b0

Commits on Mar 8, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  c301bf9

  Copy full SHA for c301bf9

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  2ebf9ec

  Copy full SHA for 2ebf9ec

• fix clippy lints

  RalfJung

  committed
  fcd2efe

  Copy full SHA for fcd2efe

• Auto merge of #3365 - rust-lang:rustup-2024-03-08, r=RalfJung

  Show description for 4db028f
  bors

  committed
  4db028f

  Copy full SHA for 4db028f

• compiletest: create fresh tempdir for tests to use

  RalfJung

  committed
  4235ec5

  Copy full SHA for 4235ec5

Commits on Mar 9, 2024

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  52db5f6

  Copy full SHA for 52db5f6

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  e720147

  Copy full SHA for e720147

• fmt

  

  The Miri Cronjob Bot

  committed
  91644dd

  Copy full SHA for 91644dd

• Auto merge of #3366 - RalfJung:tempdir, r=oli-obk

  Show description for cabac98
  bors

  committed
  cabac98

  Copy full SHA for cabac98

• rename tests/compiletest → tests/ui

  RalfJung

  committed
  00be352

  Copy full SHA for 00be352

• Auto merge of #3368 - RalfJung:ui, r=RalfJung

  Show description for b0fad9a
  bors

  committed
  b0fad9a

  Copy full SHA for b0fad9a

• fix clippy lints

  RalfJung

  committed
  862f918

  Copy full SHA for 862f918

• Auto merge of #3367 - rust-lang:rustup-2024-03-09, r=RalfJung

  Show description for 0ebb78f
  bors

  committed
  0ebb78f

  Copy full SHA for 0ebb78f

• update lockfile

  RalfJung

  committed
  9a308d4

  Copy full SHA for 9a308d4