fix for latest rustc

Merge pull request #742 from RalfJung/stacked-borrows-2

add more bugs we found to README; use consistent printing in Stacked Borrows

avoid printing the tag twice

avoid having both Debug and Display for a type and using the wrong one

add more bugs that Miri found

Merge pull request #741 from RalfJung/stacked-borrows-2

use prettier printing

use prettier printing

Merge pull request #740 from RalfJung/stacked-borrows-2

hopefully improve error message a bit

hopefully improve error message a bit

Merge pull request #738 from RalfJung/stacked-borrows-2

test for new read rules

test for new read rules

Merge pull request #736 from rust-lang/rustup

prepare for MaybeUninit stabilization

Merge remote-tracking branch 'origin/master' into master.2

update Rust

Merge pull request #734 from RalfJung/readme

expand explanation of how we treat validity invariants

prepare for MaybeUninit stabilization

expand explanation of how we treat validity invariants

Merge pull request #732 from RalfJung/stacked-borrows-2

fix typo

typo

Use `drain` instead of manually rolling it ourselves (#731)

Use `drain` instead of manually rolling it ourselves

Prefer `drain` over manual implementation of `drain`

Merge pull request #730 from RalfJung/stacked-borrows-2

nits

nits

test and support two-phase reborrows of raw pointers (#727)

test and support two-phase reborrows of raw pointers

reading does not remove Unique, it just invalidates them

fix tests

give up on two-phase borrows

deduplicate tests

this also fixed our 2-phase woes

refactor to simplify

make writes act stack-like

make printing return place less verbose (#728)

make printing return place less verbose

make printing return place less verbose

Rustup (#723)

Rustup

bump Rust

fix for latest rustc

RUST_LOG got renamed to RUSTC_LOG

make HashMap test a bit nicer

build with latest version

Merge pull request #726 from RalfJung/stacked-borrows-2

rename per-location aprt of reborowing to 'granting'

Update src/stacked_borrows.rs

Co-Authored-By: bjorn3 <bjorn3@users.noreply.github.com>

rename per-location part of reborowing to 'granting'

Merge pull request #725 from RalfJung/xargo

switch back to upstream xargo

switch back to upstream xargo

Merge pull request #720 from RalfJung/rustup

fix for latest Rust

fix tests for latest Rust

switch to my xargo fork, because that one works with current libstd

Merge pull request #719 from RalfJung/stacked-borrows-2

add arielby's example

add arielby's example

Merge pull request #718 from RalfJung/stacked-borrows-2

SharedReadOnly reborrows are never weak

Apply suggestions from code review

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

SharedReadOnly reborrows are never weak

Merge pull request #717 from Eijebong/metadata

Update cargo_metadata to 0.7

Update cargo_metadata to 0.7

Merge pull request #716 from RalfJung/rustup

fix HeapFree return value

fix HeapFree return value

bump Rust

Merge pull request #714 from RalfJung/readme

trophy case: add rand

trophy case: add rand; separate definite bugs from stacked-borrows-is-not-yet-official bugs

Merge pull request #702 from RalfJung/exit

implement exit

unify code paths

Merge branch 'master' into exit

Merge pull request #709 from RalfJung/macos-rand

implement SecRandomCopyBytes for macOS RNG

make run-test runnable from other directories

no need to allow any more

gen_random: handle size 0 and writing to mem

implement SecRandomCopyBytes for macOS RNG

Merge pull request #710 from RalfJung/travis

Travis: test cargo miri on foreign arch

Travis: test cargo miri on foreign arch

Merge pull request #708 from RalfJung/alloc-tests

test System/Global allocator API: alloc_zeroed, realloc

Windows: implement heap functions

test System/Global allocator API: alloc_zeroed, realloc

implement ExitProcess for Windows

fix compile-fail ref files

implement exit

implement exit code via new error kind

Merge pull request #704 from RalfJung/dev

Hopefully make it a bit easier to develop on Miri

Merge branch 'master' into dev

add section on the no MIR error

Merge pull request #697 from RalfJung/linked-list

add LinkedList test and mention the bug Miri found there

bump Rust version

add LinkedList test and mention the bug Miri found there

Merge pull request #703 from RalfJung/compiletest

bump compiletest

rewirte development part of README

warn when cargo miri setup does not do anything

bump compiletest

Merge pull request #699 from RalfJung/stacked-borrows-2

test another version of 'creating a shared ref must not leak the Unique'

test another version of 'creating a shared ref must not leak the Unique'

two-phase-borrow comment

Merge pull request #698 from RalfJung/stacked-borrows-2

test that creating a 2nd mutable ref from a NonNull invalidates the first

Merge branch 'master' into stacked-borrows-2

Merge pull request #696 from TimDiekmann/realloc

Add `realloc`

try to fix Windows CI

remove some unneeded 'extern crate'

Add handling for `nullptr` and `size == 0`

CI: build with debug assertions

test that creating a 2nd mutable ref from a NonNull invalidates the first

Fix for latest upstream update

Merge branch 'master' into realloc

Merge pull request #695 from RalfJung/stacked-borrows-2

Stacked borrows 2 (alpha 1)

Add `realloc`