Merge pull request #455 from RalfJung/cargo-miri-version

cargo miri: show version number

cargo miri: show version number

Merge pull request #451 from TimDiekmann/master

Remove unchecked_shr/shl from intrinsics

bump Rust

move MemoryData to memory.rs; remove all the Hashing stuff

Remove (overflowing_)add/mul/sub(_with_overflow)

Remove unchecked_shr/shl from intrinsics

Merge pull request #448 from TheDarkula/master

Removed transmute from intrinsic.rs

Merge branch 'master' into master

Removed transmute from intrinsic.rs

Merge pull request #445 from solson/rustup

Rustup

more permissive pointer comparison logic

Merge branch 'master' into rustup

bump toolchain

Merge pull request #444 from RalfJung/windows

Unignore a bunch of tests that actually work

unignore a bunch of tests that actually work

also allow comparing pointers with integers so big that they cannot be equal

ptr equality: only defined for ptrs in the same allocation and live ptrs

new tests for new fn arg passing code

move some more helpers to rustc

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