Code

[beta] Incremental miri regression#50025

Code

Closed

oli-obk wants to merge 7 commits intorust-lang:betarust-lang/rust:betafrom oli-obk:incremental_miri_regressionoli-obk/rust:incremental_miri_regressionCopy head branch name to clipboard

+271-307

Commits

Commits on Apr 17, 2018

• Don't recurse into allocations, use a global table instead

  oli-obk

  committed
  2546ff8

• Stop referring to statics' AllocIds directly

  oli-obk

  committed
  170ea65

• Use LazySeq instead of Vec

  oli-obk

  committed
  0734f0e

• Encode items before encoding the list of AllocIds

  oli-obk

  committed
  45d5b64

• Reduce the number of calls to cdata

  oli-obk

  committed
  84be1fd

• Get rid of redundant HashSet

  oli-obk

  committed
  3d1f645

• Difference between master and beta

  oli-obk

  committed
  a184097