pass typecheck

update compiletest dependency

Merge branch 'master' into def_ty

stop using Instance::def_ty

that function has been removed

Merge pull request #358 from kennytm/master

Remove the [workspace] section.

Remove the [workspace] section.

Miri does not need to maintain a workspace anymore. Also, keeping miri a
workspace conflicts with rustc's own workspace.

Merge pull request #355 from solson/upstreamed

Use the core miri from rustc

Update to some cleanups in rustc

Also update rustc_tests to unrelated rustc changes

Without a Cargo.lock it makes no sense to use --locked

Move validation from rustc to miri

Remove type_size and type_align calls

Rename lvalue to place

Update to latest rustc changes

Compiler bug

Use correct alignment

Update error messages

Rustup after layout optimizations

Rustup

Rustup

repeat expressions abort due to OOM instead of execution time exhaustion

Use host floats for the intrinsics that we don't have soft float impls for

Use numbers instead of indentations

Noone can differentiate between 8 and 9 spaces if they aren't aligned

Use rustc's logging libraries in order to be able to log rustc::mir::interpret

Miri core has moved to rustc::mir::interpret

Merge pull request #354 from king6cong/readme

update README.md

Merge branch 'master' into readme

Merge pull request #353 from king6cong/master

update trans_fulfill_obligation call signature

update README.md

update trans_fulfill_obligation call signature

Merge pull request #351 from RalfJung/exchange_malloc

Call exchange_malloc for box stmt

fix oom2 test

use exchange_malloc lang item for Box statements

Merge pull request #350 from RalfJung/inhabited

get rid of ad-hoc inhabitedness test

get rid of ad-hoc inhabitedness test

Merge pull request #348 from RalfJung/tests

update compiletest

update compiletest

Merge pull request #347 from RalfJung/readme

README: show AppVeyor status

fix AppVeyor URL

README: show AppVeyor status

Merge pull request #346 from solson/oli-obk-patch-3

Only run appveyor on the master branch and on PRs

Only run appveyor on the master branch and on PRs

Merge pull request #334 from solson/windows

Windows support in the test suite + appveyor

Run appveyor tests in release mode

Merge branch 'master' into windows

Add windows support

Merge pull request #344 from RalfJung/test

get rid of the --miri_host_target hack

get rid of the --miri_host_target hack

Merge pull request #343 from RalfJung/tests

use ui test mode rather than mir-opt

Merge branch 'master' into tests

use ui test mode rather than mir-opt

These tests are not run per default

Merge pull request #342 from RalfJung/mir-validate

validation: check that int, float etc. are not undef

add an undef validation test

validation: allow undef integers and raw pointers, as a crude work-around

validation: check that int, float etc. are not undef

Merge pull request #341 from solson/babysteps

Use rustc's APFloat impl instead of interpreter host floats

Use rustc's APFloat impl instead of interpreter host floats

Merge pull request #340 from solson/babysteps

Remove `#[linkage(foo)]` statics from core miri

Remove `#[linkage(foo)]` statics from core miri

Merge pull request #339 from RalfJung/rustup

Storage{Live,Dead} in generators got fixed

Storage{Live,Dead} in generators got fixed

Merge pull request #337 from RalfJung/rustup

rustup

fix rustc_tests build

`cargo install` only takes `--debug`, not `--release`

travis: more consistent cargo flags (--locked, --release)

validation: remove a hack that is no longer necessary

rustup

Merge pull request #336 from RalfJung/mir-validate

Valiation: Identify write locks using an abstract lvalue

Something in panic handling fails validation with full-MIR

Disable the address-of-ZST test for now; it is buggy as it disagrees with rustc

use catch expression to handle the 'release undef' problem slightly better

enable validation for a bunch of more tests

identify write locks by lvalues, not regions

This makes a new compile-fail test pass.

Merge pull request #335 from solson/rustup

Rustup

This is unreachable code and it should never ever be reachable even in the future

Rustup part 2/2

rustup (part 1/2)

Merge pull request #333 from solson/rust_ci

Use correct rustc in rust's CI

Use correct rustc in rust's CI

Merge pull request #332 from solson/rustup

rustup

restrict cur_frame visibility

there are more tests we can enable again

only test on master

fix warnings in tests; update validation whitelist

we can enable a bunch of tests for validation again

clean up suspensions when function ends

rustup

Merge pull request #329 from solson/oli-obk-patch-2

Rustup

Disable validation for some tests

Make our build work just like the rustc build

Merge pull request #330 from RalfJung/rustup

Rustup

disable optimized tests until rustc is fixed

use latest xargo; this fixes the libstd build problem

enable a test that works just fine

Rustup

Merge pull request #324 from oli-obk/align_offset

Implement `align_offset` intrinsic and thus enabling `from_utf8`

Merge branch 'master' into align_offset

Merge pull request #325 from RalfJung/test

Update compiletest

update compiletest; we do not need tempdir any more

no reason not to run tests in miri (once someone writes them)