| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-04-17 | ptr_get_alloc_id: don't return an actual Pointer | Ralf Jung | -30/+29 |
| 2022-04-17 | downgrade really verbose logging to trace | Ralf Jung | -2/+2 |
| 2022-04-17 | interpret: more debug logging for read_scalar and write_scalar | Ralf Jung | -4/+21 |
| 2022-04-17 | add caution to some comments | Ralf Jung | -1/+1 |
| 2022-04-17 | when writing uninit to an allocation, also clear relocations like other write... | Ralf Jung | -5/+10 |
| 2022-04-16 | Rollup merge of #95426 - b-naber:valtrees-slice, r=RalfJung,oli-obk | Dylan DPC | -26/+58 |
| 2022-04-16 | Rollup merge of #96050 - oli-obk:deaggregator_cleanup, r=RalfJung | Dylan DPC | -19/+3 |
| 2022-04-14 | handle arrays and slices uniformly in valtree creation | b-naber | -31/+13 |
| 2022-04-14 | Remove some now-dead code that was only relevant before deaggregation. | Oli Scherer | -19/+3 |
| 2022-04-13 | Consider lifetimes when comparing types for equality in MIR validator | Jakob Degen | -4/+3 |
| 2022-04-12 | use len on mplace instead of reading immediate, remove dead code | b-naber | -39/+14 |
| 2022-04-11 | Remove rule that place loads may not happen with variant index set | Jakob Degen | -5/+2 |
| 2022-04-11 | Address various comments and change some details around place to value conver... | Jakob Degen | -1/+1 |
| 2022-04-11 | Adjust MIR validator to check a few more things for terminators | Jakob Degen | -5/+19 |
| 2022-04-11 | Extend the MIR validator to check many more things around rvalues. | Jakob Degen | -39/+161 |
| 2022-04-11 | Adjust computation of place types to detect more invalid places | Jakob Degen | -1/+9 |
| 2022-04-11 | Add new `Deinit` statement kind | Jakob Degen | -29/+92 |
| 2022-04-10 | Avoid accessing HIR from MIR queries. | Camille GILLOT | -14/+4 |
| 2022-04-08 | use deref on ImmTy | b-naber | -4/+3 |
| 2022-04-08 | create leafs for slices | b-naber | -116/+63 |
| 2022-04-07 | interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internal | Ralf Jung | -50/+60 |
| 2022-04-06 | Auto merge of #95707 - RalfJung:initialized, r=oli-obk | bors | -4/+22 |
| 2022-04-06 | Rollup merge of #95693 - RalfJung:more-context, r=oli-obk | Dylan DPC | -7/+13 |
| 2022-04-05 | interp/validity: enforce Scalar::Initialized | Ralf Jung | -4/+22 |
| 2022-04-05 | interp: pass TyCtxt to Machine methods that do not take InterpCx | Ralf Jung | -7/+13 |
| 2022-04-05 | Auto merge of #94527 - oli-obk:undef_scalars, r=nagisa,erikdesjardin | bors | -18/+27 |
| 2022-04-05 | mir-interpret now treats unions as non-immediate, even if they have scalar la... | Oli Scherer | -7/+11 |
| 2022-04-05 | Mark scalar layout unions so that backends that do not support partially init... | Oli Scherer | -13/+18 |
| 2022-04-03 | tweak some function names | Ralf Jung | -14/+14 |
| 2022-04-03 | interpret: remove MemoryExtra in favor of giving access to the Machine | Ralf Jung | -238/+192 |
| 2022-04-01 | Auto merge of #94883 - cjgillot:flat-metadata, r=oli-obk | bors | -31/+35 |
| 2022-03-31 | Merge impl_constness and is_const_fn_raw. | Camille GILLOT | -31/+35 |
| 2022-03-31 | catch overflow in slice size computation | Ralf Jung | -1/+2 |
| 2022-03-31 | audit check_mul uses in interpret | Ralf Jung | -1/+7 |
| 2022-03-31 | interpret: make isize::MAX the limit for dynamic value sizes | Ralf Jung | -8/+10 |
| 2022-03-30 | Auto merge of #95436 - cjgillot:static-mut, r=oli-obk | bors | -1/+1 |
| 2022-03-30 | Auto merge of #95466 - Dylan-DPC:rollup-g7ddr8y, r=Dylan-DPC | bors | -8/+8 |
| 2022-03-30 | Spellchecking some comments | Yuri Astrakhan | -8/+8 |
| 2022-03-29 | Remember mutability in `DefKind::Static`. | Camille GILLOT | -1/+1 |
| 2022-03-29 | include refs in valtree creation | b-naber | -29/+158 |
| 2022-03-28 | Normalize all projections in mir validation again | Oli Scherer | -1/+6 |
| 2022-03-28 | Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk" | Oli Scherer | -8/+16 |
| 2022-03-26 | interpret: with enforce_number_validity, ensure integers are truly Scalar::In... | Ralf Jung | -3/+6 |
| 2022-03-26 | interpret: mark a dead match arm as dead | Ralf Jung | -1/+2 |
| 2022-03-26 | Auto merge of #95149 - cjgillot:once-diag, r=estebank | bors | -2/+2 |
| 2022-03-25 | Rollup merge of #94655 - JakobDegen:mir-phase-docs, r=oli-obk | Dylan DPC | -28/+48 |
| 2022-03-23 | Clarify which kinds of MIR are allowed during which phases. | Jakob Degen | -28/+48 |
| 2022-03-23 | Rollup merge of #95221 - RalfJung:check_and_deref_ptr, r=oli-obk | Matthias Krüger | -15/+5 |
| 2022-03-23 | Auto merge of #94901 - fee1-dead:destructable, r=oli-obk | bors | -9/+7 |
| 2022-03-22 | interpret/memory: simplify check_and_deref_ptr | Ralf Jung | -15/+5 |
