Ralf Jung 7b2d2cfa46 use exhaustive struct match for manual Debug impl

2021-06-20 19:33:05 +02:00

..

bin

Do not return DefId that doesn't have exported symbol in exported_symbols

2021-06-14 20:55:27 +08:00

shims

Auto merge of #1833 - hyd-dev:82261, r=RalfJung

2021-06-15 10:07:24 +00:00

data_race.rs

avoid some borrow_mut calls in data_race

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

diagnostics.rs

Disallow #[no_mangle]/#[export_name = ...] functions that have the same symbol name as built-in shims

2021-06-11 15:18:47 +08:00

eval.rs

Auto merge of #1818 - landaire:feature/panic-on-unsupported-syscalls, r=RalfJung

2021-06-09 18:09:06 +00:00

helpers.rs

Remove strip_linker_suffix

2021-06-15 01:16:38 +08:00

intptrcast.rs

format much of Miri

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

lib.rs

Add a support to execute isolated op without halting

2021-06-09 05:50:52 -07:00

machine.rs

use exhaustive struct match for manual Debug impl

2021-06-20 19:33:05 +02: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