Code

Miri subtree update#121936

Code

Merged

bors merged 41 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:miriRalfJung/rust:miriCopy head branch name to clipboardMar 3, 2024

+607-343

Commits

Commits on Feb 25, 2024

• Preparing for merge from rustc

  RalfJung

  committed
  779d3ea

• Merge from rustc

  RalfJung

  committed
  8704286

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

  Show description for 02ee564
  bors

  committed
  02ee564

• more dealing with macOS being slow

  RalfJung

  committed
  ac9617c

• Auto merge of rust-lang#3321 - RalfJung:macos-time, r=RalfJung

  Show description for 8d74063
  bors

  committed
  8d74063

Commits on Feb 26, 2024

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  8bdcfb0

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  779d079

• fix clippy

  RalfJung

  committed
  e9c7cc2

• add direct test for new ProcessPrng shim

  RalfJung

  committed
  db0b49b

• Auto merge of rust-lang#3326 - rust-lang:rustup-2024-02-26, r=RalfJung

  Show description for 7cadf0b
  bors

  committed
  7cadf0b

• tree borrows: add a test to sb_fails

  RalfJung

  committed
  6c945dd

• Auto merge of rust-lang#3327 - RalfJung:tree-interior_mut_reborrow, r=RalfJung

  Show description for 908b33e
  bors

  committed
  908b33e

• ./miri many-seeds: support MIRI_SEED_END to control the end of the tried seed range

  RalfJung

  committed
  16c12ac

• Auto merge of rust-lang#3328 - RalfJung:many-seeds, r=RalfJung

  Show description for c414c08
  bors

  committed
  c414c08

• Fix miri.bat not bailing early on error

  RossSmyth

  committed
  28c10d6

Commits on Feb 27, 2024

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  42ce2e5

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  c9fba88

• Auto merge of rust-lang#3329 - RossSmyth:miri-bat-error, r=RalfJung

  Show description for 7b7f861
  bors

  committed
  7b7f861

• add mpsc memory leak to trophy case

  RalfJung

  committed
  c764aba

• Auto merge of rust-lang#3331 - rust-lang:rustup-2024-02-27, r=RalfJung

  Show description for c162ea8
  bors

  committed
  c162ea8

• Auto merge of rust-lang#3332 - RalfJung:trophy, r=RalfJung

  Show description for bc76256
  bors

  committed
  bc76256

Commits on Feb 28, 2024

• remove a wrong bitwise negation

  RalfJung

  committed
  a676afa

• Auto merge of rust-lang#3334 - RalfJung:nullfix, r=RalfJung

  Show description for d79a5ed
  bors

  committed
  d79a5ed

Commits on Feb 29, 2024

• Preparing for merge from rustc

  

  The Miri Conjob Bot

  committed
  f43c07c

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  1b41d79

• Auto merge of rust-lang#3335 - rust-lang:rustup-2024-02-29, r=saethlin

  Show description for 5717e52
  bors

  committed
  5717e52

• Preparing for merge from rustc

  RalfJung

  committed
  96edeb8

• Merge from rustc

  RalfJung

  committed
  70758a7

• add regression test

  RalfJung

  committed
  2a376ce

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

  Show description for 14e1628
  bors

  committed
  14e1628

Commits on Mar 2, 2024

• print thread name in miri error backtraces

  RalfJung

  committed
  fe9dede

• add option to track all read/write accesses to tracked allocations

  RalfJung

  committed
  fe545d6

• Auto merge of rust-lang#3338 - RalfJung:more-tracking-and-threads, r=RalfJung

  Show description for be5da3a
  bors

  committed
  be5da3a

• Tree Borrows: print where the forbidden access happens; make tag tracking less verbose

  RalfJung

  committed
  21527d2

• Auto merge of rust-lang#3343 - RalfJung:tree-borrows-diag, r=RalfJung

  Show description for 31957b6
  bors

  committed
  31957b6

Commits on Mar 3, 2024

• move thread-panic tests to their own file; test getting the thread name

  RalfJung

  committed
  8deb651

• readme

  RalfJung

  committed
  7f485fc

• fix wording of alloc access tracking message

  RalfJung

  committed
  931e453

• Windows: support getting the thread name

  RalfJung

  committed
  c72b487

• Auto merge of rust-lang#3346 - RalfJung:alloc-accesses, r=RalfJung

  Show description for cdf1071
  bors

  committed
  cdf1071

• Auto merge of rust-lang#3345 - RalfJung:win-get-thread-name, r=RalfJung

  Show description for 639fab7
  bors

  committed
  639fab7