| Age | Commit message (Expand) | Author | Lines |
| 2019-01-04 | add support for principal-less trait object types | Ariel Ben-Yehuda | -1/+1 |
| 2018-12-25 | Remove licenses | Mark Rousskov | -10/+0 |
| 2018-12-19 | make basic CTFE tracing available on release builds | Ralf Jung | -4/+4 |
| 2018-11-25 | machine hooks for stack push and pop, frame machine data | Ralf Jung | -6/+12 |
| 2018-11-24 | Rollup merge of #56022 - RalfJung:validate-before-jump, r=oli-obk | kennytm | -7/+14 |
| 2018-11-22 | rustc_target: avoid using AbiAndPrefAlign where possible. | Eduard-Mihai Burtescu | -9/+9 |
| 2018-11-22 | rustc_target: separate out an individual Align from AbiAndPrefAlign. | Eduard-Mihai Burtescu | -2/+2 |
| 2018-11-22 | rustc_target: rename abi::Align to AbiAndPrefAlign. | Eduard-Mihai Burtescu | -6/+6 |
| 2018-11-19 | explain why we can use raw | Ralf Jung | -0/+4 |
| 2018-11-19 | use RawConst in miri | Ralf Jung | -5/+9 |
| 2018-11-19 | Rollup merge of #56059 - alexcrichton:fix-tests, r=sfackler | kennytm | -2/+15 |
| 2018-11-18 | Auto merge of #55672 - RalfJung:miri-extern-types, r=eddyb | bors | -2/+15 |
| 2018-11-17 | deallocate locals before validation, to catch dangling references | Ralf Jung | -11/+19 |
| 2018-11-17 | When popping in CTFE, perform validation before jumping to next statement to ... | Ralf Jung | -17/+16 |
| 2018-11-15 | rename FrameInfo span field to call_site | Ralf Jung | -1/+1 |
| 2018-11-14 | miri: backtraces with instances | Ralf Jung | -12/+3 |
| 2018-11-06 | make sure we only guess field alignment at offset 0 | Ralf Jung | -4/+3 |
| 2018-11-05 | note some FIXMEs | Ralf Jung | -0/+3 |
| 2018-11-05 | generalize the traversal part of validation to a ValueVisitor | Ralf Jung | -1/+1 |
| 2018-11-04 | rustc_target: pass contexts by reference, not value. | Eduard-Mihai Burtescu | -37/+7 |
| 2018-11-04 | test for offset and alignment of the sized part, instead of field count | Ralf Jung | -5/+5 |
| 2018-11-04 | miri: accept extern types in structs if they are the only field | Ralf Jung | -2/+13 |
| 2018-11-02 | Rename `Value` to `Immediate` for miri | Oliver Scherer | -7/+7 |
| 2018-10-28 | don't tag new memory inside memory.rs; add machine hook to tag new memory | Ralf Jung | -1/+1 |
| 2018-10-28 | make memory private; that's what we have `memory_mut` for | Ralf Jung | -1/+1 |
| 2018-10-26 | Auto merge of #53821 - oli-obk:sanity_query, r=RalfJung | bors | -4/+9 |
| 2018-10-25 | Forward `TooGeneric` errors | Oliver Schneider | -2/+6 |
| 2018-10-25 | Report const eval error inside the query | Oliver Schneider | -4/+5 |
| 2018-10-23 | fix typos in various places | Matthias Krüger | -1/+1 |
| 2018-10-21 | Use `read_local_of_frame` in `eval_place_to_op` | bjorn3 | -8/+4 |
| 2018-10-18 | the tidy strikes again | Ralf Jung | -2/+2 |
| 2018-10-18 | miri: debug! print when we are leaving/entering a function | Ralf Jung | -0/+14 |
| 2018-10-18 | Forward entire ptr used for dealloaction to machine | Ralf Jung | -2/+2 |
| 2018-10-18 | eval_context: move getters together and add one for is_freeze | Ralf Jung | -48/+55 |
| 2018-10-18 | add support for storing extra data in an allocation | Ralf Jung | -2/+1 |
| 2018-10-16 | Use forward compatible `FxHashMap` initialization | Oliver Scherer | -1/+1 |
| 2018-10-15 | Synchronize get_vtable with the `codegen_llvm` one | Oliver Scherer | -1/+1 |
| 2018-10-15 | Deduplicate vtables within a single evaluation | Oliver Scherer | -0/+5 |
| 2018-10-13 | make ENFORCE_VALIDITY a function | Ralf Jung | -1/+1 |
| 2018-10-13 | size_and_align_of can return no result for extern types | Ralf Jung | -20/+20 |
| 2018-10-13 | validate return value on stack pop | Ralf Jung | -7/+32 |
| 2018-10-10 | rename extra -> meta in place | Ralf Jung | -2/+2 |
| 2018-10-10 | tidy, oh tidy | Ralf Jung | -2/+8 |
| 2018-10-10 | miri engine: basic support for pointer provenance tracking | Ralf Jung | -20/+20 |
| 2018-10-09 | miri engine: also check return type before calling function | Ralf Jung | -0/+5 |
| 2018-09-30 | move ScalarMaybeUndef into the miri engine | Ralf Jung | -2/+1 |
| 2018-09-20 | unsurprisingly, miri needs tcx | Ralf Jung | -1/+1 |
| 2018-09-20 | make some things a bit more private | Ralf Jung | -2/+2 |
| 2018-09-20 | move CTFE engine snapshot state out of miri engine into CTFE machine instance | Ralf Jung | -88/+19 |
| 2018-09-09 | miri loop detector hashing: fix enum hashing to also consider discriminant; d... | Ralf Jung | -1/+7 |