| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-02-03 | Rollup merge of #136430 - FedericoBruzzone:follow-up-136180, r=oli-obk | Matthias Krüger | -27/+25 |
| 2025-02-03 | Refactor using the type-level constant value `ty::Value` | FedericoBruzzone | -27/+25 |
| 2025-02-03 | Rollup merge of #136464 - nnethercote:rm-TyCtxtAt-for-hooks, r=oli-obk | 许杰友 Jieyou Xu (Joe) | -9/+9 |
| 2025-02-03 | Rollup merge of #136438 - RalfJung:offset_from_ub_errors, r=oli-obk | 许杰友 Jieyou Xu (Joe) | -1/+19 |
| 2025-02-03 | Remove hook calling via `TyCtxtAt`. | Nicholas Nethercote | -9/+9 |
| 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 |
| 2025-02-02 | miri: improve error when offset_from preconditions are violated | Ralf Jung | -1/+19 |
| 2025-02-01 | Rollup merge of #130514 - compiler-errors:unsafe-binders, r=oli-obk | Matthias Krüger | -2/+18 |
| 2025-02-01 | Rollup merge of #136348 - RalfJung:miri-float-min-max, r=oli-obk | Matthias Krüger | -2/+20 |
| 2025-01-31 | Auto merge of #136350 - matthiaskrgr:rollup-6eqfyvh, r=matthiaskrgr | bors | -1/+6 |
| 2025-01-31 | Validation | Michael Goulet | -0/+2 |
| 2025-01-31 | Implement MIR, CTFE, and codegen for unsafe binders | Michael Goulet | -2/+16 |
| 2025-01-31 | interpret: adjust vtable validity check for higher-ranked types | Lukas Markeffsky | -56/+14 |
| 2025-01-31 | Auto merge of #134424 - 1c3t3a:null-checks, r=saethlin | bors | -0/+1 |
| 2025-01-31 | Rollup merge of #136325 - compiler-errors:indirectly, r=RalfJung | Matthias Krüger | -1/+6 |
| 2025-01-31 | Insert null checks for pointer dereferences when debug assertions are enabled | Bastian Kersting | -0/+1 |
| 2025-01-31 | miri: make float min/max non-deterministic | Ralf Jung | -2/+20 |
| 2025-01-31 | Auto merge of #135318 - compiler-errors:vtable-fixes, r=lcnr | bors | -48/+53 |
| 2025-01-31 | Delay a bug when indexing unsized slices | Michael Goulet | -1/+6 |
| 2025-01-30 | More assertions, tests, and miri coverage | Michael Goulet | -47/+52 |
| 2025-01-30 | add comments | Lukas Markeffsky | -1/+2 |
| 2025-01-30 | introduce `ty::Value` | Lukas Markeffsky | -3/+8 |
| 2025-01-30 | Normalize vtable entries before walking and deduplicating them | Michael Goulet | -1/+8 |
| 2025-01-30 | Do not treat vtable supertraits as distinct when bound with different bound vars | Michael Goulet | -10/+3 |
| 2025-01-30 | Auto merge of #136035 - SpecificProtagonist:miri-zeroed-alloc, r=oli-obk | bors | -16/+25 |
| 2025-01-29 | Rollup merge of #136166 - RalfJung:interpet-is-alloc-live, r=compiler-errors | León Orell Valerian Liehr | -2/+4 |
| 2025-01-28 | Auto merge of #136203 - matthiaskrgr:rollup-1k0f44l, r=matthiaskrgr | bors | -109/+118 |
| 2025-01-28 | Rollup merge of #136055 - fee1-dead-contrib:push-ovmyztlkptmk, r=RalfJung | Matthias Krüger | -109/+118 |
| 2025-01-28 | miri: optimize zeroed alloc | SpecificProtagonist | -16/+25 |
| 2025-01-28 | Implement MIR const trait stability checks | Deadbeef | -109/+118 |
| 2025-01-28 | interpret: is_alloc_live: check global allocs last | Ralf Jung | -2/+4 |
| 2025-01-28 | Represent the raw pointer for a array length check as a new kind of fake borrow | Michael Goulet | -21/+15 |
| 2025-01-27 | Reapply "Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=da... | Michael Goulet | -7/+31 |
| 2025-01-27 | Add `TooGeneric` variant to `LayoutError` and emit `Unknown` one | FedericoBruzzone | -1/+1 |
| 2025-01-19 | Rollup merge of #134858 - estebank:issue-81370, r=Noratrieb | Guillaume Gomez | -4/+33 |
| 2025-01-19 | Auto merge of #135709 - lqd:bring-back-len, r=compiler-errors | bors | -34/+20 |
| 2025-01-18 | Revert "Auto merge of #133734 - scottmcm:lower-indexing-to-ptrmetadata, r=dav... | Rémy Rakic | -31/+7 |
| 2025-01-18 | Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper" | Rémy Rakic | -3/+13 |
| 2025-01-18 | Deduplicate logic | Esteban Küber | -14/+8 |
| 2025-01-18 | Structured suggestion for "missing `feature` intrinsic" | Esteban Küber | -1/+18 |
| 2025-01-18 | Structured suggestion for "missing `feature` in unstable fn call" | Esteban Küber | -3/+21 |
| 2025-01-18 | const-eval: detect more pointers as definitely not-null | Ralf Jung | -8/+17 |
| 2025-01-15 | Methods of const traits are const | Oli Scherer | -12/+13 |
| 2025-01-14 | Do not consider traits that have unsatisfied const conditions to be condition... | Michael Goulet | -8/+18 |
| 2025-01-13 | Assert that Instance::try_resolve is only used on body-like things | Michael Goulet | -4/+8 |
| 2025-01-11 | rename `BitSet` to `DenseBitSet` | Rémy Rakic | -3/+3 |
| 2025-01-09 | Unify conditional and non const call error reporting | Michael Goulet | -221/+256 |
| 2025-01-09 | Make the non-const part swappable in the diagnostic | Michael Goulet | -14/+31 |
| 2025-01-09 | Add note back to conditionally-const error message | Michael Goulet | -2/+10 |
