Code

Rustup#425

Code

Merged

RalfJung merged 12 commits intomasterrust-lang/miri:masterfrom rustuprust-lang/miri:rustupCopy head branch name to clipboardAug 14, 2018

+224-240

Commits

Commits on Aug 7, 2018

• Rustup

  oli-obk

  committed
  be91aea

  Copy full SHA for be91aea

Commits on Aug 8, 2018

• Add comments explaining why we do something complex for (un)init

  oli-obk

  committed
  7b44027

  Copy full SHA for 7b44027

Commits on Aug 14, 2018

• remove unnecessary features

  RalfJung

  committed
  f0070fc

  Copy full SHA for f0070fc

• Merge branch 'master' into rustup

  RalfJung

  authored
  d101e84

  Copy full SHA for d101e84

• bump toolchain

  RalfJung

  committed
  bed48ce

  Copy full SHA for bed48ce

• Merge branch 'master' into rustup

  RalfJung

  authored
  cec39d7

  Copy full SHA for cec39d7

• fix layout in discriminant_value

  RalfJung

  committed
  ad5403e

  Copy full SHA for ad5403e

• fix rustc_tests

  RalfJung

  committed
  30cef4e

  Copy full SHA for 30cef4e

• try using types with lower alignment, maybe that helps for Windows

  RalfJung

  committed
  354ec11

  Copy full SHA for 354ec11

• fix windows hooks

  RalfJung

  committed
  e10d83c

  Copy full SHA for e10d83c

• avoid recompiling miri for 2nd test run; avoid unreadable output due to backtraces

  Show description for 7c73df9
  RalfJung

  committed
  7c73df9

  Copy full SHA for 7c73df9

• Fix remaining windows hooks

  RalfJung

  committed
  1fbf998

  Copy full SHA for 1fbf998