| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-10-21 | move strict provenance lints to new feature gate, remove old feature gates | Ralf Jung | -1/+0 |
| 2024-05-13 | offset, offset_from: allow zero-byte offset on arbitrary pointers | Ralf Jung | -4/+3 |
| 2024-05-04 | make some tests not need output (so they work on wasm) | Ralf Jung | -1/+4 |
| 2024-02-21 | rename ptr::invalid -> ptr::without_provenance | Ralf Jung | -1/+1 |
| 2024-02-08 | fmt | The Miri Conjob Bot | -1/+1 |
| 2024-02-06 | miri: fix ICE with symbolic alignment check on extern static | Ralf Jung | -1/+22 |
| 2024-01-02 | Allow unused tuple struct fields in Miri tests | Jake Goulding | -2/+2 |
| 2023-12-05 | fix miri_promise_symbolic_alignment for huge alignments | Ralf Jung | -0/+12 |
| 2023-12-03 | miri: support 'promising' alignment for symbolic alignment check | Ralf Jung | -28/+15 |
| 2022-11-20 | make align_offset always work on no-provenance pointers | Ralf Jung | -0/+6 |
| 2022-09-21 | Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573' | Oli Scherer | -0/+105 |
