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

stop producing binaries

Merge pull request #392 from RalfJung/dirs

fix deprecation warning: use dirs crate for home_dir

fix deprecation warning: use dirs crate for home_dir

Merge pull request #391 from bjorn3/clippy_fixes

Clippy fixes

Fix some clippy lints

Workaround for rustc bug

Rustup

Rustup

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

In order to implement infinite loop detection while executing MIR, both
the implementor of `Machine` (`Evaluator`) and its associated type
(`MemoryData`), must implement `Eq` and `Hash`. This PR adds the
required trait implementations.

It's possible that the `Hash` implementations need to be improved; only
the `env_vars` field of `Evaluator` and the `thread_local` field of
`MemoryData` are actually being hashed. Omitting fields from a `Hash`
implementation is not incorrect, but could lead to collisions if the
ignored fields are changing constantly. Perhaps I should instead derive
`Hash` on a few more fields related to MIR validation?

Merge pull request #386 from mati865/rustup

Rustup

Rusutp

Merge pull request #385 from bjorn3/patch-1

Add missing pub

Add missing pub

Merge pull request #384 from bjorn3/create_ecx

Split create_ecx out of eval_main

Split create_ecx out of eval_main

Merge pull request #383 from bjorn3/rustup

Rustup to rustc 1.28.0-nightly (2a0062974 2018-06-09)

Fix rustc_tests

Rustup to rustc 1.28.0-nightly (2a0062974 2018-06-09)

Merge pull request #376 from bjorn3/fix_some_tests

Fix a couple of compile-fail tests

Re-enable never_transmute_humans.rs

Convert legitimate failing errors to the new error format

Convert some of the tests to the new format

Address some review comments

Fix a couple of tests

Merge pull request #380 from solson/rustup

Rustup

Merge remote-tracking branch 'origin/master' into rustup

Reenable the rustc tester

Update cargo-miri

Use correct bit size when reading usize values

`to_u64` and `to_bytes` are horribly easy to use wrongly.

`align_offset` intrinsic is now a lang item

TlsKey is messy because it changes types between systems

Comparing non-pointer-size types should be possible

Comparing Scalar's with differend `defined`  values is false

`memcmp` returns `i32`

Partial rustup

s/allocate_cached/allocate_bytes

Rustup to rustc 1.28.0-nightly (a3085756e 2018-05-19)

trans -> codegen_backend

Rustup to rustc 1.28.0-nightly (952f344cd 2018-05-18)

Enable backtraces for tests

Rustup to rustc 1.27.0-nightly (ff2ac35db 2018-05-12)

Reenable the rustc tester

Update cargo-miri

Use correct bit size when reading usize values

`to_u64` and `to_bytes` are horribly easy to use wrongly.

`align_offset` intrinsic is now a lang item

TlsKey is messy because it changes types between systems

Comparing non-pointer-size types should be possible

Comparing Scalar's with differend `defined`  values is false

`memcmp` returns `i32`

Partial rustup

s/allocate_cached/allocate_bytes

Rustup to rustc 1.28.0-nightly (a3085756e 2018-05-19)

trans -> codegen_backend

Rustup to rustc 1.28.0-nightly (952f344cd 2018-05-18)

Enable backtraces for tests

Rustup to rustc 1.27.0-nightly (ff2ac35db 2018-05-12)

add iter_any test

Merge pull request #253 from solson/oli-obk-patch-1

Try running miri on osx

Test miri on mac os

Merge pull request #377 from bjorn3/rustup_2018-05-10

Rustup to 1.27.0-nightly (acd3871ba 2018-05-10)

Rustup to 1.27.0-nightly (acd3871ba 2018-05-10)

Merge pull request #375 from solson/cleanups

cargo cache was messing up xargo/miri install

cargo cache was messing up xargo/miri install

Merge pull request #374 from solson/cleanups

Cleanups

Move back to a normal folder structure

Appveyor update to ignore Cargo.lock

Merge pull request #368 from solson/rustup

Rustup

Update the rustc_tests crate

Disable cargo miri test for now

Fix some bad conversions on 32 bit emulation

Pointers must be valid, even pointers to zsts

Implement missing intrinsic

Hide some warnings/Fix build