Code

Data race spans#2646

Code

Merged

bors merged 8 commits intorust-lang:masterrust-lang/miri:masterfrom saethlin:data-race-spanssaethlin/miri:data-race-spansCopy head branch name to clipboardDec 24, 2022

+555-273

Commits

Commits on Dec 16, 2022

• Include a Span in VClock

  saethlin

  committed
  b06737e

  Copy full SHA for b06737e

Commits on Dec 21, 2022

• Fix span management

  saethlin

  committed
  a799f02

  Copy full SHA for a799f02

• Re-enable the VClock ordering tests

  saethlin

  committed
  cca5ae9

  Copy full SHA for cca5ae9

Commits on Dec 22, 2022

• Clean up implementation, deduplicate in errors

  saethlin

  committed
  e589f0f

  Copy full SHA for e589f0f

• Fix phrasing

  saethlin

  committed
  ba1fa88

  Copy full SHA for ba1fa88

• Add a (1) and (2) to the data race errors

  saethlin

  committed
  dad1669

  Copy full SHA for dad1669

Commits on Dec 23, 2022

• attempt to clarify what the backtrace belongs to when there could be ambiguity

  RalfJung

  committed
  def32e1

  Copy full SHA for def32e1

• Mention and number the components of a race in the order the interpreter sees them

  saethlin

  committed
  60a100a

  Copy full SHA for 60a100a