| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2018-09-03 | Use EvalContext's TyCtx for the purpose of hashing the evaluation context | Bruno Dutra | -2/+8 |
| 2018-09-03 | Keep lines shorter than 100 characters | Bruno Dutra | -11/+41 |
| 2018-09-03 | Add a convenience macro to reduce code duplication | Bruno Dutra | -114/+86 |
| 2018-09-03 | Add an info log when snapshotting the constant evaluation context | Bruno Dutra | -0/+2 |
| 2018-09-03 | Impl Eq and PartialEq for EvalSnapshot in terms of the Snapshot trait | Bruno Dutra | -69/+45 |
| 2018-09-03 | Impl SnapshotContext for Memory | Bruno Dutra | -0/+10 |
| 2018-09-03 | Introduce Snapshot and SnapshotContext traits | Bruno Dutra | -1/+265 |
| 2018-09-03 | Make vaious allocation related types generic on the allocation id | Bruno Dutra | -18/+19 |
| 2018-09-03 | Move EvalSnapshot into its own module | Bruno Dutra | -42/+50 |
| 2018-09-03 | Implement Hash in terms of HashStable for EvalSnapshot | Bruno Dutra | -51/+85 |
| 2018-09-03 | Promote EvalSnapshot to newtype | Bruno Dutra | -7/+22 |
| 2018-09-03 | Auto merge of #53697 - Cyres:const-fn-int-ops, r=oli-obk | bors | -1/+36 |
| 2018-09-03 | Auto merge of #53831 - TheDarkula:pointer-check, r=oli-obk | bors | -0/+18 |
| 2018-09-01 | rebase | Tim | -1/+36 |
| 2018-09-01 | make sure we do not copy unsized data | Ralf Jung | -0/+2 |
| 2018-09-01 | bug! instead of panic! | csmoe | -1/+1 |
| 2018-09-01 | improve panic message | csmoe | -1/+1 |
| 2018-08-31 | Added pointer checking to sanity checks | thedarkula | -0/+18 |
| 2018-08-31 | extract allocation info from byref | csmoe | -4/+7 |
| 2018-08-31 | Auto merge of #53779 - RalfJung:miri-refactor, r=oli-obk | bors | -521/+437 |
| 2018-08-30 | Made std::intrinsics::transmute() const fn. | thedarkula | -0/+7 |
| 2018-08-30 | assert sanity in memory | Ralf Jung | -5/+4 |
| 2018-08-29 | audit the relocations code, and clean it up a little | Ralf Jung | -22/+42 |
| 2018-08-29 | refactor memory access methods a bit | Ralf Jung | -40/+47 |
| 2018-08-29 | make ptr_op finally reponsible for all ops involving pointers; make ValTy con... | Ralf Jung | -55/+39 |
| 2018-08-29 | re-do argument passing one more time to finally be sane | Ralf Jung | -183/+160 |
| 2018-08-29 | memory: make getting the alloc for a static an associate function for easier ... | Ralf Jung | -42/+42 |
| 2018-08-29 | move some Scalar helpers from miri here, and use them where appropriate | Ralf Jung | -179/+108 |
| 2018-08-28 | restructure unary_op to also dispatch on type first; fix promotion with unary... | Ralf Jung | -42/+54 |
| 2018-08-28 | fix unsized extern types | Ralf Jung | -7/+9 |
