| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-08-19 | Rollup merge of #145585 - RalfJung:miri-inplace-arg-checks, r=compiler-errors | 许杰友 Jieyou Xu (Joe) | -0/+6 |
| 2025-08-18 | interpret: fix in-place return place semantics when the return place expressi... | Ralf Jung | -0/+6 |
| 2025-08-18 | interpret: avoid forcing all integer newtypes into memory during clear_proven... | Ralf Jung | -0/+7 |
| 2025-08-17 | Auto merge of #144081 - RalfJung:const-ptr-fragments, r=oli-obk | bors | -4/+4 |
| 2025-08-11 | Turn _span into _trace as trace span name | Stypox | -1/+1 |
| 2025-07-31 | Add tracing to more functions related to step.rs | Stypox | -0/+5 |
| 2025-07-30 | const-eval: full support for pointer fragments | Ralf Jung | -4/+4 |
| 2025-07-03 | setup CI and tidy to use typos for spellchecking and fix few typos | klensy | -1/+1 |
| 2025-06-29 | rename Pointer::from_addr_invalid to match strict provenance API | Ralf Jung | -1/+1 |
| 2025-06-27 | Rollup merge of #143046 - RalfJung:zst-unsafe-cell, r=lcnr,oli-obk | Matthias Krüger | -5/+5 |
| 2025-06-27 | Add InterpCx::layout_of with tracing, shadowing LayoutOf | Stypox | -1/+1 |
| 2025-06-26 | make size_and_align_of_mplace work on all projectable | Ralf Jung | -5/+5 |
| 2025-06-25 | make `tidy-alphabetical` use a natural sort | Folkert de Vries | -1/+1 |
| 2025-01-28 | miri: optimize zeroed alloc | SpecificProtagonist | -4/+4 |
| 2025-01-07 | Avoid naming variables `str` | Josh Triplett | -2/+2 |
| 2024-12-25 | swap_typed_nonoverlapping: properly detect overlap even when swapping scalar ... | Ralf Jung | -26/+5 |
| 2024-12-09 | interpret: clean up deduplicating allocation functions | Ralf Jung | -27/+17 |
| 2024-12-07 | Add allocate_bytes and refactor allocate_str in InterpCx for raw byte allocation | shamb0 | -13/+32 |
| 2024-11-19 | `InterpCx` store `TypingEnv` instead of a `ParamEnv` | lcnr | -2/+2 |
| 2024-11-18 | use `TypingEnv` when no `infcx` is available | lcnr | -9/+3 |
| 2024-10-31 | stop using `ParamEnv::reveal` while handling MIR | lcnr | -2/+8 |
| 2024-10-29 | compiler: `rustc_abi::Abi` => `BackendRepr` | Jubilee Young | -4/+8 |
| 2024-10-03 | interpret: Immediate::offset: use shared sanity-check function to ensure inva... | Ralf Jung | -2/+6 |
| 2024-10-02 | Auto merge of #131006 - RalfJung:immediate-sanity, r=saethlin | bors | -3/+5 |
| 2024-10-01 | make InterpResult a dedicated type to avoid accidentally discarding the error | Ralf Jung | -40/+36 |
| 2024-09-30 | panic when an interpreter error gets unintentionally discarded | Ralf Jung | -6/+13 |
| 2024-09-29 | interpret: always enable write_immediate sanity checks | Ralf Jung | -3/+5 |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -4/+4 |
| 2024-09-15 | Rollup merge of #129828 - RalfJung:miri-data-race, r=saethlin | Matthias Krüger | -9/+22 |
| 2024-09-13 | interpret: simplify SIMD type handling | Ralf Jung | -23/+22 |
| 2024-09-10 | interpret: mark some hot functions inline(always) | Ralf Jung | -0/+3 |
| 2024-09-10 | miri: treat non-memory local variables properly for data race detection | Ralf Jung | -9/+22 |
| 2024-09-08 | interpret: reset padding during validation | Ralf Jung | -7/+10 |
| 2024-09-08 | interpret: reset provenance on typed copies | Ralf Jung | -25/+44 |
| 2024-09-08 | interpret: factor out common code for place mutation | Ralf Jung | -81/+62 |
| 2024-09-08 | interpret: make Writeable trait about a to_place operation | Ralf Jung | -17/+12 |
| 2024-09-08 | interpret: remove Readable trait, we can use Projectable instead | Ralf Jung | -7/+7 |
| 2024-09-03 | Auto merge of #129777 - nnethercote:unreachable_pub-4, r=Urgau | bors | -2/+2 |
| 2024-09-03 | Add `warn(unreachable_pub)` to `rustc_const_eval`. | Nicholas Nethercote | -2/+2 |
| 2024-09-02 | chore: Fix typos in 'compiler' (batch 1) | Alexander Cyon | -1/+1 |
| 2024-08-31 | interpret, codegen: tweak some comments and checks regarding Box with custom ... | Ralf Jung | -5/+7 |
| 2024-08-06 | miri: make vtable addresses not globally unique | Ralf Jung | -1/+2 |
| 2024-08-03 | Miri: add a flag to do recursive validity checking | Ralf Jung | -3/+12 |
| 2024-08-01 | interpret: simplify pointer arithmetic logic | Ralf Jung | -4/+2 |
| 2024-08-01 | on a signed deref check, mention the right pointer in the error | Ralf Jung | -7/+3 |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -5/+4 |
| 2024-07-14 | Add cache for `allocate_str` | Adwin White | -1/+13 |
| 2024-06-21 | interpret: use trace to reduce noice | Lzu Tao | -6/+6 |
| 2024-06-12 | Rollup merge of #126232 - RalfJung:dyn-trait-equality, r=oli-obk | Guillaume Gomez | -49/+0 |
| 2024-06-10 | interpret: refactor dyn trait handling | Ralf Jung | -49/+0 |
