| Age | Commit message (Expand) | Author | Lines |
| 2022-06-16 | interpret: convert_tag_add_extra, init_allocation_extra: allow tagger to rais... | Ralf Jung | -11/+15 |
| 2022-06-15 | make sure miri ices when dereferencing a box | DrMeepster | -0/+5 |
| 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 | -6/+6 |
| 2022-06-13 | Rollup merge of #97960 - RalfJung:offset-from, r=oli-obk | Matthias Krüger | -67/+70 |
| 2022-06-11 | Rollup merge of #97761 - RalfJung:vtable-validation, r=cjgillot | Dylan DPC | -0/+8 |
| 2022-06-09 | interpret: unify offset_from check with offset check | Ralf Jung | -67/+70 |
| 2022-06-09 | Auto merge of #97740 - RalfJung:ctfe-cycle-spans, r=lcnr | bors | -19/+23 |
| 2022-06-08 | Rollup merge of #97763 - RalfJung:fallible-cast, r=lcnr | Dylan DPC | -6/+7 |
| 2022-06-08 | Auto merge of #97447 - nnethercote:improve-folding, r=jackh726 | bors | -2/+2 |
| 2022-06-08 | Folding revamp. | Nicholas Nethercote | -2/+2 |
| 2022-06-07 | Remove `AlwaysLiveLocals` wrapper struct | Tomasz Miąsko | -2/+2 |
| 2022-06-06 | Auto merge of #97795 - Dylan-DPC:rollup-dxilagr, r=Dylan-DPC | bors | -6/+1 |
| 2022-06-06 | Auto merge of #97684 - RalfJung:better-provenance-control, r=oli-obk | bors | -18/+45 |
| 2022-06-05 | interpret: do not claim UB until we looked more into variadic functions | Ralf Jung | -6/+1 |
| 2022-06-05 | validating the vtable can lead to Stacked Borrows errors | Ralf Jung | -0/+8 |
| 2022-06-05 | Allow ptr_from_addr_cast to fail | Ralf Jung | -6/+7 |
| 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 | -18/+46 |
| 2022-06-04 | use precise spans for recursive const evaluation | Ralf Jung | -3/+4 |
| 2022-06-04 | const_prop_lint: ensure we have up-to-date cur_span() | Ralf Jung | -1/+4 |
| 2022-06-04 | Move statement_index increment out of statement() function | Ralf Jung | -9/+9 |
| 2022-06-04 | tweak some bug!s | Ralf Jung | -6/+6 |
| 2022-06-03 | Rollup merge of #97663 - RalfJung:keine-halben-sachen, r=oli-obk | Dylan DPC | -3/+3 |
| 2022-06-02 | take back half-baked noaliasing check in Assignment | Ralf Jung | -3/+3 |
| 2022-06-02 | add cast kind of from_exposed_addr (int-to-ptr casts) | Ralf Jung | -10/+24 |
| 2022-06-02 | Rollup merge of #97626 - RalfJung:expose, r=tmiasko | Yuki Okushi | -3/+3 |
| 2022-06-01 | rename PointerAddress → PointerExposeAddress | Ralf Jung | -3/+3 |
| 2022-06-01 | Rollup merge of #97216 - RalfJung:null-ptr-check, r=oli-obk | Yuki Okushi | -0/+4 |
| 2022-05-31 | Add a pointer to address cast kind | Tomasz Miąsko | -15/+22 |
| 2022-05-30 | Rollup merge of #97395 - RalfJung:call-abi, r=oli-obk | Michael Goulet | -1/+8 |
| 2022-05-28 | Fix TyKind lint, make consts no longer fn, etc | Michael Goulet | -5/+5 |
| 2022-05-28 | Initial fixes on top of type interner commit | Michael Goulet | -4/+4 |
| 2022-05-28 | Move things to rustc_type_ir | Wilco Kusee | -3/+3 |
| 2022-05-27 | Auto merge of #96046 - oli-obk:const_typeck, r=cjgillot | bors | -8/+4 |
| 2022-05-26 | clippy::complexity fixes | Matthias Krüger | -7/+3 |
| 2022-05-25 | Miri call ABI check: ensure type size+align stay the same | Ralf Jung | -1/+8 |
| 2022-05-24 | Remove outdated comment | Oli Scherer | -4/+0 |
| 2022-05-24 | Add the transmute and asm checks to typeck as deferred checks | Oli Scherer | -4/+4 |
| 2022-05-24 | Add flag for stricter checks on uninit/zeroed | 5225225 | -3/+11 |
| 2022-05-23 | Refactor call terminator to always hold a destination place | Jakob Degen | -36/+49 |
| 2022-05-22 | Lifetime variance fixes for rustc | Michael Goulet | -4/+4 |
| 2022-05-20 | Remove `crate` visibility usage in compiler | Jacob Pratt | -8/+8 |
| 2022-05-20 | Ensure we never consider the null pointer dereferencable | Ralf Jung | -0/+4 |
| 2022-05-20 | Rollup merge of #97188 - carbotaniuman:remove-null-assert, r=RalfJung | Guillaume Gomez | -8/+1 |
| 2022-05-20 | Rollup merge of #97185 - RalfJung:number-validity, r=oli-obk | Guillaume Gomez | -15/+33 |
| 2022-05-19 | Remove unneeded asserts | carbotaniuman | -8/+1 |
| 2022-05-19 | fmt | Ralf Jung | -2/+1 |
| 2022-05-19 | interpret/validity: separately control checking numbers for being init and no... | Ralf Jung | -15/+34 |