Merge pull request #434 from solson/rustup

rustup for big refactor; kill most of validation

no TLS dtor and no leak checks on macOS

pretend mprotect works

no RwLock on Windows

stack address functions for macOS

ignore memory leaks on Windows

pthreads test needs full MIR on Windows

VecDeque now requries full MIR; update to new nightly

some unary operator tests

small test for extern_type

update for MUT_STATIC_KIND

rustup

update for enum discriminant changes

test VecDeque

rustup

update for bool/char being checked at binops

rustup

fix leaks with -Zmiri-start-fn

update for miri engine: new function handling, new static handling, fixed leaks

fix type renaming

Merge remote-tracking branch 'origin/master'

rustup

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

fix compilation after rustc change

update for memory signedness removal; test some float casts

rustup for big refactor; kill most of validation

Merge pull request #431 from RalfJung/packed

Allow remainder on pointers, reenable packed-structs test

tweak test config in Cargo.toml

fix int ptr ops on 32bit

test some more things around packed structs

add a scary test case

fix modulo logic

support computing the remainder of a ptr, if covered by alignment

reenable an old test

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.