we have no whitelist any more, go back to opt-level 3

VecDeque got fixed

fix libc feature gate

Merge pull request #573 from RalfJung/rustc-wrapper

use RUSTC_WRAPPER for the cargo hook

travis: explain what we are doing

fix warning

move travis commands to script file, maybe that fixes the macOS weirdness

*oops*

use show_error to terminate

use RUSTC_WRAPPER for the cargo hook

Merge pull request #570 from RalfJung/targets

do not auto-detect the targets in the sysroot, instead specify target manually through env var

do not auto-detect the targets in the sysroot, instead specify target manually through env var

Merge pull request #568 from RalfJung/cleanup

Cleanup: Avoid repeating signatures, get rid of to_bytes hack

get rid of to_bytes hack

make some functions private to StackedBorrows

avoid repeating signatures in EvalContext extension traits

Merge pull request #566 from RalfJung/foreign-full-mir

Support building and running with full MIR on foreign architectures, drop support for missing MIR

use rustc_version also to parse host in compiletest

remove support for not having libstd MIR

fix CI

fix setting the manifest path manually when using cargo miri

MIRI_SYSROOT is no longer needed for development agains a locally built rustc

the test suite assumes a libstd with full MIR; run test suite on xargo-built foreign libstds

cargo miri: support foreign targets

factor grabbing of cargo options into separate function and make it better

Merge pull request #564 from solson/rustup

Support two-phase borrows, and other rustup

fix benches

bump Rust version, fix build

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

Merge pull request #565 from RalfJung/fixme

add FIXME test for coercing &mut to *const

add FIXME test for coercing &mut to *const

fix tests

Merge remote-tracking branch 'origin/master' into stacked-borrows-2-phase

Merge pull request #559 from RalfJung/fixme

remove/fix outdated FIXMEs in tests

Merge branch 'master' into stacked-borrows-2-phase

Merge branch 'master' into fixme

Merge pull request #557 from RalfJung/fix-mutability-gap

fix mutability gap: do not allow shared mutation when creating frozen reference

add FIXME

use assert

Merge branch 'master' into fixme

bump nightly

disable VecDeque test until the fix lands in rustc

fix mutability gap: do not allow shared mutation when creating frozen reference

Merge pull request #561 from solson/rustup

We don't need no whitelist

we don't need no whitelist

Merge pull request #560 from RalfJung/libstd-features

build libstd with minimal features

build libstd with minimal features

assert some sense

support for basic (non-overlapping) 2-phase borrows

Merge pull request #556 from Nemo157/skip-embedded-targets

Skip testing targets that don't ship libstd

Merge branch 'master' into skip-embedded-targets

Skip testing targets that don't ship libstd

remove a whole lot of unnecessary attributes

remove/fix outdated FIXMEs in tests

Merge pull request #558 from RalfJung/cargo-miri

do not even look for cargo metadata in 'cargo miri setup'

do not even look for cargo metadata in 'cargo miri setup'

Merge pull request #555 from RalfJung/readme

update README to first describe the usual user setup

update contact channels

add link within document

update README to first describe the usual user setup, and to always set up a proper libstd

Merge pull request #553 from solson/rustup

Stacked Borrow: Barriers

new nightly, new luck

async fn got fixed

disable async-fn, for now

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

bump Rust version

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

Expose some things for priroda

Typo

Co-Authored-By: RalfJung <post@ralfj.de>

Merge remote-tracking branches 'origin/master' and 'ralf/shrink-whitelist' into memory-data-revived

Merge branch 'master' into oli-obk-patch-1

Use explicit `dyn` trait object

Merge pull request #549 from RalfJung/readme

fix README install instructions

fix README install instructions

Expose some internals for priroda

barriers prevent deallocation

no barriers for boxes

for now, we allow Undef in raw pointers as we do in integers

implement function barriers

track call IDs

adjust for memory_allocated hook, make RangeMap preallocated with a fixed size

Merge pull request #543 from RalfJung/auto-libstd

Automatically build libstd

use new dir for CI and docs

inform the user when and where we are creating a cache dir

we need to recursively create the dir

use proper platform cache dir

Merge remote-tracking branch 'origin/master' into auto-libstd

std::ptr no longer needs whitelisting

tweaks

remove unneeded backtrace feature

cargo miri setup: print when we are executing commands

there are less places now to keep the flags in sync

install directly from git repo

kill xargo dir and update docs

tweak comments, remove debug output

use cargo miri setup for CI

complete setup routine: instal rust-src, build libstd, use it

setup routine to install xargo when missing

cargo miri: factor package manifest logic into separate function

fix clippy lint whitelisting

Merge pull request #544 from RalfJung/let_

do not use 'let _', it is strange