Code

update Miri#105214

Code

Merged

bors merged 32 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:miriRalfJung/rust:miriCopy head branch name to clipboardDec 4, 2022

+1,075-909

Commits

Commits on Nov 27, 2022

• replace 'locally built rustc' instructions by 'Miri in rustc'

  RalfJung

  committed
  b6ae82b

Commits on Nov 28, 2022

• refactor scheduling of TLS dtors

  RalfJung

  committed
  a0d104d

• cleanup global imports a bit

  RalfJung

  committed
  0849084

• yield the main thread a number of times after its TLS dtors are done

  RalfJung

  committed
  ec003fd

• add scoped thread test

  RalfJung

  committed
  c9b9c17

• fix TLS on partially supported OSes

  RalfJung

  committed
  5238d17

• move interpreter loop into thread manager; they are pretty tightly coupled anyway

  RalfJung

  committed
  af92b04

• make ./miri run a bit more silent; add option to control seeds tested by many-seeds

  RalfJung

  committed
  ad9784e

• add many-seeds capabilities to CI

  RalfJung

  committed
  63eae2b

• Auto merge of rust-lang#2698 - RalfJung:miri-in-rustc, r=oli-obk

  Show description for 5c2592c
  bors

  committed
  5c2592c

• decreasw yield count a bit and explain reasoning a bit more

  RalfJung

  committed
  ef5d5e7

Commits on Dec 1, 2022

• Auto merge of rust-lang#2699 - RalfJung:schedule-refactor, r=RalfJung

  Show description for 623b4ab
  bors

  committed
  623b4ab

• Bump ui_test crate

  oli-obk

  committed
  e8ff9b1

• Auto merge of rust-lang#2707 - oli-obk:ui_test_bump, r=RalfJung

  Show description for 4a12a13
  bors

  committed
  4a12a13

Commits on Dec 2, 2022

• extract common borrow tracking logic

  Vanille-N

  committed
  2d42d26

• move stacked_borrows to borrow_tracker/stacked_borrows

  Vanille-N

  committed
  2528f4e

• SbTag -> BorTag everywhere

  Vanille-N

  committed
  3a01493

• other renames, introduction of BorrowTrackerMethod and AllocExtra

  Vanille-N

  committed
  8bb3d9e

• fix imports

  Vanille-N

  committed
  ab08f2a

• Auto merge of rust-lang#2697 - Vanille-N:borrow-tracking, r=RalfJung

  Show description for 90118a1
  bors

  committed
  90118a1

• forward verbosity to cargo setup

  RalfJung

  committed
  5fd4b84

• Auto merge of rust-lang#2708 - RalfJung:verbose-setup, r=RalfJung

  Show description for 89dd322
  bors

  committed
  89dd322

• slight simplifications for borrow tracking

  RalfJung

  committed
  595490e

• rename some more types for consistency

  RalfJung

  committed
  b12ce55

• fix ICE in pointer tracking

  RalfJung

  committed
  0d1e365

• Auto merge of rust-lang#2711 - RalfJung:btrack, r=RalfJung

  Show description for 4a64902
  bors

  committed
  4a64902

• Auto merge of rust-lang#2710 - RalfJung:ptr-tracking-ice, r=oli-obk

  Show description for 7d75cc4
  bors

  committed
  7d75cc4

• Preparing for merge from rustc

  RalfJung

  committed
  80ab672

• Merge from rustc

  RalfJung

  committed
  b64d867

Commits on Dec 3, 2022

• clippy

  RalfJung

  committed
  29814f2

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

  Show description for 840f227
  bors

  committed
  840f227

• update lockfile

  RalfJung

  committed
  229e65a