| Age | Commit message (Expand) | Author | Lines |
| 2025-09-24 | const validation: better error for maybe-null references | Ralf Jung | -0/+2 |
| 2025-09-24 | const-eval: improve and actually test the errors when pointers might be outsi... | Ralf Jung | -4/+1 |
| 2025-09-17 | Auto merge of #146331 - RalfJung:copy-prov-repeat, r=oli-obk | bors | -60/+60 |
| 2025-09-10 | Rollup merge of #146178 - folkertdev:static-align, r=jdonszelmann,ralfjung,tr... | Matthias Krüger | -1/+10 |
| 2025-09-10 | avoid calling insert_presorted more than once | Ralf Jung | -10/+16 |
| 2025-09-10 | interpret: copy_provenance: avoid large intermediate buffer for large repeat ... | Ralf Jung | -60/+54 |
| 2025-09-09 | allow `#[rustc_align_static(N)]` on `static`s | Folkert de Vries | -1/+10 |
| 2025-09-09 | Auto merge of #145717 - BoxyUwU:erase_regions_rename, r=lcnr | bors | -5/+7 |
| 2025-09-09 | erase_regions to erase_and_anonymize_regions | Boxy | -5/+7 |
| 2025-09-08 | const-eval: disable pointer fragment support | Ralf Jung | -2/+19 |
| 2025-08-22 | interpret/allocation: get_range on ProvenanceMap | Nia Espera | -0/+11 |
| 2025-08-17 | Auto merge of #144081 - RalfJung:const-ptr-fragments, r=oli-obk | bors | -114/+127 |
| 2025-08-04 | small refactor of `InterpResult` | Waffle Lapkin | -20/+21 |
| 2025-07-30 | const-eval: full support for pointer fragments | Ralf Jung | -114/+127 |
| 2025-07-27 | miri: for ABI mismatch errors, say which argument is the problem | Ralf Jung | -1/+6 |
| 2025-07-23 | Remove useless lifetime parameter. | Camille GILLOT | -1/+1 |
| 2025-07-17 | Report the range of uninit bytes in CTFE errors | Oli Scherer | -2/+5 |
| 2025-07-16 | add `const_make_global`; err for `const_allocate` ptrs if didn't call | Deadbeef | -1/+1 |
| 2025-07-13 | Rollup merge of #143634 - nia-e:init-and-wildcards, r=RalfJung | Matthias Krüger | -24/+37 |
| 2025-07-10 | interpret/allocation: expose init + write_wildcards on a range | Nia Espera | -24/+37 |
| 2025-07-09 | Add opaque TypeId handles for CTFE | Oli Scherer | -5/+30 |
| 2025-07-07 | compiler: Parse `p-` specs in datalayout string, allow definition of custom d... | Edoardo Marangoni | -18/+17 |
| 2025-07-03 | Rollup merge of #134006 - klensy:typos, r=nnethercote | Jana Dönszelmann | -1/+1 |
| 2025-07-03 | setup CI and tidy to use typos for spellchecking and fix few typos | klensy | -1/+1 |
| 2025-07-02 | interpret: move the native call preparation logic into Miri | Ralf Jung | -9/+2 |
| 2025-07-01 | Auto merge of #141875 - nnethercote:ByteSymbol, r=petrochenkov | bors | -1/+1 |
| 2025-06-30 | Introduce `ByteSymbol`. | Nicholas Nethercote | -1/+1 |
| 2025-06-29 | rename Pointer::from_addr_invalid to match strict provenance API | Ralf Jung | -3/+3 |
| 2025-06-29 | give Pointer::into_parts a more scary name and offer a safer alternative | Ralf Jung | -11/+18 |
| 2025-06-26 | const-eval: allow constants to refer to mutable/external memory, but reject s... | Ralf Jung | -54/+122 |
| 2025-05-29 | Rollup merge of #141682 - nia-e:fixup-alloc, r=RalfJung | Jacob Pratt | -1/+1 |
| 2025-05-29 | Rollup merge of #136429 - fmease:gci-fix-def-site-checks, r=BoxyUwU | Jacob Pratt | -22/+0 |
| 2025-05-28 | interpret/allocation: make alloc fn be FnOnce | Nia Espera | -1/+1 |
| 2025-05-27 | Drive-by: Delete dead TyCtxtEnsureOk::const_eval_poly | León Orell Valerian Liehr | -22/+0 |
| 2025-05-27 | Rollup merge of #141582 - RalfJung:cleanup, r=bjorn3 | Michael Goulet | -5/+5 |
| 2025-05-26 | extend allocbytes with associated type | Nia Espera | -17/+41 |
| 2025-05-24 | ScalarInt: support conversion with signed int types and cmp::Ordering | Ralf Jung | -5/+5 |
| 2025-05-05 | Rename Instance::new to Instance::new_raw and add a note that it is raw | Michael Goulet | -3/+3 |
| 2025-05-02 | Rollup merge of #140521 - RalfJung:oob-error, r=saethlin | Matthias Krüger | -5/+3 |
| 2025-04-30 | interpret: better error message for out-of-bounds pointer arithmetic and acce... | Ralf Jung | -5/+3 |
| 2025-04-29 | Don't FCW assoc consts in patterns | Boxy | -9/+10 |
| 2025-03-15 | Move codec module back into middle | Michael Goulet | -15/+13 |
| 2025-03-15 | Fold visit into ty | Michael Goulet | -2/+1 |
| 2025-03-13 | Auto merge of #137152 - saethlin:bss-const-allocs, r=wesleywiser | bors | -2/+115 |
| 2025-03-12 | Rollup merge of #137701 - cuviper:sharded-hashtable, r=fmease | Matthias Krüger | -15/+5 |
| 2025-03-11 | miri native_calls: ensure we actually expose *mutable* provenance to the memo... | Ralf Jung | -0/+5 |
| 2025-03-10 | Convert `ShardedHashMap` to use `hashbrown::HashTable` | Josh Stone | -15/+5 |
| 2025-03-09 | Rollup merge of #138040 - thaliaarchi:use-prelude-size-of.compiler, r=compile... | Matthias Krüger | -3/+3 |
| 2025-03-07 | compiler: Use size_of from the prelude instead of imported | Thalia Archibald | -3/+3 |
| 2025-03-06 | Rollup merge of #137920 - RalfJung:provenance-map-emptiness, r=oli-obk | Michael Goulet | -22/+22 |