about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/provenance
AgeCommit message (Expand)AuthorLines
2025-08-24Allow `integer_to_ptr_transmutes` in testsUrgau-0/+2
2025-07-30const-eval: full support for pointer fragmentsRalf Jung-0/+90
2025-06-07diagnostics: do not repeat the entire message in the span labelRalf Jung-12/+12
2025-04-30interpret: better error message for out-of-bounds pointer arithmetic and acce...Ralf Jung-16/+16
2024-10-22fmtThe Miri Cronjob Bot-1/+0
2024-10-21move strict provenance lints to new feature gate, remove old feature gatesRalf Jung-6/+0
2024-09-16Bump ui testOli Scherer-25/+25
2024-09-10fmtRalf Jung-1/+1
2024-09-08interpret: reset padding during validationRalf Jung-10/+12
2024-09-08interpret: reset provenance on typed copiesRalf Jung-0/+185
2024-07-27improve dangling/oob errors and make them more uniformRalf Jung-10/+10
2024-04-03rename `expose_addr` to `expose_provenance`joboet-1/+1
2024-03-23rename ptr::from_exposed_addr -> ptr::with_exposed_provenanceRalf Jung-5/+5
2024-02-21rename ptr::invalid -> ptr::without_provenanceRalf Jung-3/+3
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 08:18:12 +0000