Ralf Jung f41decc6e1 Merge branch 'master' into cargo-miri-2018

2018-11-20 10:18:34 +01:00

..

bin

port cargo-miri-test to 2018 edition, mostly to test that that works with cargo miri

2018-11-19 22:59:41 +01:00

fn_call.rs

remove spurious assignments

2018-11-17 10:29:16 +01:00

helpers.rs

retagging: descent into values, type-driven

2018-11-16 11:09:33 +01:00

intrinsic.rs

raw ptr deref no longer erases the tag

2018-11-17 10:11:21 +01:00

lib.rs

UnsafeCell no longer needs to be on the whitelist

2018-11-20 08:50:08 +01:00

mono_hash_map.rs

use crate:: where appropriate

2018-11-01 08:57:22 +01:00

operator.rs

adjust for InboundsCheck parameter of memory bounds check

2018-11-20 08:45:25 +01:00

range_map.rs

stacked borrows: enforcement at memory accesses

2018-10-17 15:15:53 +02:00

stacked_borrows.rs

adjust for InboundsCheck parameter of memory bounds check

2018-11-20 08:45:25 +01:00

tls.rs

re-do large parts of stacked borrows, now with proper support for partiall frozen data

2018-11-08 08:29:34 +01:00