Ralf Jung b259512c57 bump for ENABLE_PTR_TRACKING_HOOKS, and remove some dead code

2018-10-17 17:36:07 +02:00

..

bin

cargo-miri: support running unit tests for libraries as well as test binaries

2018-10-15 18:38:07 +00:00

fn_call.rs

stacked borrows: enforcement at memory accesses

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

helpers.rs

add Borrow tag to pointers; remove old locking code

2018-10-16 18:35:27 +02:00

intrinsic.rs

stacked borrows: enforcement at memory accesses

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

lib.rs

bump for ENABLE_PTR_TRACKING_HOOKS, and remove some dead code

2018-10-17 17:36:07 +02:00

mono_hash_map.rs

update for ptr provenance

2018-10-11 08:42:26 +02:00

operator.rs

stacked borrows: track refs and derefs

2018-10-16 18:35:27 +02:00

range_map.rs

stacked borrows: enforcement at memory accesses

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

stacked_borrows.rs

bump for ENABLE_PTR_TRACKING_HOOKS, and remove some dead code

2018-10-17 17:36:07 +02:00

tls.rs

stacked borrows: track refs and derefs

2018-10-16 18:35:27 +02:00