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

do not use 'let _', it is strange

Merge pull request #536 from RalfJung/self-referential-generator

test self-referential generator

Merge branch 'master' into self-referential-generator

Merge pull request #519 from solson/allocations

Update to Memory -> Allocation method move

bump Rust version

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

Merge pull request #541 from solson/rustup

fix for new Align type

bump Rust

Update to Memory -> Allocation method move

fix for new Align type

Merge pull request #538 from solson/rustup

remove stabilized feature flag

bump rust

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

Merge pull request #540 from RalfJung/partially-invalidate-mut

test that we support partial invalidation of mutable references

Merge branch 'master' into partially-invalidate-mut

Merge pull request #539 from RalfJung/no-frozen-mut

on a deref, check that we are not using a mutable ref with a frozen tag

test that we support partial invalidation of mutable references

slightly more verbose error msg

if let

on a deref, check that we are not using a mutable ref with a frozen tag

remove stabilized feature flag

Merge pull request #537 from solson/rustup

bump Rust

make sure compile-fail tests would compile if we screw up

bump Rust

also add an async fn test

test self-referential generator

Merge pull request #535 from RalfJung/tests-edition-2018

Use edition 2018 for tests

make tests compatible with 2018 edition

use 2018 edition for tests

Merge pull request #533 from RalfJung/cargo-miri-2018

port cargo-miri-test to 2018 edition, mostly to test that that works with cargo miri

Merge branch 'master' into cargo-miri-2018

Merge pull request #526 from RalfJung/mut-visitor

Retagging: Recurse into compound values

stdout not implemented on windows

UnsafeCell no longer needs to be on the whitelist

adjust for InboundsCheck parameter of memory bounds check

bump Rust version

Merge branch 'miri-backtrace' into mut-visitor

port cargo-miri-test to 2018 edition, mostly to test that that works with cargo miri

add an interesting testcase

reorder cargo flags for consistency

Merge remote-tracking branch 'origin/master' into mut-visitor

Merge pull request #530 from RalfJung/appveyor

AppVeyor: consistently use --all-features

AppVeyor: consistently use --all-features

Merge pull request #529 from matthiaskrgr/bench

benchmarks: make them build again

travis: build benchmarks as well

Boxes can also use the fast path

add comment about not using builtin_deref

benchmarks: make them build again

remove spurious assignments

raw ptr deref no longer erases the tag

escape-on-cast, now ptr-deref does not change the tag at all, ever

also consider boxes like unique references

Merge pull request #527 from steveklabnik/patch-2

fix cargo invocation in the readme

fix cargo invocation in the readme

Factor out common top-level code from escape-to-raw and retag

add some tests for retagging inside tuples and options

retagging: descent into values, type-driven

Merge pull request #524 from RalfJung/escape-to-raw

Stacked Borrows beautififcation, update for EscapeToRaw

stacked borrows is broken without full MIR

Merge remote-tracking branch 'origin/master' into escape-to-raw

Merge pull request #525 from RalfJung/trust-the-type-system

remove type system tests

where there is 2, there should be 1

remove type system tests

bump Rust