| 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-02-21 | rename ptr::invalid -> ptr::without_provenance | Ralf Jung | -1/+1 |
| 2023-10-17 | fmt | The Miri Conjob Bot | -1/+1 |
| 2023-10-15 | don't UB on dangling ptr deref, instead check inbounds on projections | Ralf Jung | -0/+16 |
