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.

Fix vec test compile error.

Add slice iterator for-loop test.

Add array indexing for-loop test.

Remove debug print.

Refactor isize/usize read/writes.

Monomorphize lvalue types.

Simplify handling of Result in eval_assignment.

Support fat pointer reborrowing, length checking.

Refactor some names.

Implement length access and indexing for fixed-sized arrays.

Reduce duplication for integer reprs.

Add first test for std::vec::Vec.

Support fn pointer type sizes.

Stop unintentionally clearing source relocations when copying.

Implement the move_val_init intrinsic.

Implement the __rust_allocate C ABI function.

Simplify Misc casts (still incorrect).

Implement min_align_of and a hacky mul_with_overflow.

Write intrinsic result to correct lvalue.

Handle "offset" intrinsic on integer pointers.

Implement bytestring literals.

Implement string literals.

Implement the dummy 'assume' intrinsic.

Implement pointer primvals and comparison ops on them.

Implement transmute.

Avoid an integer underflow error.

Add error message for missing MIR.

Reformat for consistency.

Implement more intrinsics.

Normalize associated types when monomorphizing.

Add initial support for closures.

Remove some TODOs.

Choose pointer size dynamically.

Change invalid pointer read panic into Err.

Fix boolean tests and clean up code.

Simplify integer reading/writing.

Remove fn_ty argument from call_intrinsic for now.

Extract intrinsic function handling.

Shorten ty_to_repr(ty).size() to ty_size(ty).

whitespace.

Cached those outputs.

Arena allocate and cache type representations.

Use total size instead of max variant size in aggregates.

Simplify make_aggregate_repr.

Merge sum and product representations.

Simplify primitive type reprs.

Fix typo.

Simplify Repr::Array's elem size.

Simplify PrimVals.

Simplify FieldRepr sizes.

Simplify some Repr code.

Add fixmes to horrible casting code.

WIP: Support array indexing including a `get_unchecked` test.

Required supporting:
  * Trait method lookup
  * The `offset` intrinsic
  * Fat pointers
  * Unsizing coercions and some raw pointer and integer casts

Create a pointer-only version of eval_operand. Fix pointer offset.

Update for changes in rustc master.

Split Repr creation out of eval_lvalue.

Implement fixed-sized arrays.

Implement the size_of intrinsic.

Test the unstable box syntax.

Add unsigned integers.

Fix substs in nested generic function calls.

Clarify output allocations.

Implement Rvalue::Box allocations.

Reorganize and simplify.

Improve execution trace logging.

Extract Terminator evaluation out of the main loop.

Handle recursive calls without recursing in miri.

Properly handle generic fn calls.

Reimplement cross-crate function calls.