Stacked Borrows NG - #492

Merged

RalfJung merged 19 commits into

Oct 30, 2018

Commits on Oct 22, 2018

adapt to rustc API changes and factor out computing the tag for ty+mutbl
RalfJung
committed
1ae1b9b
rustc update and be very selective about what we accept on a deref
RalfJung
committed
dd1558f
some more compile-fail tests
RalfJung
committed
fda03e9
respect memory's privacy
RalfJung
committed
01828fd
get rid of implicit Raw at bottom of stack; locals get a uniq at their bottom
RalfJung
committed
26bb4f7
make sure raw ptrs only have to be valid as far as they are used
RalfJung
committed
44b3c38
use as(_mut)_ptr on slices to entirely escape them to raw
RalfJung
committed
8cd73e5

Commits on Oct 23, 2018

Commits on Oct 24, 2018

make some things public for the benefit of priroda
RalfJung
committed
a34b9c7

Commits on Oct 26, 2018

Merge remote-tracking branch 'origin/master' into rustup
RalfJung
committed
4a98f64

Commits on Oct 30, 2018

Merge remote-tracking branch 'origin/master' into rustup
RalfJung
committed
559f63a
bump Rust version
RalfJung
committed
942204e
disable validation for some tests that need further investigation
RalfJung
committed
a48b2cc
Merge remote-tracking branch 'origin/master' into rustup
RalfJung
committed
6cbe280
test cargo-miri without validation, and fix how we invoke it so we see output in case of failure
RalfJung
committed
9c95522
fix nits
RalfJung
committed
1fa0ff8