Ralf Jung f24d0354f9 rewrite RangeMap to use a sorted Vec instead of a RangeMap ...

This gives us a 20% perf improve for the benchmark from https://github.com/solson/miri/issues/593

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

..

bin

move env var stuff out of the miri lib

2019-01-04 15:37:51 +01:00

fn_call.rs

fix for infallible allocation

2018-12-23 14:13:16 +01:00

helpers.rs

get rid of to_bytes hack

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

intrinsic.rs

implement panic_if_uninhabited intrinsic

2019-01-07 11:23:08 +01:00

lib.rs

move env var stuff out of the miri lib

2019-01-04 15:37:51 +01:00

mono_hash_map.rs

Use explicit dyn trait object

2018-11-27 16:20:15 +01:00

operator.rs

use memory::check_bounds_ptr for offset check

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

range_map.rs

rewrite RangeMap to use a sorted Vec instead of a RangeMap

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

stacked_borrows.rs

treat ref-to-raw cast like a reborrow: do a special kind of retag

2018-12-12 11:11:20 +01:00

tls.rs

avoid repeating signatures in EvalContext extension traits

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