about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/tree_borrows/reserved
AgeCommit message (Expand)AuthorLines
2025-08-19God bless the testsJohannes Hostert-0/+2
2025-06-07diagnostics: do not repeat the entire message in the span labelRalf Jung-2/+2
2025-05-01Add `Cell` state to Tree BorrowsXinglu Chen-6/+6
2024-09-16Bump ui testOli Scherer-10/+10
2024-07-24Make unused states of Reserved unrepresentableNeven Villani-10/+10
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-4/+4
2023-11-29explain tests that disable the provenance GCRalf Jung-0/+2
2023-11-24Bless Miri testsNilstrieb-2/+2
2023-11-19tag-gc -> provenance-gcBen Kimock-2/+2
2023-10-06Fix problems of Reserved -> FrozenNeven Villani-14/+14
2023-09-19Issue of the current model: spurious reads are not possibleNeven Villani-2/+2
2023-07-30refactor tests/utils a bit, and move some FS functions thereRalf Jung-2/+2
2023-07-28exract a perform_access, check read-read commutation exhaustivelyNeven Villani-4/+4
2023-07-26fix protectors so that all reads actually commuteNeven Villani-4/+4
2023-07-26normalize tree borrow diagnostics across targetsRalf Jung-4/+4
2023-06-05Differentiate between explicit accesses and accesses inserted by TBNeven Villani-4/+4
2023-06-03Select more TB fail testsNeven Villani-0/+150
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 18:07:27 +0000