| Age | Commit message (Expand) | Author | Lines |
| 2018-10-18 | Forward entire ptr used for dealloaction to machine | Ralf Jung | -6/+6 |
| 2018-10-18 | repeat after me: Clone, Copy, Debug | Ralf Jung | -0/+1 |
| 2018-10-18 | also hook dereferencing | Ralf Jung | -10/+32 |
| 2018-10-18 | eval_context: move getters together and add one for is_freeze | Ralf Jung | -48/+55 |
| 2018-10-18 | provide machine hooks for creating references and accessing memory | Ralf Jung | -31/+93 |
| 2018-10-18 | give machine more control over what counts as memory leak | Ralf Jung | -10/+20 |
| 2018-10-18 | add support for storing extra data in an allocation | Ralf Jung | -31/+26 |
| 2018-10-18 | comment on keeping validity in sync | Ralf Jung | -0/+4 |
| 2018-10-18 | Rollup merge of #55142 - RalfJung:miri-uninhabited-enum, r=oli-obk | kennytm | -3/+0 |
| 2018-10-18 | Rollup merge of #55016 - oli-obk:vtables💥_vtables_everywhere, r=RalfJung | kennytm | -11/+24 |
| 2018-10-17 | layout should not affect CTFE checks (outside of validation) | Ralf Jung | -3/+0 |
| 2018-10-16 | Use forward compatible `FxHashMap` initialization | Oliver Scherer | -1/+1 |
| 2018-10-15 | Add comments to remind everyone to keep the `get_vtable` impls in sync | Oliver Scherer | -0/+4 |
| 2018-10-15 | Synchronize get_vtable with the `codegen_llvm` one | Oliver Scherer | -13/+14 |
| 2018-10-15 | Deduplicate vtables within a single evaluation | Oliver Scherer | -1/+9 |
| 2018-10-15 | Rollup merge of #55062 - bjorn3:ecx-step-public, r=oli-obk | Manish Goregaokar | -1/+3 |
| 2018-10-14 | Auto merge of #55032 - oli-obk:the_early_unwrap_gets_the_panic, r=Mark-Simula... | bors | -1/+1 |
| 2018-10-14 | Add comment about step being used by priroda | bjorn3 | -0/+2 |
| 2018-10-14 | Make EvalContext::step public again | bjorn3 | -1/+1 |
| 2018-10-13 | Check the invariant for `principal` inside the method | Oliver Scherer | -1/+1 |
| 2018-10-13 | run-time validation: accept undef in int arrays, as we do for ints | Ralf Jung | -5/+10 |
| 2018-10-13 | address nits | Ralf Jung | -1/+2 |
| 2018-10-13 | validation: accept pointers in integer arrays | Ralf Jung | -5/+34 |
| 2018-10-13 | Fix and test upvar name printing for validity | Ralf Jung | -10/+6 |
| 2018-10-13 | make ENFORCE_VALIDITY a function | Ralf Jung | -5/+5 |
| 2018-10-13 | foreign types: use size and align from layout | Ralf Jung | -2/+3 |
| 2018-10-13 | seems like for generators we cannot access the freevars | Ralf Jung | -5/+9 |
| 2018-10-13 | size_and_align_of can return no result for extern types | Ralf Jung | -23/+26 |
| 2018-10-13 | validate return value on stack pop | Ralf Jung | -31/+54 |
| 2018-10-13 | check return type even for uninhabited case | Ralf Jung | -5/+6 |
| 2018-10-13 | fix validation around transmuting copy_op | Ralf Jung | -33/+136 |
| 2018-10-11 | impl Eq+Hash for TyLayout | Ralf Jung | -22/+1 |
| 2018-10-10 | tidy up | Ralf Jung | -1/+6 |
| 2018-10-10 | vtables are not leaks | Ralf Jung | -4/+9 |
| 2018-10-10 | more comments for these sublte games we are playing with allocations in the m... | Ralf Jung | -30/+40 |
| 2018-10-10 | abstract mono_hash_map through a trait, only miri actually needs the fancy one | Ralf Jung | -134/+99 |
| 2018-10-10 | typos and spaces | Ralf Jung | -14/+14 |
| 2018-10-10 | clarify alloc_map description | Ralf Jung | -4/+6 |
| 2018-10-10 | fix typos | Ralf Jung | -1/+1 |
| 2018-10-10 | expand safety comment in memory.rs | Ralf Jung | -0/+4 |
| 2018-10-10 | rename extra -> meta in place | Ralf Jung | -32/+32 |
| 2018-10-10 | expand comment | Ralf Jung | -0/+2 |
| 2018-10-10 | tidy, oh tidy | Ralf Jung | -4/+16 |
| 2018-10-10 | miri engine: basic support for pointer provenance tracking | Ralf Jung | -427/+731 |
| 2018-10-09 | validity: check dynamic size, not static | Ralf Jung | -6/+2 |
| 2018-10-09 | dont fail when validating non-local closures | Ralf Jung | -4/+8 |
| 2018-10-09 | box is also a primitive type | Ralf Jung | -7/+7 |
| 2018-10-09 | add fixme for potential perf optimization | Ralf Jung | -0/+3 |
| 2018-10-09 | fix nits and handling of extern static | Ralf Jung | -31/+37 |
| 2018-10-09 | unify handling of thin and fat pointers by moving primitive type handling out... | Ralf Jung | -194/+206 |