bors 2be0db4c0b Auto merge of #917 - RalfJung:isolation, r=oli-obk ...

change flag name: enable-communication -> disable-isolation

r? @oli-obk  -- I think this is a better name for the flag but it is still somewhat clumsy. Suggestions?

2019-08-27 10:02:07 +00:00

..

bin

Auto merge of #917 - RalfJung:isolation, r=oli-obk

2019-08-27 10:02:07 +00:00

shims

rustup

2019-08-27 08:32:31 +02:00

eval.rs

rustup

2019-08-27 08:32:31 +02:00

helpers.rs

Use err_unsup_format instead

2019-08-20 12:20:50 -05:00

intptrcast.rs

fix for error refactoring

2019-08-03 10:25:55 +02:00

lib.rs

Move env shims to its own module

2019-08-14 16:30:55 -05:00

machine.rs

rustup

2019-08-27 08:32:31 +02:00

mono_hash_map.rs

…

operator.rs

adjust for typed binary/unary_op

2019-08-18 07:42:15 +02:00

range_map.rs

fix unused variable warning

2019-07-06 09:32:35 +02:00

stacked_borrows.rs

fix for latest rustc

2019-08-05 10:45:48 +02:00