test FMA a bit more

test more enum-int-cast code paths

use apfloat's FMA primitive

implement min and max floating point intrinsics

fix from to/from f32/f64 changes

Merge pull request #766 from RalfJung/sysroot

Sysroot consistency check

Merge branch 'master' into sysroot

Merge pull request #767 from RalfJung/rustup

fix for rustc rename mir -> body

fix for rustc rename mir -> body

factor out common code to determine miri binary

make sure that find_sysroot always sets MIRI_SYSROOT

fix comments

do not handle MIRI_SYSROOT in the driver at all, rely fully on the --sysroot flag

don't have both MIRI_SYSROOT and --sysroot

explain why we always set a sysroot; make sure we error if both MIRI_SYSROOT and --sysroot are set

remove outdated sysroot management

cargo miri: make sure we see the same sysroot for rustc and miri

Merge pull request #765 from RalfJung/rustup

rustup for EvalResult rename

rustup for EvalResult rename

Merge pull request #761 from ecstatic-morse/type-name

Add a test for the new `type_name` intrinsic.

Use in-core implementation of `type_name`.

We bump `rust-version` to pick up the new impl from
https://github.com/rust-lang/rust/pull/61498 and add a test.

Merge pull request #757 from RalfJung/test-ice

test for no-validation-only failure

bump Rust

test for no-validation-only failure

remove too expensive debug assertion (#755)

remove too expensive debug assertion

Merge branch 'master' into debug

Merge pull request #760 from lzutao/bump-dep

Bump cargo_metadata and directories dependencies

Bump directories to 2.0

Bump cargo_metadata to 0.8

Tag static/const allocations (#748)

Tag static/const allocations

bump Rust version

test that we cannot access unescaped static memory with a raw ptr

fix existing tests

fix thread-local example to no longer write to pointers derived from a shared ref;
fix compile-fail test

use new rustc infrastructure to tag the base pointer of static allocations

Merge pull request #759 from RalfJung/rustup

rustup for ... deprecation

rustup for ... deprecation

remove too expensive debug assertion

Rustup (#752)

Rustup

move fn_item/ptr tests to closures file

update for rustc warning about missing dyn

Merge pull request #751 from RalfJung/rc

test weak_into_raw

test weak_into_raw

try to make the Windows CI not rebuild Miri (#750)

try to make the Windows CI not rebuild Miri

try to make the Windows CI not rebuild Miri

miri build script: support building miri in debug mode;  avoid rebuilding Miri on CI (#747)

 miri build script: support building miri in debug mode;  avoid rebuilding Miri on CI

Merge branch 'master' into miri-build

fix for rustc changes (#749)

fix for rustc changes

tweak logic for determining rustc default target

print usage information on invalid command

fix for rustc changes

update for rustc Scalar changes, test for pointer wrapping ICE (#744)

update for rustc Scalar changes, test for pointer wrapping ICE

bump Rust

test for pointer wrapping ICE

adjust for rustc changes

also pass flags to install

reference cargo issue

avoid rebuilding Miri on CI

miri build script: support building miri in debug mode

add Miri build script (#745)

add Miri build script

Merge branch 'master' into miri-build

fix for latest rustc (#746)

fix for latest rustc

fix error pattern

fix for latest rustc

fix more indentation

remove redundant RUSTFLAGS

add comment

fix indentation

improve macOS-compatibility by being more awful

make miri script smarter: auto-determine MIRI_SYSROOT, handle MIRI_TEST_TARGET

improve backtraces

comments

adjust readme to miri build script

add 'miri' script to help build, test and run miri

dependency management

Merge pull request #742 from RalfJung/stacked-borrows-2

add more bugs we found to README; use consistent printing in Stacked Borrows

avoid printing the tag twice

avoid having both Debug and Display for a type and using the wrong one

add more bugs that Miri found

Merge pull request #741 from RalfJung/stacked-borrows-2

use prettier printing

use prettier printing

Merge pull request #740 from RalfJung/stacked-borrows-2

hopefully improve error message a bit

hopefully improve error message a bit

Merge pull request #738 from RalfJung/stacked-borrows-2

test for new read rules

test for new read rules

Merge pull request #736 from rust-lang/rustup

prepare for MaybeUninit stabilization

Merge remote-tracking branch 'origin/master' into master.2

update Rust

Merge pull request #734 from RalfJung/readme

expand explanation of how we treat validity invariants

prepare for MaybeUninit stabilization

expand explanation of how we treat validity invariants

Merge pull request #732 from RalfJung/stacked-borrows-2

fix typo

typo

Use `drain` instead of manually rolling it ourselves (#731)

Use `drain` instead of manually rolling it ourselves

Prefer `drain` over manual implementation of `drain`

Merge pull request #730 from RalfJung/stacked-borrows-2

nits

nits

test and support two-phase reborrows of raw pointers (#727)

test and support two-phase reborrows of raw pointers

reading does not remove Unique, it just invalidates them

fix tests

give up on two-phase borrows