implement passing arguments to the interpreted program

Merge pull request #625 from RalfJung/likely

fix (un)likely intrinsics

fix (un)likely intrinsics

Merge pull request #621 from RalfJung/bash

make bash more strict

Merge branch 'master' into bash

Merge pull request #620 from RalfJung/stderr-flush

we don't need to flush stderr

make bash more strict

we don't need to flush stderr

Merge pull request #619 from RalfJung/stderr-flush

flush stdout/stderr to make sure it appears on the screen

flush stdout/stderr to make sure it appears on the screen

Merge pull request #618 from RalfJung/cargo-miri

Fix cargo miri test on lib crates

Fix cargo miri test on lib crates

Merge pull request #617 from RalfJung/cargo-miri

update docs

update docs

Merge pull request #616 from RalfJung/cargo-miri

Fix cargo miri on unit tests, refactor it a bit, set rust flag instead of feature flag

update test for cargo-miri

cargo miri: refactor how we detect what to interpret and how we run cargo rustc, fix running unit tests

make release builds have debug info

Merge pull request #610 from RalfJung/panic

Support panic_impl and atomic_nand

panic_impl is another way to panic

implement atomic_nand

Merge pull request #609 from RalfJung/readme

update development instructions in README

explain how to run cargo miri with a locally compiled rustc

update development instructions in README

Merge pull request #607 from solson/travis

Try out more email notifications

Try out more email notifications

Merge pull request #606 from solson/rustup

Rustup

bump Rust

fix generator test case

Merge pull request #604 from solson/rustup

Rustup

bump Rust

fix tests to avoid deprecated constants

Merge pull request #601 from RalfJung/comment

remove outdated comment

remove outdated comment

Merge pull request #600 from solson/rustup

Expose `AllocId`s for priroda

Explain Ref problems

Expose `AllocId`s for priroda

Merge pull request #599 from solson/rustup

Update to latest rustc master

Bump version file

Update to latest rustc master

Merge pull request #597 from RalfJung/range-map

rewrite range map

make MSE bench run a bit longer (less noise)

expand docs

add the benchmarks I used

tweak merging to give up if we don't make any progress

be explicit about doing a binary search; fix out-of-bounds check

deduplicate RangeMap elements in iter_mut

This cuts down execution time of the benchmark in the OP of https://github.com/solson/miri/issues/593 by another 25%, and it cuts max-RSS by 90% (!)

rewrite RangeMap to use a sorted Vec instead of a RangeMap

This gives us a 20% perf improve for the benchmark from https://github.com/solson/miri/issues/593

range_map: also test size of the internal representation

Merge pull request #598 from solson/rustup

implement panic_if_uninhabited intrinsic

implement panic_if_uninhabited intrinsic

Merge pull request #596 from RalfJung/backtrace

move env var stuff out of the miri lib

Merge branch 'master' into backtrace

Merge pull request #595 from RalfJung/2phase

test some more 2PB stuff

move env var stuff out of the miri lib

test some more 2PB stuff

Merge pull request #592 from RalfJung/readme

README: fix install command

fix install command

Merge pull request #588 from RalfJung/env-logger

bump env_logger

Merge branch 'master' into env-logger

Merge pull request #590 from RalfJung/check-bounds

add test for offseting fn ptr

add test for offseting fn ptr

Merge pull request #589 from RalfJung/check-bounds

use memory::check_bounds_ptr for offset check

use memory::check_bounds_ptr for offset check

bump env_logger

Merge pull request #587 from solson/rustup

Fix comparing function pointers

bump Rust version

properly compare unequal function pointers

fix build and tests with latest nightly

Merge pull request #586 from solson/rustup

fix for infallible allocation

bump Rust version

update README for some tracing being available on nightlies

fix for infallible allocation

Merge pull request #585 from solson/rustup

fix test for latest nightly

fix test for latest nightly

Merge pull request #572 from solson/rustup

Treat ref-to-raw cast like a reborrow: do a special kind of retag

bump Rust version

Merge branch 'master' into rustup

Merge pull request #578 from RalfJung/misc

Test cargo-miri on Windows

fix argv null terminator

implement GetCommandLineW, GetEnvironmentVariableW, GetConsoleScreenBufferInfo, SetConsoleTextAttribute, GetSystemInfo

run test-cargo-miri on Windows

implement stdout/stderr on Windows

Merge pull request #580 from RalfJung/cargo-miri

Cargo miri tweaks and test that we can exclude tests

document the cargo-miri feature

no need to set the cargo-miri feature twice

add a test for excluding tests on miri

actually show warnings about suppressed output

xargo version check: also check application name, just to be sure

sync env vars between appveyor and travis

test-cargo-miri: be more clear that and why the test failed

remove outdated README comment

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

Fix cargo miri test

typo

there is a new xargo released, use that

implement macOS functions for argc, argv

btree is fixed

bump Rust version, fix test-cargo-miri and it no longer needs to disable validation

Merge remote-tracking branch 'origin/master' into cargo-miri-test

Merge pull request #574 from solson/rustup2

fix for latest nightly