Ralf Jung 5766b32871 update test for cargo-miri

2019-02-07 13:03:03 +01:00

..

bin

update test for cargo-miri

2019-02-07 13:03:03 +01:00

fn_call.rs

panic_impl is another way to panic

2019-02-06 11:41:45 +01:00

helpers.rs

get rid of to_bytes hack

2018-12-11 14:32:59 +01:00

intrinsic.rs

implement atomic_nand

2019-02-06 11:40:10 +01:00

lib.rs

cargo miri: refactor how we detect what to interpret and how we run cargo rustc, fix running unit tests

2019-02-07 13:00:27 +01:00

mono_hash_map.rs

Explain Ref problems

2019-01-22 17:19:19 +01:00

operator.rs

use memory::check_bounds_ptr for offset check

2018-12-26 13:16:47 +01:00

range_map.rs

expand docs

2019-01-07 19:41:18 +01:00

stacked_borrows.rs

deduplicate RangeMap elements in iter_mut

2019-01-07 15:10:22 +01:00

tls.rs

avoid repeating signatures in EvalContext extension traits

2018-12-11 14:16:58 +01:00