| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-09-24 | const validation: better error for maybe-null references | Ralf Jung | -3/+10 |
| 2025-09-24 | const-eval: improve and actually test the errors when pointers might be outsi... | Ralf Jung | -4/+1 |
| 2025-09-17 | Remove `DynKind` | León Orell Valerian Liehr | -1/+1 |
| 2025-08-19 | Rollup merge of #145306 - Stypox:tracing-misc, r=RalfJung | 许杰友 Jieyou Xu (Joe) | -1/+3 |
| 2025-08-18 | Add tracing to various miscellaneous functions | Stypox | -1/+3 |
| 2025-08-17 | Auto merge of #144081 - RalfJung:const-ptr-fragments, r=oli-obk | bors | -2/+2 |
| 2025-08-11 | Turn _span into _trace as trace span name | Stypox | -1/+1 |
| 2025-07-30 | const-eval: full support for pointer fragments | Ralf Jung | -2/+2 |
| 2025-07-28 | use let chains in ast, borrowck, codegen, const_eval | Kivooeo | -4/+4 |
| 2025-07-17 | Report the range of uninit bytes in CTFE errors | Oli Scherer | -1/+1 |
| 2025-07-16 | const heap: fix ICE on forgotten make_global | Ralf Jung | -1/+9 |
| 2025-07-09 | Add opaque TypeId handles for CTFE | Oli Scherer | -31/+33 |
| 2025-07-03 | setup CI and tidy to use typos for spellchecking and fix few typos | klensy | -1/+1 |
| 2025-07-01 | Remove support for dyn* | Michael Goulet | -3/+0 |
| 2025-06-29 | rename Pointer::from_addr_invalid to match strict provenance API | Ralf Jung | -1/+1 |
| 2025-06-29 | give Pointer::into_parts a more scary name and offer a safer alternative | Ralf Jung | -3/+5 |
| 2025-06-27 | Rollup merge of #143046 - RalfJung:zst-unsafe-cell, r=lcnr,oli-obk | Matthias Krüger | -5/+10 |
| 2025-06-27 | Rollup merge of #143051 - Stypox:tracing-validity, r=RalfJung | Guillaume Gomez | -4/+11 |
| 2025-06-27 | Add InterpCx::layout_of with tracing, shadowing LayoutOf | Stypox | -1/+1 |
| 2025-06-27 | Add tracing to validate_operand | Stypox | -0/+7 |
| 2025-06-26 | const-eval: allow constants to refer to mutable/external memory, but reject s... | Ralf Jung | -11/+10 |
| 2025-06-26 | Fix documentation of validate_operand | Stypox | -4/+4 |
| 2025-06-26 | make size_and_align_of_mplace work on all projectable | Ralf Jung | -10/+4 |
| 2025-06-26 | const validation: properly ignore zero-sized UnsafeCell | Ralf Jung | -3/+14 |
| 2025-06-03 | Change `tag_field` to `FieldIdx` in `Variants::Multiple` | Scott McMurray | -1/+1 |
| 2025-04-30 | interpret: better error message for out-of-bounds pointer arithmetic and acce... | Ralf Jung | -1/+1 |
| 2025-04-28 | Add or-patterns to pattern types | Oli Scherer | -0/+8 |
| 2025-04-01 | interpret: add a version of run_for_validation for &self | Ralf Jung | -1/+1 |
| 2025-02-28 | rename BackendRepr::Vector → SimdVector | Ralf Jung | -1/+1 |
| 2025-02-20 | fine-tune comment | Ralf Jung | -6/+5 |
| 2025-02-20 | Remove `BackendRepr::Uninhabited`, replaced with an `uninhabited: bool` field... | Zachary S | -4/+4 |
| 2025-02-08 | Rustfmt | bjorn3 | -13/+12 |
| 2025-02-02 | Check the base type of pattern types for validity first | Oli Scherer | -5/+4 |
| 2025-02-02 | Test validity of pattern types | Oli Scherer | -0/+12 |
| 2024-12-22 | Begin to implement type system layer of unsafe binders | Michael Goulet | -0/+1 |
| 2024-12-18 | make no-variant types a dedicated Variants variant | Ralf Jung | -5/+4 |
| 2024-12-18 | Variants::Single: do not use invalid VariantIdx for uninhabited enums | Ralf Jung | -1/+3 |
| 2024-12-18 | Re-export more `rustc_span::symbol` things from `rustc_span`. | Nicholas Nethercote | -1/+1 |
| 2024-11-19 | `InterpCx` store `TypingEnv` instead of a `ParamEnv` | lcnr | -7/+6 |
| 2024-11-19 | move `fn is_item_raw` to `TypingEnv` | lcnr | -3/+5 |
| 2024-11-18 | use `TypingEnv` when no `infcx` is available | lcnr | -3/+3 |
| 2024-11-09 | make return type of get_alloc_info a struct, and reduce some code duplication... | Ralf Jung | -65/+26 |
| 2024-11-09 | interpret: get_alloc_info: also return mutability | Ralf Jung | -1/+1 |
| 2024-10-29 | compiler: `rustc_abi::Abi` => `BackendRepr` | Jubilee Young | -11/+12 |
| 2024-10-28 | compiler: Add `is_uninhabited` and use LayoutS accessors | Jubilee Young | -3/+3 |
| 2024-10-19 | interpret errors: add map_err_kind, rename InterpError -> InterpErrorKind | Ralf Jung | -17/+15 |
| 2024-10-01 | make InterpResult a dedicated type to avoid accidentally discarding the error | Ralf Jung | -95/+87 |
| 2024-09-30 | panic when an interpreter error gets unintentionally discarded | Ralf Jung | -17/+21 |
| 2024-09-23 | Check vtable projections for validity in miri | Michael Goulet | -4/+4 |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -18/+19 |
