| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-08-02 | const validation: point at where we found a pointer but expected an integer | Ralf Jung | -45/+57 |
| 2023-08-01 | rename deref_operand → deref_pointer and some Miri helper functions | Ralf Jung | -3/+1 |
| 2023-07-27 | Rollup merge of #114075 - matthiaskrgr:fmt_args_rustc_3, r=wesleywiser | Matthias Krüger | -5/+5 |
| 2023-07-25 | inline format!() args from rustc_codegen_llvm to the end (4) | Matthias Krüger | -5/+5 |
| 2023-07-25 | make MPlaceTy non-Copy | Ralf Jung | -3/+3 |
| 2023-07-25 | interpret: read_discriminant: only return VariantIdx | Ralf Jung | -1/+1 |
| 2023-07-25 | interpret: refactor projection code to work on a common trait, and use that f... | Ralf Jung | -61/+55 |
| 2023-07-21 | Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk" | David Tolnay | -21/+33 |
| 2023-07-21 | support non-null pointer niches in CTFE | Moulins | -33/+21 |
| 2023-06-01 | Use translatable diagnostics in `rustc_const_eval` | Deadbeef | -122/+95 |
| 2023-04-27 | Use trimmed paths in constantant validation errors | Tomasz Miąsko | -10/+8 |
| 2023-04-17 | Spelling - compiler | Josh Soref | -2/+2 |
| 2023-03-30 | Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>` | Scott McMurray | -3/+7 |
| 2023-02-26 | Access upvars through a query. | Camille GILLOT | -4/+2 |
| 2023-02-20 | basic dyn* support for Miri | Ralf Jung | -10/+13 |
| 2023-02-15 | Use target instead of machine for mir interpreter integer handling. | Oli Scherer | -1/+1 |
| 2023-01-27 | Introduce GeneratorWitnessMIR. | Camille GILLOT | -0/+1 |
| 2023-01-20 | Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstrieb | bors | -1/+1 |
| 2023-01-17 | Remove double spaces after dots in comments | Maybe Waffle | -6/+6 |
| 2023-01-17 | `rustc_const_eval`: remove `ref` patterns (+some pattern matching imps) | Maybe Waffle | -1/+1 |
| 2022-12-13 | Combine identical alias arms | Michael Goulet | -2/+1 |
| 2022-12-13 | Combine projection and opaque into alias | Michael Goulet | -2/+2 |
| 2022-12-10 | compiler: remove unnecessary imports and qualified paths | KaDiWa | -1/+0 |
| 2022-11-25 | Move a comment to the right place | Oli Scherer | -3/+3 |
| 2022-11-25 | `rustc_layout_scalar_valid_range` can be applied to scalar pairs and affects ... | Oli Scherer | -9/+1 |
| 2022-11-18 | interpret: use Either over Result when it is not representing an error condition | Ralf Jung | -3/+5 |
| 2022-10-27 | Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functions | Maybe Waffle | -2/+1 |
| 2022-09-29 | Mark ignore(illustrative) on docs in compiler/rustc_const_eval/src/interpret/... | reez12g | -3/+3 |
| 2022-09-03 | Auto merge of #101154 - RalfJung:validation-perf, r=oli-obk | bors | -4/+5 |
| 2022-08-30 | Rollup merge of #101101 - RalfJung:read-pointer-as-bytes, r=oli-obk | Dylan DPC | -40/+32 |
| 2022-08-29 | interpret: fix unnecessary allocation in validation visitor | Ralf Jung | -4/+5 |
| 2022-08-29 | Rollup merge of #100897 - RalfJung:const-not-to-mutable, r=lcnr | Matthias Krüger | -27/+45 |
| 2022-08-28 | validation should only catch UB errors | Ralf Jung | -17/+20 |
| 2022-08-27 | interpret: make read-pointer-as-bytes *always* work in Miri | Ralf Jung | -23/+12 |
| 2022-08-26 | make read_immediate error immediately on uninit, so ImmTy can carry initializ... | Ralf Jung | -89/+57 |
| 2022-08-26 | remove some now-unnecessary parameters from check_bytes | Ralf Jung | -5/+1 |
| 2022-08-26 | remove enforce_number_init machine hook that Miri no longer needs | Ralf Jung | -16/+8 |
| 2022-08-23 | extra sanity check against consts pointing to mutable memory | Ralf Jung | -27/+45 |
| 2022-08-07 | add -Zextra-const-ub-checks to enable more UB checking in const-eval | Ralf Jung | -0/+4 |
| 2022-07-30 | Use LocalDefId for closures more | Cameron Steffen | -1/+1 |
| 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 | -10/+8 |
| 2022-07-20 | consistently use VTable over Vtable (matching stable stdlib API RawWakerVTable) | Ralf Jung | -1/+1 |
| 2022-07-20 | make use of symbolic vtables in interpreter | Ralf Jung | -44/+7 |
| 2022-07-20 | rename get_global_alloc to try_get_global_alloc | Ralf Jung | -1/+1 |
| 2022-07-19 | interpret: rename Tag/PointerTag to Prov/Provenance | Ralf Jung | -25/+25 |
| 2022-07-14 | interpret/validity: improve some comments | Ralf Jung | -2/+4 |
| 2022-07-13 | Rollup merge of #99011 - oli-obk:UnsoundCell, r=eddyb | Dylan DPC | -1/+1 |
| 2022-07-11 | interpret: refactor projection handling code | Ralf Jung | -8/+22 |
| 2022-07-07 | `UnsafeCell` now has no niches, ever. | Oli Scherer | -1/+1 |
