rustup for big refactor; kill most of validation#434

Merged

oli-obk merged 25 commits intomasterfrom

Aug 30, 2018

Commits on Aug 16, 2018

Commits on Aug 17, 2018

fix compilation after rustc change
RalfJung
committed

Commits on Aug 18, 2018

update for rustc memory changes; fix (un)init intrinsic for ZST
RalfJung
committed

Commits on Aug 20, 2018

Commits on Aug 23, 2018

fix type renaming
RalfJung
committed

Commits on Aug 25, 2018

Commits on Aug 26, 2018