Thom Chiovoloni d310620c11 Allow configuring the failure rate with -Zmiri-compare-exchange-weak-failure-rate

2021-01-26 00:13:54 -08:00

..

bin

Allow configuring the failure rate with -Zmiri-compare-exchange-weak-failure-rate

2021-01-26 00:13:54 -08:00

shims

Add random failures to compare_exchange_weak

2021-01-26 00:13:54 -08:00

data_race.rs

Allow configuring the failure rate with -Zmiri-compare-exchange-weak-failure-rate

2021-01-26 00:13:54 -08:00

diagnostics.rs

rustup

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

eval.rs

Allow configuring the failure rate with -Zmiri-compare-exchange-weak-failure-rate

2021-01-26 00:13:54 -08: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

Remove #![feature(const_generics)] and #![allow(incomplete_features)]

2021-01-17 23:28:20 +08:00

machine.rs

Allow configuring the failure rate with -Zmiri-compare-exchange-weak-failure-rate

2021-01-26 00:13:54 -08: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