rustup for big refactor; kill most of validation

Merge pull request #425 from solson/rustup

Rustup

Fix remaining windows hooks

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

also some travis config cleanup

fix windows hooks

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

fix rustc_tests

fix layout in discriminant_value

Merge branch 'master' into rustup

Merge pull request #429 from RalfJung/cargo-miri-test

Cargo miri test

update README: 'cargo miri' with full MIR; consistent capitalization

fix 'cargo miri test' for full MIR, and run it on CI

bump toolchain

Merge branch 'master' into rustup

Merge pull request #428 from RalfJung/toolchain

document and fully use rust-toolchain file

remove unnecessary features

document and fully use rust-toolchain file

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

Rustup

Merge pull request #422 from RalfJung/default-run

Revert "Disable blood letting edge features"

Merge branch 'master' into default-run

Merge pull request #424 from RalfJung/fewer-deps

remove dependency on lazy_static and regex by getting rid of some dead validation hack

remove dependency on lazy_static and regex by getting rid of some dead validation hack

Merge pull request #423 from RalfJung/memchr

mem(r)chr is working in miri now

fix format string to obtain desired output

mem(r)chr is working in miri now

Revert "Disable blood letting edge features"

This reverts commit 305d8aeafe4ab53d7809ec6a1b9227166bd4fa63.

Merge pull request #421 from RalfJung/storage_dead_ub

make sure that StorageDead invalidates the backing store

make sure that StorageDead invalidates the backing store

Merge pull request #419 from RalfJung/sysroot

clarify error message when sysroot was not found

clarify error message when sysroot was not found

Merge pull request #381 from solson/sanity_checks

Update to rustc sanity check branch

Merge branch 'master' into sanity_checks

Merge pull request #415 from RalfJung/cargo-miri

test `cargo miri` output

nicer diff formating

memrchr currently does not work

dont test cargo miri output on mac. no idea what that system is doing.

detect another printing function for nicer error

also show the output (though we lost the interleaving)

we no longer need to mess with the environment in our test suite

test `cargo miri` output

Bump min dependency version

Disable blood letting edge features

Ignore tests

the bool thing will be fixed by the validation I have planned, and we already ignored another test around modifing constants.

make miri compile again

Update to rustc sanity check branch

Merge pull request #413 from solson/exit_code

Produce the exit codes that compiletest expects

Produce the exit codes that compiletest expects

Merge pull request #411 from RalfJung/default-run

use default-run

fix vecs.rs path

use default-run

Merge pull request #410 from RalfJung/rustup

fix for latest rust nightly

also fix rustc_tests

fix for latest rust nightly

Merge pull request #401 from RalfJung/tests

run fullMIR tests in appveyor

TLS on Windows

shim some Windows functions

appveyor: put 64bit config first, it seems to usually be faster

run fullMIR tests in appveyor

Merge pull request #409 from solson/hack_branch_for_miri_do_not_delete_until_merged

Hack branch for miri do not delete until merged

Merge branch 'master' into hack_branch_for_miri_do_not_delete_until_merged

Merge pull request #407 from RalfJung/readme

update rustc build instructions to mention keep-stage

Merge branch 'master' into readme

Merge pull request #408 from RalfJung/rustup

Rustup

Merge branch 'master' into hack_branch_for_miri_do_not_delete_until_merged

no longer run rustc on the tests; instead make sure we actually deny all warnings

Also fix the fallout from that

update rustc build instructions to mention keep-stage

Also move them further down because it is probably less relevant than some of
the other stuff.

Test some new capabilities we gained from a rustc update

Merge pull request #406 from RalfJung/windows

handle all foreign items like we handle C ABI shims

handle all foreign items like we handle C ABI shims

Merge pull request #404 from RalfJung/error

make sure we show error messages even when we cannot show span

port some tests to check the new error format

make sure we show error messages even when we cannot show span

Merge pull request #403 from RalfJung/readme

refine rustc build instructions

refine rustc build instructions

Merge pull request #387 from ecstatic-morse/eq-hash

Implement `Eq`, `Clone` and `Hash` for MemoryData and Evaluator

Merge branch 'master' into eq-hash

Merge pull request #400 from RalfJung/tests

put everything into a single test to fix interleaved output mess

testsuite: put everything into a single test to fix interleaved output mess

Merge pull request #399 from RalfJung/readme

update debugging instructions in the README

update debugging instructions in the README

Merge pull request #398 from RalfJung/tests

testsuite: Improve sysroot and fullmir handling

Merge branch 'master' into tests

Merge pull request #397 from RalfJung/deps

bump outdated dependencies

colored test output!

Merge branch 'master' into deps

remove xargo logic; instead rely on MIRI_SYSROOT being set to run full MIR tests

don't run all compile-fail tests with full MIR

Merge pull request #395 from RalfJung/tests

Test suite work

ignore panic test on Windows

typo

move tests that no longer need MIR out of fullmir

fix many tests and ignore some others; enable compile_fail tests again

bump dependencies

Merge pull request #394 from RalfJung/start-fn

document -Zmiri-start-fn; make its logic more clear

Merge branch 'master' into start-fn

Merge pull request #393 from RalfJung/no-bin

stop producing binaries

use -Zmiri-start-fn as a clue to REQUIRE the lang item to be present

document -Zmiri-start-fn; make its logic more clear

without aux builds, we don't need to set always-encode-mir any more