| Age | Commit message (Expand) | Author | Lines |
|---|
| 2021-07-18 | miri: better ptr-out-of-bounds errors | Ralf Jung | -14/+30 |
| 2021-07-17 | Auto merge of #87123 - RalfJung:miri-provenance-overhaul, r=oli-obk | bors | -291/+287 |
| 2021-07-17 | Auto merge of #86761 - Alexhuszagh:master, r=estebank | bors | -1/+0 |
| 2021-07-17 | Changed dec2flt to use the Eisel-Lemire algorithm. | Alex Huszagh | -1/+0 |
| 2021-07-16 | avoid manual Debug impls by adding extra Provenance bounds to types | Ralf Jung | -3/+5 |
| 2021-07-16 | add some comments regarding the two major quirks of our memory model | Ralf Jung | -1/+8 |
| 2021-07-16 | get rid of incorrect erase_for_fmt | Ralf Jung | -57/+25 |
| 2021-07-15 | tweak pointer out-of-bounds error message | Ralf Jung | -5/+15 |
| 2021-07-15 | enable Miri to fix the bytes in an allocation (since ptr offsets have differe... | Ralf Jung | -16/+24 |
| 2021-07-15 | adjustions and cleanup to make Miri build again | Ralf Jung | -53/+15 |
| 2021-07-14 | remove unused error variant | Ralf Jung | -3/+0 |
| 2021-07-14 | more precise message for the ptr access check on deref | Ralf Jung | -1/+8 |
| 2021-07-14 | use NonZeroU64 for AllocId to restore old type sizes | Ralf Jung | -6/+6 |
| 2021-07-14 | consistently treat None-tagged pointers as ints; get rid of some deprecated S... | Ralf Jung | -83/+70 |
| 2021-07-14 | CTFE/Miri engine Pointer type overhaul: make Scalar-to-Pointer conversion inf... | Ralf Jung | -191/+239 |
| 2021-07-12 | remove remaining use of Pointer in Allocation API | Ralf Jung | -10/+9 |
| 2021-07-09 | Rollup merge of #86855 - LeSeulArtichaut:patch-1, r=davidtwco | Mara Bos | -1/+1 |
| 2021-07-06 | Truncate hex stable crate id to 8 characters (32 bits) | bjorn3 | -2/+7 |
| 2021-07-06 | Revert "Revert "Merge CrateDisambiguator into StableCrateId"" | bjorn3 | -5/+8 |
| 2021-07-06 | Rollup merge of #86685 - RalfJung:alloc-mut, r=oli-obk | Yuki Okushi | -0/+3 |
| 2021-07-04 | Fix comments about unique borrows | LeSeulArtichaut | -1/+1 |
| 2021-07-02 | Allocation failure in constprop panics right away | Smitty | -1/+4 |
| 2021-06-30 | Delay ICE on evaluation fail | Smitty | -0/+5 |
| 2021-06-30 | Note that even ConstProp follows the rules | Smittyvb | -2/+2 |
| 2021-06-30 | Simplify memory failure checking | Smitty | -6/+0 |
| 2021-06-30 | Rename is_spurious -> is_volatile | Smitty | -1/+1 |
| 2021-06-30 | simplify explanation comment | Smittyvb | -9/+2 |
| 2021-06-29 | Properly handle const prop failures | Smitty | -5/+14 |
| 2021-06-29 | Add comment with reasoning for non-determinism | Smitty | -0/+9 |
| 2021-06-29 | Simplify allocation creation | Smitty | -2/+1 |
| 2021-06-29 | Make memory exhaustion a hard error | Smitty | -1/+2 |
| 2021-06-29 | Support allocation failures when interperting MIR | Smitty | -6/+20 |
| 2021-06-28 | double-check mutability inside Allocation | Ralf Jung | -0/+3 |
| 2021-06-21 | Fix unused_unsafe with compiler-generated unsafe | Cameron Steffen | -0/+2 |
| 2021-06-18 | Auto merge of #86194 - RalfJung:const-ub-hard-error, r=oli-obk | bors | -0/+1 |
| 2021-06-18 | Auto merge of #85421 - Smittyvb:rm_pushpop_unsafe, r=matthewjasper | bors | -2/+0 |
| 2021-06-18 | make UB during CTFE a hard error | Ralf Jung | -0/+1 |
| 2021-06-17 | Rollup merge of #86340 - Smittyvb:ctfe-hard-error-message, r=RalfJung | Yuki Okushi | -0/+10 |
| 2021-06-16 | Move some hard error logic to InterpError | Smitty | -0/+10 |
| 2021-06-14 | Improve documentation on `UndefinedBehaviorInfo::ValidationFailure` | Rémy Rakic | -0/+2 |
| 2021-06-13 | Improve CTFE validation error message | Rémy Rakic | -4/+10 |
| 2021-06-13 | Auto merge of #86245 - lqd:const-ub-align, r=RalfJung | bors | -2/+10 |
| 2021-06-13 | Turn incorrect vtable size/alignment errors into hard const-UB errors | Rémy Rakic | -2/+10 |
| 2021-06-12 | Auto merge of #86130 - BoxyUwU:abstract_const_as_cast, r=oli-obk | bors | -2/+3 |
| 2021-06-09 | Auto merge of #86118 - spastorino:tait-soundness-bug, r=nikomatsakis | bors | -2/+3 |
| 2021-06-08 | Support as casts in abstract consts | Ellen | -2/+3 |
| 2021-06-07 | Remove ResolvedOpaqueTy and just use Ty, SubstsRef is already there | Santiago Pastorino | -1/+1 |
| 2021-06-07 | Make OpaqueTypeKey the key of opaque types map | Santiago Pastorino | -1/+2 |
| 2021-06-07 | Change concrete opaque type to be a `VecMap` | Santiago Pastorino | -2/+2 |
| 2021-06-07 | Revert "Merge CrateDisambiguator into StableCrateId" | bjorn3 | -8/+5 |
