Remove unused eval_operand_and_layout fn.

Add missing boolean binops.

Implement boolean binops.

Fix lvalue projections with fat pointer bases.

Update to a nightly with rustc::ty::layout.

Replace Repr with the new ty::layout in rustc.

Lvalues still need work (see lvalue_layout).

Merge pull request #9 from oli-obk/improve_tests

various testing improvements

bug: transmute::<*const T, Option<Box<T>>>(..)

wild pointer and null pointer deref

various testing improvements

Merge pull request #7 from oli-obk/compiletest

use compiletest_rs

use compiletest_rs

Merge pull request #5 from killercup/fix/travis-stuff

Fix travis stuff

Fix Travis Config for Nightly

Add Build Status to Readme

Fix Typo in Readme

Use 8-byte pointers on 32-bit hosts for now.

This will be target-dependent and host-independent eventually.

Fix drop fill checking on 32-bit hosts.

Merge pull request #3 from killercup/feature/tests

Run Tests on Travis

Add Travis Config

Fix over-long bitshift on 32-bit hosts.

Fixes #4. (Hopefully.)

Add EditorConfig

Add Compile Test

Merge pull request #2 from killercup/feature/update-rustc

Update to Rust Nightly 2016-04-11

Readme: Newer Nightly Version, Mention Rustup

readme: Rewording.

readme: Add links to presentation and report PDFs.

Update to Rust Nightly 2016-04-11

readme: Fix shell syntax.

readme: Add build and run instructions.

report: Credit where it's due.

report: Numerous fixes. :heart: @DanielKeep, @programble, @ubsan, @eddyb

report: Finish the report.

report: Fill in most of the language support section, plus data layout and determinism.

report: Minor fixes.

Rename paper to report.

report: Add stub "Thanks" section.

report: Add "Vec<u8>" example.

report: Add "Flaws" and "Current implementation".

Reword and reformat various parts.

Store AllocIds directly in allocation map.

Add background and intro to first implementation.

Add basic final paper LaTeX with abstract.

Move slides into new tex directory.

Implement filling drop.

Handle missing allocations in Memory::dump.

Implement drop/deallocation for Box.

Simplify intrinsic/c_abi call argument evaluation.

Change debug log format.

Normalize test file modes.

Rename ty_size -> type_size and ty_to_repr -> type_repr.

Update for changes in rustc master.

Print sizes in allocation dumps.

Partially implement reallocation (e.g. for growing Vecs).

Add test for out-of-bounds reads.

Fix undef mask initialization and test undef reads.

Add test for invalid booleans.

Add test for comparing ptrs into different allocs.

Add an Rc reference cycle test.

Add a test for overwriting part of a relocation.

Implement a naive, slow version of undef mask copying.

Switch to bitmask-based undef mask.

Rearrange code in memory.rs.

Print terminator kinds (without spans) when debugging.

Fix quote kind in slides LaTeX.

Add note about target data layout.

Add slides for final presentation.

Update for changes in rustc master.

Add stack traces to error notes.

Move substs stack management into main stack managment fns.

Add initial error reporting via rustc's interface.

Remove unnecessary Result return in push_stack_frame.

Handle custom discriminant values and detect invalid discriminants.

Add a basic test for specialization.

Update for changes in rustc master.

Mark bytes undefined in uninit intrinsic.

Mark partially-overwritten relocations as undefined.

Fix bug where &str's lengths were not copied.

Check for undefinedness when reading from memory.

Add method for checking if a range is defined in an allocation.

Add undefined byte tracking.

Reorganize memory methods.

Refactor memory/allocation handling.

Use Box<[u8]> instead of Vec<u8> for allocations.

Add a commented-out RefCell test.

Add a fat byte-slice coercion test.

Assert the absence of fat pointers more often.

Write the correct size for PrimVall::IntegerPtr.

Refactor handling of relocations.

Add simple test of assert_eq!.

Hide execution traces (they are getting long...)

Add tests involving Rc, Arc, and Cell.

Fix typo in test name.

Make more MIR match statements exhaustive.

Support intrinsics::overflowing_sub for vec![x; n].

Support [x; N] array repeat rvalues.

Make mir::Rvalue handling exhaustive (some still unimplemented).

Add vec::IntoIter and fold test.

Abort miri if the Rust code had compilation errors.

Uncomment now-working vec! macro test.