rust/src
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