about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/tree_borrows/reserved/cell-protected-write.stderr
AgeCommit message (Expand)AuthorLines
2025-08-19God bless the testsJohannes Hostert-0/+1
2025-06-07diagnostics: do not repeat the entire message in the span labelRalf Jung-1/+1
2025-05-01Add `Cell` state to Tree BorrowsXinglu Chen-1/+1
2024-09-16Bump ui testOli Scherer-5/+5
2024-07-24Make unused states of Reserved unrepresentableNeven Villani-5/+5
2024-07-09Implement fix for reservedim_spurious_write: ignore IM on protectedNeven Villani-3/+3
2024-03-02Tree Borrows: print where the forbidden access happens; make tag tracking les...Ralf Jung-2/+2
2023-11-24Bless Miri testsNilstrieb-1/+1
2023-10-06Fix problems of Reserved -> FrozenNeven Villani-7/+7
2023-09-19Issue of the current model: spurious reads are not possibleNeven Villani-2/+2
2023-07-28exract a perform_access, check read-read commutation exhaustivelyNeven Villani-2/+2
2023-07-26fix protectors so that all reads actually commuteNeven Villani-2/+2
2023-07-26normalize tree borrow diagnostics across targetsRalf Jung-2/+2
2023-06-05Differentiate between explicit accesses and accesses inserted by TBNeven Villani-2/+2
2023-06-03Select more TB fail testsNeven Villani-0/+42
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-22 18:29:33 +0000