about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/provenance/ptr_invalid.rs
AgeCommit message (Expand)AuthorLines
2024-10-22fmtThe Miri Cronjob Bot-1/+0
2024-10-21move strict provenance lints to new feature gate, remove old feature gatesRalf Jung-1/+0
2024-04-03rename `expose_addr` to `expose_provenance`joboet-1/+1
2024-02-21rename ptr::invalid -> ptr::without_provenanceRalf Jung-2/+2
2023-11-30move exposed-provenance APIs into separate feature gate and explain the relat...Ralf Jung-1/+1
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+9