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`

embrace find_map and some whitespace changes

Apply suggestions from code review

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

more tests -- also one showing why we are not done yet

bump Rust

add tests for fixes: sharing no longer leaks, and we can handle entering interior mutability

barriers are dead, long live protectors -- this enables overlapping two-phase borrows!

test creating two raw pointers from the same mutable ref

abstract mapping over all the stacks in some memory range

let the permission of a new pointer depend on the type only

organize stacked borrows run-pass tests

try to test the problematic cast-to-raw case... unfortunately with the implicit reborrow that's not currently possible

some failures are impossible

adjust compile-fail error messages

This also passes miri-test-libstd!

more comments

make run-pass tests pass. tweak how we remove barriers.

rewrite Stacked Borrows Core. this passes stacked-borrows.rs!

Merge pull request #694 from RalfJung/readme

document -Zmiri-seed

document -Zmiri-seed

Merge pull request #692 from RalfJung/rand

Fix 0-sized getrandom and thread_rng()

fix RtlGenRandom argument size

Merge branch 'master' into rand

Merge pull request #691 from RalfJung/pragmatic-ptr-eq

be pragmatic about ptr-int comparisons, for now

try to really fix tests on macOS

fix tests on macOS

pick better test names

fix ref file

stub out pthread_atfork to that we support thread_rng()

fix 0-sized getrandom