Code

Miri engine refactoring#55674

Code

Merged

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

oli-obk:miri_engine_refactoringoli-obk/rust:miri_engine_refactoringCopy head branch name to clipboard

Nov 11, 2018

Commits

Commits on Nov 8, 2018

• Duplicate mod.rs for better diff tracking

  oli-obk

  committed
  c6404f5

  Copy full SHA for c6404f5

• Move `Allocation` into its own module

  oli-obk

  committed
  7db0483

  Copy full SHA for 7db0483

• Move `ScalarMaybeUndef` back to rustc

  oli-obk

  committed
  48f6941

  Copy full SHA for 48f6941

• Move the `memory_accessed` hook onto the `Extra` value

  oli-obk

  committed
  6def30b

  Copy full SHA for 6def30b

• Move UndefMask and Relocations into `allocation.rs`

  oli-obk

  committed
  2108b6b

  Copy full SHA for 2108b6b

• Move ScalarMaybeUndef into `value.rs`

  oli-obk

  committed
  99ed98b

  Copy full SHA for 99ed98b

• Move `Pointer` to its own module

  oli-obk

  committed
  00e524c

  Copy full SHA for 00e524c

• Fallout

  oli-obk

  committed
  769ee79

  Copy full SHA for 769ee79

• Give `AllocationExtra`s access to their entire `Allocation`

  oli-obk

  committed
  5d58a03

  Copy full SHA for 5d58a03

• Rebase fallout

  oli-obk

  committed
  428af73

  Copy full SHA for 428af73