| Age | Commit message (Expand) | Author | Lines |
|---|
| 2018-11-18 | Remove mir::StatementKind::EndRegion | Matthew Jasper | -1/+0 |
| 2018-11-07 | no more action on ref or cast, but add new MIR statement for escaping a ptr t... | Ralf Jung | -13/+9 |
| 2018-11-04 | rustc_target: pass contexts by reference, not value. | Eduard-Mihai Burtescu | -3/+3 |
| 2018-11-02 | Rename `Value` to `Immediate` for miri | Oliver Scherer | -6/+6 |
| 2018-10-29 | let create_ref take a mutability, and leave it to step.rs to interpret mir::B... | Ralf Jung | -2/+10 |
| 2018-10-29 | Emit Retag statements, kill Validate statements | Ralf Jung | -5/+4 |
| 2018-10-18 | add 'raw reference' to the machine hook, and use that in ptr-to-raw casts | Ralf Jung | -1/+1 |
| 2018-10-18 | provide machine hooks for creating references and accessing memory | Ralf Jung | -2/+3 |
| 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-09-23 | Auto merge of #54380 - RalfJung:miri-snapshot, r=eddyb | bors | -40/+2 |
| 2018-09-20 | move CTFE engine snapshot state out of miri engine into CTFE machine instance | Ralf Jung | -40/+2 |
| 2018-09-18 | Refactor 'ReadForMatch' into 'FakeRead' and add the cause of the fake read | Remy Rakic | -2/+2 |
| 2018-09-14 | Rollup merge of #54076 - RalfJung:miri-snapshot, r=oli-obk | kennytm | -1/+4 |
| 2018-09-10 | add the `AscribeUserType` statement kind | Niko Matsakis | -1/+1 |
| 2018-09-09 | miri loop detector hashing: fix enum hashing to also consider discriminant; d... | Ralf Jung | -1/+4 |
| 2018-09-03 | Use EvalContext's TyCtx for the purpose of hashing the evaluation context | Bruno Dutra | -1/+6 |
| 2018-09-03 | Promote EvalSnapshot to newtype | Bruno Dutra | -1/+1 |
| 2018-08-29 | move some Scalar helpers from miri here, and use them where appropriate | Ralf Jung | -16/+7 |
| 2018-08-27 | fix handling of unsized types in validation; validate str to be UTF-8 | Ralf Jung | -3/+3 |
| 2018-08-27 | validate enum discriminant whenever it is read | Ralf Jung | -3/+3 |
| 2018-08-27 | without all those copies of constants, we can finally make eval_operand take ... | Ralf Jung | -5/+5 |
| 2018-08-27 | Miri Memory Work | Ralf Jung | -4/+12 |
| 2018-08-25 | Auto merge of #53609 - bemeurer:tidy-ctfe, r=RalfJung | bors | -2/+12 |
| 2018-08-24 | support user-given types in adts | Niko Matsakis | -1/+1 |
| 2018-08-23 | Reflow and fixup comments | Bernardo Meurer | -2/+2 |
| 2018-08-23 | Add license header to CTFE/MIRI | Bernardo Meurer | -0/+10 |
| 2018-08-22 | also avoid recomputing the layout for unary and binary ops, where possible | Ralf Jung | -6/+38 |
| 2018-08-22 | in a Use statement, exploit the fact that type and hence layout are the same ... | Ralf Jung | -4/+5 |
| 2018-08-22 | Tweak logging | Ralf Jung | -3/+3 |
| 2018-08-22 | miri/CTFE refactor | Ralf Jung | -89/+48 |
| 2018-08-22 | Move some value-and-memory related things out of eval_context | Ralf Jung | -3/+197 |
| 2018-08-01 | Reintroduce `Undef` and properly check constant value sizes | Oliver Schneider | -1/+1 |
| 2018-07-04 | Move `Eq + Hash + Clone` bounds to `Machine` | Dylan MacKenzie | -5/+1 |
| 2018-07-04 | Avoid overflow in step counter | Dylan MacKenzie | -13/+13 |
| 2018-07-04 | Rename `bloom` to `hashes` | Dylan MacKenzie | -2/+2 |
| 2018-07-04 | Enable loop detector in step loop | Dylan MacKenzie | -8/+25 |
| 2018-07-04 | Revert "Refactor EvalContext stack and heap into inner struct" | Dylan MacKenzie | -7/+11 |
| 2018-07-04 | Add miri infinite loop detection | Dylan MacKenzie | -5/+9 |
| 2018-07-04 | Refactor EvalContext stack and heap into inner struct | Dylan MacKenzie | -5/+5 |
| 2018-05-29 | Review feedback: update fixme comment to reflect reality. | Felix S. Klock II | -3/+2 |
| 2018-05-29 | rust-lang/rust#27282: Add `StatementKind::ReadForMatch` to MIR. | Felix S. Klock II | -0/+5 |
| 2018-04-15 | Add a tracking issue for making the warning a lint | Oliver Schneider | -0/+1 |
| 2018-04-13 | Don't abort const eval due to long running evals, just warn | Oliver Schneider | -7/+6 |
| 2018-03-25 | Rollup merge of #49274 - oli-obk:slow_miri, r=michaelwoerister,eddyb | kennytm | -2/+2 |
| 2018-03-23 | Simplify local accessors | Oliver Schneider | -2/+2 |
| 2018-03-22 | Added UserAssertTy statement. | David Wood | -0/+2 |
| 2018-03-08 | Step limit is now terminator limit | Oliver Schneider | -1/+2 |
| 2018-03-08 | Report tcx errors with the span of the currently evaluating statement | Oliver Schneider | -0/+4 |
| 2018-03-08 | Move the resource limits to the session in preparation for attributes configu... | Oliver Schneider | -1/+1 |
