about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/provenance
AgeCommit message (Expand)AuthorLines
2023-11-30move exposed-provenance APIs into separate feature gate and explain the relat...Ralf Jung-3/+3
2023-11-24Bless Miri testsNilstrieb-6/+6
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