about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/box.stack.stderr
AgeCommit message (Collapse)AuthorLines
2024-07-26better diagnostics for Tree Borrows + int2ptr castsRalf Jung-33/+0
2024-07-24show warning when Stacked Borrows skips a reborrow due to 'extern type'Ralf Jung-5/+5
2024-06-17tell people how to set miri flagsRalf Jung-4/+3
2024-03-23rename ptr::from_exposed_addr -> ptr::with_exposed_provenanceRalf Jung-3/+3
2024-03-02print thread name in miri error backtracesRalf Jung-0/+1
2023-03-16TB: select tests to run both TB and SBNeven Villani-0/+33