Code

Miri subtree update#140664

Code

Merged

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

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

May 5, 2025

Commits

Commits on Apr 29, 2025

• Added random scheduling

  geetanshjuneja

  committed
  ef58349

  Copy full SHA for ef58349

• move EnvVars::cleanup into the main-thread-exit handler

  RalfJung

  committed
  47e111a

  Copy full SHA for 47e111a

• fix comment typos

  RalfJung

  authored
  76992ce

  Copy full SHA for 76992ce

• Merge pull request #4302 from RalfJung/env-cleanup

  Show description for 63edce0
  RalfJung

  authored
  63edce0

  Copy full SHA for 63edce0

• Merge pull request #4272 from geetanshjuneja/scheduling

  Show description for f521fa0
  RalfJung

  authored
  f521fa0

  Copy full SHA for f521fa0

• add -Zmiri-deterministic-concurrency flag and use it for concurrency tests

  RalfJung

  committed
  bbcc6a2

  Copy full SHA for bbcc6a2

Commits on Apr 30, 2025

• Merge pull request #4303 from RalfJung/determinism

  Show description for 2260f77
  oli-obk

  authored
  2260f77

  Copy full SHA for 2260f77

Commits on May 1, 2025

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  589200e

  Copy full SHA for 589200e

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  326d775

  Copy full SHA for 326d775

• fmt

  

  The Miri Cronjob Bot

  committed
  7adaa50

  Copy full SHA for 7adaa50

• Merge pull request #4304 from rust-lang/rustup-2025-05-01

  Show description for 06e0293
  oli-obk

  authored
  06e0293

  Copy full SHA for 06e0293

• Add `Cell` state to Tree Borrows

  

  Xinglu Chen

  committed
  8cc866d

  Copy full SHA for 8cc866d

• Merge pull request #4273 from yoctocell/new-cell-state

  Show description for 8bbea47
  RalfJung

  authored
  8bbea47

  Copy full SHA for 8bbea47

Commits on May 2, 2025

• add ./miri squash

  RalfJung

  committed
  e2d2c56

  Copy full SHA for e2d2c56

• Merge pull request #4305 from RalfJung/squash

  Show description for a8da0fd
  RalfJung

  authored
  a8da0fd

  Copy full SHA for a8da0fd

• Implement skeleton code for adding GenMC support to Miri (not yet functional).

  Show description for d940d0b
  

  Patrick-6

  and

  RalfJung

  committed
  d940d0b

  Copy full SHA for d940d0b

• Merge pull request #4291 from Patrick-6/miri-genmc-prep

  Show description for 0238548
  RalfJung

  authored
  0238548

  Copy full SHA for 0238548

• Correctly handle interior mutable data in `Box`

  Show description for 8b36376
  

  Xinglu Chen

  committed
  8b36376

  Copy full SHA for 8b36376

• Construct test so that it would fail for old code

  

  Xinglu Chen

  committed
  45d4bb2

  Copy full SHA for 45d4bb2

Commits on May 3, 2025

• Preparing for merge from rustc

  

  The Miri Cronjob Bot

  committed
  8a166dc

  Copy full SHA for 8a166dc

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  4d87349

  Copy full SHA for 4d87349

• Merge pull request #4308 from rust-lang/rustup-2025-05-03

  Show description for d313405
  oli-obk

  authored
  d313405

  Copy full SHA for d313405

Commits on May 4, 2025

• Remove -Zunique-is-unique

  JoJoDeveloping

  committed
  30ecac8

  Copy full SHA for 30ecac8

Commits on May 5, 2025

• Merge pull request #4307 from JoJoDeveloping/remove-unique-is-unique

  Show description for f8a8bbd
  RalfJung

  authored
  f8a8bbd

  Copy full SHA for f8a8bbd

• move tests that are identical between SB and TB to shared files

  RalfJung

  committed
  3f0d24a

  Copy full SHA for 3f0d24a

• Merge pull request #4306 from yoctocell/fix-unsafecell-inside-box

  Show description for 70ef250
  RalfJung

  authored
  70ef250

  Copy full SHA for 70ef250

• consistent folder naming: stacked-borrows -> stacked_borrows

  RalfJung

  committed
  aec861b

  Copy full SHA for aec861b

• alloc_addresses: when we are running out of addresses, start reusing more aggressively

  RalfJung

  committed
  5c7f1d7

  Copy full SHA for 5c7f1d7

• Merge pull request #4309 from RalfJung/both-borrows-tests

  Show description for 84b3142
  RalfJung

  authored
  84b3142

  Copy full SHA for 84b3142

• Merge pull request #4310 from RalfJung/addr-space-conservation

  Show description for 4b8f88b
  RalfJung

  authored
  4b8f88b

  Copy full SHA for 4b8f88b