about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/provenance
AgeCommit message (Collapse)AuthorLines
2023-11-30move exposed-provenance APIs into separate feature gate and explain the ↵Ralf Jung-3/+3
relationship of Exposed Provenance and Strict Provenance
2023-11-24Bless Miri testsNilstrieb-6/+6
Co-authored-by: Adrian <adrian.iosdev@gmail.com>
2023-10-15don't UB on dangling ptr deref, instead check inbounds on projectionsRalf Jung-9/+9
2022-12-06Reintroduce the span printing in miri (plus point to spans where possible)Oli Scherer-6/+6
2022-12-06Remove now-redundant file/line info from const backtracesOli Scherer-7/+7
2022-11-06interpret: support for per-byte provenanceRalf Jung-0/+29
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+144
git-subtree-dir: src/tools/miri git-subtree-mainline: 3f3167fb59341ac3240ca1774f48e8c053219131 git-subtree-split: 75dd959a3a40eb5b4574f8d2e23aa6efbeb33573