bump Rust version

test that we cannot access unescaped static memory with a raw ptr

fix existing tests

fix thread-local example to no longer write to pointers derived from a shared ref;
fix compile-fail test

use new rustc infrastructure to tag the base pointer of static allocations

Merge pull request #759 from RalfJung/rustup

rustup for ... deprecation

rustup for ... deprecation

Rustup (#752)

Rustup

move fn_item/ptr tests to closures file

update for rustc warning about missing dyn

Merge pull request #751 from RalfJung/rc

test weak_into_raw

test weak_into_raw

try to make the Windows CI not rebuild Miri (#750)

try to make the Windows CI not rebuild Miri

try to make the Windows CI not rebuild Miri

miri build script: support building miri in debug mode;  avoid rebuilding Miri on CI (#747)

 miri build script: support building miri in debug mode;  avoid rebuilding Miri on CI

Merge branch 'master' into miri-build

fix for rustc changes (#749)

fix for rustc changes

tweak logic for determining rustc default target

print usage information on invalid command

fix for rustc changes

update for rustc Scalar changes, test for pointer wrapping ICE (#744)

update for rustc Scalar changes, test for pointer wrapping ICE

bump Rust

test for pointer wrapping ICE

adjust for rustc changes

also pass flags to install

reference cargo issue

avoid rebuilding Miri on CI

miri build script: support building miri in debug mode

add Miri build script (#745)

add Miri build script

Merge branch 'master' into miri-build

fix for latest rustc (#746)

fix for latest rustc

fix error pattern

fix for latest rustc

fix more indentation

remove redundant RUSTFLAGS

add comment

fix indentation

improve macOS-compatibility by being more awful

make miri script smarter: auto-determine MIRI_SYSROOT, handle MIRI_TEST_TARGET

improve backtraces

comments

adjust readme to miri build script

add 'miri' script to help build, test and run miri

dependency management

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