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 clipboardNov 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 AllocationExtras 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