| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-10-23 | Comment why normalization is needed for debug assertions | Michael Goulet | -1/+8 |
| 2022-10-12 | Use `tidy-alphabetical` in the compiler | Nilstrieb | -1/+2 |
| 2022-09-26 | remove cfg(bootstrap) | Pietro Albini | -1/+1 |
| 2022-09-19 | ctfe, `const_to_op` only for mir constants | lcnr | -39/+31 |
| 2022-09-14 | address review again | b-naber | -12/+13 |
| 2022-09-13 | rebase | b-naber | -1/+1 |
| 2022-09-13 | fixes/working version | b-naber | -1/+1 |
| 2022-09-13 | use ty::Unevaluated<'tcx, ()> in type system | b-naber | -1/+12 |
| 2022-09-08 | bound variables during ctfe are a bug | lcnr | -2/+2 |
| 2022-09-07 | Use niche-filling optimization even when multiple variants have data. | Michael Benfield | -5/+5 |
| 2022-09-07 | Change name of "dataful" variant to "untagged" | Michael Benfield | -3/+3 |
| 2022-08-30 | Rollup merge of #101101 - RalfJung:read-pointer-as-bytes, r=oli-obk | Dylan DPC | -1/+1 |
| 2022-08-27 | interpret: make read-pointer-as-bytes *always* work in Miri | Ralf Jung | -1/+1 |
| 2022-08-27 | remove a now-useless machine hook | Ralf Jung | -7/+2 |
| 2022-08-26 | make read_immediate error immediately on uninit, so ImmTy can carry initializ... | Ralf Jung | -106/+71 |
| 2022-08-10 | Avoid repeating qualifiers on `static_assert_size` calls. | Nicholas Nethercote | -4/+5 |
| 2022-08-01 | Improve size assertions. | Nicholas Nethercote | -12/+11 |
| 2022-07-23 | now we can make scalar_to_ptr a method on Scalar | Ralf Jung | -2/+2 |
| 2022-07-23 | remove some provenance-related machine hooks that Miri no longer needs | Ralf Jung | -12/+8 |
| 2022-07-19 | interpret: rename Tag/PointerTag to Prov/Provenance | Ralf Jung | -73/+73 |
| 2022-07-18 | interpret: make some large types not Copy | Ralf Jung | -2/+5 |
| 2022-07-18 | interpret: remove some unused trait impls | Ralf Jung | -4/+3 |
| 2022-07-15 | interpret/visitor: support visiting with a PlaceTy | Ralf Jung | -2/+12 |
| 2022-07-11 | use a loop rather than try_fold | Ralf Jung | -10/+9 |
| 2022-07-11 | interpret: refactor projection handling code | Ralf Jung | -125/+72 |
| 2022-07-09 | tweak names and output and bless | Ralf Jung | -1/+1 |
| 2022-07-09 | review feedback | Ralf Jung | -1/+1 |
| 2022-07-09 | don't allow ZST in ScalarInt | Ralf Jung | -6/+7 |
| 2022-07-09 | Rollup merge of #98980 - RalfJung:const-prop-ice, r=oli-obk | Dylan DPC | -0/+4 |
| 2022-07-08 | interpret: only to track_caller in debug builds due to perf | Ralf Jung | -4/+4 |
| 2022-07-06 | interpret: remove LocalValue::Unallocated, add Operand::Uninit | Ralf Jung | -6/+18 |
| 2022-07-06 | add track_caller to some interpreter functions | Ralf Jung | -0/+4 |
| 2022-07-05 | finally enable Scalar layout sanity checks | Ralf Jung | -3/+2 |
| 2022-07-04 | clarify comment | Ralf Jung | -1/+2 |
| 2022-07-03 | interpret: track place alignment together with the type, not the value | Ralf Jung | -15/+22 |
| 2022-06-29 | interpret: add From<&MplaceTy> for PlaceTy | Ralf Jung | -0/+7 |
| 2022-06-14 | rebase | b-naber | -1/+1 |
| 2022-06-14 | implement valtrees as the type-system representation for constant values | b-naber | -1/+5 |
| 2022-06-14 | Rename the `ConstS::val` field as `kind`. | Nicholas Nethercote | -4/+4 |
| 2022-06-05 | reduce code duplication | Ralf Jung | -13/+12 |
| 2022-06-05 | interpret: better control over whether we read data with provenance, and impl... | Ralf Jung | -6/+16 |
| 2022-05-20 | Remove `crate` visibility usage in compiler | Jacob Pratt | -1/+1 |
| 2022-05-14 | Auto merge of #95826 - carbotaniuman:miri-permissive-provenance, r=RalfJung | bors | -4/+5 |
| 2022-05-13 | Rustc changes for permissive provenance | carbotaniuman | -4/+5 |
| 2022-05-11 | Auto merge of #96220 - RalfJung:scalar-no-padding, r=oli-obk | bors | -19/+38 |
| 2022-05-11 | avoid computing Scalar size/align in debug builds | Ralf Jung | -3/+3 |
| 2022-05-10 | fmt | Ralf Jung | -3/+1 |
| 2022-05-10 | even tighter checks for layouts on immediate field projections | Ralf Jung | -6/+11 |
| 2022-05-10 | disable one check for now until #96185 is fixed | Ralf Jung | -3/+4 |
| 2022-05-10 | tighten sanity checks around Scalar and ScalarPair | Ralf Jung | -15/+30 |
