Ralf Jung 65f5c27d61 remove intrinsic that is now implemented in the rustc side

2020-12-22 12:47:59 +01:00

..

bin

remove miri-rustc-tests

2020-11-29 21:00:50 +01:00

shims

remove intrinsic that is now implemented in the rustc side

2020-12-22 12:47:59 +01:00

data_race.rs

Tidy new_allocation

2020-12-13 11:14:41 +00:00

diagnostics.rs

rustup

2020-12-10 19:53:45 +01:00

eval.rs

Tidy up comments and function layout, should fix most of the review notes.

2020-11-15 18:30:26 +00:00

helpers.rs

rustup

2020-11-11 10:29:10 +01:00

intptrcast.rs

adjust to canonical_alloc_id removal

2020-07-27 23:32:15 +02:00

lib.rs

Update release sequence handling to C++20 semantics.

2020-12-06 16:58:32 +00:00

machine.rs

Rework to work with machine hook.

2020-12-13 11:04:58 +00:00

mono_hash_map.rs

avoid ref in matches

2020-04-12 10:08:12 +02:00

operator.rs

renamed ScalarMaybeUninit::not_undef to check_init

2020-07-26 16:05:20 -06:00

range_map.rs

Stacked Borrows: print affected memory location on errors

2020-10-28 12:04:39 +01:00

stacked_borrows.rs

add an option to track raw pointer tags in Stacked Borrows

2020-10-28 12:23:35 +01:00

sync.rs

Fix review changes

2020-11-22 17:28:12 +00:00

thread.rs

Tidy up comments and function layout, should fix most of the review notes.

2020-11-15 18:30:26 +00:00

vector_clock.rs

Update release sequence handling to C++20 semantics.

2020-12-06 16:58:32 +00:00