Implement calls to exported symbols (#1170)#1776

Merged

bors merged 12 commits intomasterfrom

unknown repository

Jun 3, 2021

Commits on May 31, 2021

Add `-Zmiri-disable-abi-check`
hyd-dev
committed
Implement calls to exported symbols
hyd-dev
committed
Move `-Zmiri-disable-abi-check` in README
hyd-dev
committed
Move `check_abi()` into `EvalContextExt`
hyd-dev
committed
We don't need to check `SymbolExportLevel`
hyd-dev
committed
Use `unwrap_or_else()`
hyd-dev
committed
Remove duplicated "foreign function"
hyd-dev
committed
Move the test to `src/main.rs`
hyd-dev
committed
Improve tests
hyd-dev
committed

Commits on Jun 3, 2021

Remove FIXME in `tests/compile-fail/panic/bad_unwind.rs`
hyd-dev
committed
Remove some tests
hyd-dev
committed
fix typo
RalfJung
authored