| Age | Commit message (Expand) | Author | Lines |
| 2019-10-27 | Implementation of const caller_location. | Adam Perry | -0/+2 |
| 2019-09-28 | Allow reading non-mutable statics in const prop | Wesley Wiser | -4/+3 |
| 2019-09-27 | Introduce a `ConstPropMachine` | Wesley Wiser | -0/+18 |
| 2019-08-17 | make both unary_op and binary_op fully typed, including a return type | Ralf Jung | -2/+2 |
| 2019-08-05 | Auto merge of #63079 - RalfJung:ctfe-no-align, r=oli-obk | bors | -0/+3 |
| 2019-08-02 | CTFE: simplify Value type by not checking for alignment | Ralf Jung | -0/+3 |
| 2019-08-02 | improve error when CTFE does ptr-int-cast; update tests | Ralf Jung | -5/+1 |
| 2019-08-02 | operator: implement binary_op strictly by first checking the type, then dispa... | Ralf Jung | -3/+2 |
| 2019-07-31 | code review fixes | Saleem Jaffer | -4/+4 |
| 2019-07-30 | renaming throw_err_* to throw_* | Saleem Jaffer | -1/+1 |
| 2019-07-30 | renaming err to err_unsup | Saleem Jaffer | -1/+1 |
| 2019-07-30 | adding throw_ and err_ macros for InterpError | Saleem Jaffer | -1/+1 |
| 2019-07-29 | code review fixes | Saleem Jaffer | -3/+3 |
| 2019-07-29 | adding a err macro for each of the InterpError variants | Saleem Jaffer | -1/+1 |
| 2019-07-29 | fixing fallout due to InterpError refactor | Saleem Jaffer | -4/+4 |
| 2019-07-28 | replace match by ok() | Ralf Jung | -8/+2 |
| 2019-07-28 | miri: add get and get_mut to AllocMap; use that in get_size_and_align and avo... | Ralf Jung | -0/+16 |
| 2019-07-06 | Rollup merge of #62264 - RalfJung:inline-forcing, r=zackmdavis | Mazdak Farrokhzad | -12/+14 |
| 2019-07-06 | Rollup merge of #62245 - RalfJung:miri-extra-fn, r=eddyb,zackmdavis | Mazdak Farrokhzad | -0/+15 |
| 2019-07-04 | use get_size_and_align to test if an allocation is live | Ralf Jung | -1/+1 |
| 2019-07-04 | more inlining | Ralf Jung | -6/+8 |
| 2019-07-04 | add machine hook to handle calls to 'extra' function values | Ralf Jung | -0/+10 |
| 2019-07-04 | Add basic support for "other" kinds of values for function pointers, determin... | Ralf Jung | -0/+5 |
| 2019-07-04 | Go back to just passing MemoryExtra to the machine-level allocation hooks | Ralf Jung | -2/+2 |
| 2019-07-04 | Machine: make self-like parameters come first | Ralf Jung | -6/+6 |
| 2019-07-04 | Fix merge conflicts | Christian Poveda | -10/+10 |
| 2019-06-29 | Remove default bound for Machine::MemoryExtra | Christian Poveda | -1/+1 |
| 2019-06-27 | rename InterpretCx -> InterpCx | Ralf Jung | -10/+10 |
| 2019-06-20 | Updated tag methods for consistency | Christian Poveda | -2/+2 |
| 2019-06-20 | Replace MemoryExtra by Memory in intptrcast methods | Christian Poveda | -7/+6 |
| 2019-06-16 | Add special behaviour when int is zero | Christian Poveda | -2/+6 |
| 2019-06-16 | Add force_bits and force_ptr methods | Christian Poveda | -1/+16 |
| 2019-06-14 | Unify all uses of 'gcx and 'tcx. | Eduard-Mihai Burtescu | -1/+1 |
| 2019-06-12 | Run `rustfmt --file-lines ...` for changes from previous commits. | Eduard-Mihai Burtescu | -3/+1 |
| 2019-06-12 | rustc: replace `TyCtxt<'a, 'gcx, 'tcx>` with `TyCtxt<'tcx, 'gcx, 'tcx>`. | Eduard-Mihai Burtescu | -11/+11 |
| 2019-06-08 | rename EvalResult -> InterpResult and EvalError -> InterpErrorInfo | Ralf Jung | -10/+10 |
| 2019-06-02 | fix comments | Ralf Jung | -1/+2 |
| 2019-06-02 | no longer assume that there is a default tag: give the machine the chance to ... | Ralf Jung | -31/+33 |
| 2019-05-28 | Changes the type `mir::Mir` into `mir::Body` | Claude-Alban RANÉLY-VERGÉ-DÉPRÉ | -1/+1 |
| 2019-04-16 | Miri: refactor new allocation tagging | Ralf Jung | -20/+20 |
| 2019-03-26 | renames EvalContext to InterpretCx. | kenta7777 | -12/+12 |
| 2019-02-13 | make bin_op and unary_op APIs consistently work on ImmTy | Ralf Jung | -6/+4 |
| 2019-02-10 | rustc: doc comments | Alexander Regueiro | -12/+12 |
| 2019-01-02 | Add missing 'static bound for the Machine trait | Matthew Jasper | -1/+1 |
| 2018-12-25 | Remove licenses | Mark Rousskov | -10/+0 |
| 2018-12-23 | Rollup merge of #56981 - RalfJung:miri-infallible-alloc, r=oli-obk | kennytm | -1/+1 |
| 2018-12-19 | miri: allocation is infallible | Ralf Jung | -1/+1 |
| 2018-12-18 | treat ref-to-raw cast like a reborrow: do a special kind of retag | Ralf Jung | -11/+1 |
| 2018-12-07 | Various minor/cosmetic improvements to code | Alexander Regueiro | -1/+1 |
| 2018-12-03 | Retag needs to know whether this is a 2-phase-reborrow | Ralf Jung | -0/+1 |