| Age | Commit message (Expand) | Author | Lines |
|---|
| 2018-10-09 | For now, accept all data for integer types when not in const mode | Ralf Jung | -8/+10 |
| 2018-10-09 | tidy up | Ralf Jung | -1/+1 |
| 2018-10-09 | do not look at refs to external statics at all | Ralf Jung | -15/+22 |
| 2018-10-09 | miri engine: also check return type before calling function | Ralf Jung | -1/+20 |
| 2018-10-09 | add machine option to validate things on every copy | Ralf Jung | -9/+37 |
| 2018-10-09 | also validate everything that has a Scalar layout, to catch NonNull | Ralf Jung | -8/+86 |
| 2018-10-09 | fix validating arrays of ZSTs | Ralf Jung | -5/+20 |
| 2018-10-09 | switch validation of scalars to be type-driven | Ralf Jung | -99/+63 |
| 2018-10-09 | check that entire ref is in-bounds before recursing; add macro for validation... | Ralf Jung | -81/+50 |
| 2018-10-09 | miri validity: make recursive ref checking optional | Ralf Jung | -81/+118 |
| 2018-10-02 | Update a FIXME in memory.rs | Wesley Wiser | -1/+1 |
| 2018-10-01 | Auto merge of #54693 - RalfJung:ctfe-scalar-pair-undef, r=oli-obk | bors | -13/+111 |
| 2018-09-30 | use is_uninhabited in more places | Jorge Aparicio | -1/+1 |
| 2018-09-30 | move ScalarMaybeUndef into the miri engine | Ralf Jung | -12/+110 |
| 2018-09-30 | do not normalize non-scalar constants to a ConstValue::ScalarPair | Ralf Jung | -1/+1 |
| 2018-09-29 | Merge branch 'master' into drop | Michael Bradshaw | -1/+1 |
| 2018-09-29 | Revert "Auto merge of #53508 - japaric:maybe-uninit, r=RalfJung" | Ralf Jung | -1/+1 |
| 2018-09-26 | Make core::mem::needs_drop a const fn | Michael Bradshaw | -0/+7 |
| 2018-09-23 | Auto merge of #54380 - RalfJung:miri-snapshot, r=eddyb | bors | -274/+195 |
| 2018-09-22 | Auto merge of #53508 - japaric:maybe-uninit, r=RalfJung | bors | -1/+1 |
| 2018-09-22 | Auto merge of #54188 - lqd:fallout-53695, r=nikomatsakis | bors | -2/+2 |
| 2018-09-22 | use is_uninhabited in more places | Jorge Aparicio | -1/+1 |
| 2018-09-21 | fix comment | Ralf Jung | -1/+1 |
| 2018-09-20 | unsurprisingly, miri needs tcx | Ralf Jung | -1/+1 |
| 2018-09-20 | move loop detector constants to the module that uses them; make lifetime orde... | Ralf Jung | -13/+12 |
| 2018-09-20 | make some things a bit more private | Ralf Jung | -3/+4 |
| 2018-09-20 | rename evaluator -> interpreter to make eddyb happy | Ralf Jung | -19/+6 |
| 2018-09-20 | move CTFE engine snapshot state out of miri engine into CTFE machine instance | Ralf Jung | -254/+188 |
| 2018-09-18 | Refactor 'ReadForMatch' into 'FakeRead' and add the cause of the fake read | Remy Rakic | -2/+2 |
| 2018-09-17 | miri: correctly compute expected alignment for field | Ralf Jung | -1/+4 |
| 2018-09-15 | keep around some information for dead allocations so that we can use it to ma... | Ralf Jung | -9/+50 |
| 2018-09-14 | Auto merge of #54032 - oli-obk:layout_scalar_ranges, r=eddyb | bors | -4/+10 |
| 2018-09-14 | Rollup merge of #54095 - kenta7777:kenta7777#53719, r=davidtwco | kennytm | -1/+1 |
| 2018-09-14 | Rollup merge of #54076 - RalfJung:miri-snapshot, r=oli-obk | kennytm | -26/+37 |
| 2018-09-12 | Merge branch 'master' into kenta7777#53719 | kenta7777 | -1/+1 |
| 2018-09-11 | Fix const eval of ZST index operations to make the static assertion work | Oliver Schneider | -4/+10 |
| 2018-09-10 | add the `AscribeUserType` statement kind | Niko Matsakis | -1/+1 |
| 2018-09-10 | renamed mk_nil to mk_unit | kenta7777 | -1/+1 |
| 2018-09-09 | miri loop detector hashing: fix enum hashing to also consider discriminant; d... | Ralf Jung | -26/+37 |
| 2018-09-08 | Auto merge of #53903 - GabrielMajeri:opt-miri-array-slice, r=oli-obk | bors | -18/+61 |
| 2018-09-08 | Optimize miri checking of integer array/slices | Gabriel Majeri | -18/+61 |
| 2018-09-07 | make field always private, add `From` impls | Niko Matsakis | -2/+1 |
| 2018-09-07 | Rollup merge of #53991 - TimDiekmann:fix-unchecked-intrinsics, r=oli-obk | kennytm | -4/+18 |
| 2018-09-06 | Auto merge of #52626 - brunocodutra:issue-52475, r=oli-obk | bors | -178/+504 |
| 2018-09-06 | Use binary_op_val instead of doing the check manually. | Tim | -10/+9 |
| 2018-09-06 | Move check out of the match on the intrinsic name | Tim | -16/+7 |
| 2018-09-06 | Add unchecked_shl/shr checks for intrinsics | Tim | -4/+28 |
| 2018-09-03 | Auto merge of #53883 - RalfJung:miri-assert, r=oli-obk | bors | -0/+2 |
| 2018-09-03 | Document snapshot.rs | Bruno Dutra | -0/+6 |
| 2018-09-03 | Move InfiniteLoopDetector to snapshot.rs | Bruno Dutra | -73/+75 |
