bors 28717a0e90 Auto merge of #1776 - hyd-dev:1170, r=RalfJung ...

Implement calls to exported symbols (#1170)

Closes #1170.

2021-06-03 15:59:56 +00:00

..

bin

fix typo

2021-06-03 17:47:34 +02:00

shims

Use unwrap_or_else()

2021-05-31 11:57:15 +08:00

data_race.rs

avoid some borrow_mut calls in data_race

2021-05-23 18:04:13 +02:00

diagnostics.rs

Auto merge of #1776 - hyd-dev:1170, r=RalfJung

2021-06-03 15:59:56 +00:00

eval.rs

Add -Zmiri-disable-abi-check

2021-05-31 11:14:23 +08:00

helpers.rs

Auto merge of #1776 - hyd-dev:1170, r=RalfJung

2021-06-03 15:59:56 +00:00

intptrcast.rs

format much of Miri

2021-05-16 11:48:28 +02:00

lib.rs

Implement calls to exported symbols

2021-05-31 11:15:29 +08:00

machine.rs

Implement calls to exported symbols

2021-05-31 11:15:29 +08:00

mono_hash_map.rs

avoid ref in matches

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

operator.rs

rustup to e7c23ab933

2021-02-20 00:00:00 +00:00

range_map.rs

format much of Miri

2021-05-16 11:48:28 +02:00

stacked_borrows.rs

better approach to skip ZST reborrows

2021-05-23 18:04:13 +02:00

sync.rs

format much of Miri

2021-05-16 11:48:28 +02:00

thread.rs

avoid some borrow_mut calls in data_race

2021-05-23 18:04:13 +02:00

vector_clock.rs

format much of Miri

2021-05-16 11:48:28 +02:00