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

update cargo miri test to test rng crate a bit; this currently fails

fix compile-fail test

tweak entropy tests a bit

be pragmatic about ptr-int comparisons, for now

Merge pull request #690 from RalfJung/rustup

rustup

rustup

Merge pull request #689 from RalfJung/rustup

lower rand version requirement

Merge branch 'master' into rustup

lower rand version requirement

Merge pull request #688 from RalfJung/rustup

rustup

rustup

Merge pull request #687 from RalfJung/rustup

rustup

rustup

Merge pull request #680 from RalfJung/miri-unsized

test calling Box<dyn FnOnce>

bump Rust version

Merge remote-tracking branch 'origin/master'

fix async-fn test

Merge pull request #683 from Aaron1011/feature/random

Implement non-deterministc mode

Don't create HashMap<K, V> when not needed

Fix typo

Co-Authored-By: Aaron1011 <aa1ronham@gmail.com>

Merge branch 'master' into feature/random

Some final cleanup

Retrieve SYS_getrandom from libc using const-eval

Fix compile-fail error message