about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/tree_borrows
AgeCommit message (Expand)AuthorLines
2025-09-22TB: rename Active → Unique to match paperRalf Jung-40/+7
2025-08-23tree borrows: refactor new-permission logicRalf Jung-0/+30
2025-08-19God bless the testsJohannes Hostert-0/+18
2025-06-07diagnostics: do not repeat the entire message in the span labelRalf Jung-18/+18
2025-05-30Track permissions on the byte-levelXinglu Chen-0/+59
2025-05-04Remove -Zunique-is-uniqueJohannes Hostert-169/+0
2025-05-01Merge pull request #4273 from yoctocell/new-cell-stateRalf Jung-6/+6
2025-05-01Add `Cell` state to Tree BorrowsXinglu Chen-6/+6
2025-04-29add -Zmiri-deterministic-concurrency flag and use it for concurrency testsRalf Jung-4/+4
2025-04-29Added random schedulinggeetanshjuneja-2/+2
2024-12-11Merge pull request #4008 from JoJoDeveloping/tb-access-state-based-skippingRalf Jung-0/+60
2024-12-10TB: optimize accesses on large trees by ignoring subtrees if the access would...Johannes Hostert-6/+6
2024-12-04add test to demonstrate the effect of #4008Johannes Hostert-0/+60
2024-11-11stacked borrows tests: add those that fail under TBRalf Jung-2/+2
2024-10-11simplify Tree Borrows write-during-2phase exampleRalf Jung-13/+15
2024-09-29let rustfmt format importsRalf Jung-2/+1
2024-09-21fmt (with a huge diff for some reason)Ralf Jung-1/+1
2024-09-16Bump ui testOli Scherer-99/+100
2024-09-11make basic allocation functions track_caller in Miri for nicer backtracesRalf Jung-5/+3
2024-08-27Make TB tree traversal bottom-upJohannes Hostert-35/+17
2024-08-27Add testcase for #3846Johannes Hostert-0/+54
2024-07-24Make unused states of Reserved unrepresentableNeven Villani-10/+10
2024-07-12Clarify comment in tests/fail/tree_borrows/reservedim_spurious_write.rsNeven Villani-2/+3
2024-07-10Second byte is not involved in the example; use a Cell<()> insteadNeven Villani-16/+19
2024-07-09Apply suggestionsNeven Villani-17/+50
2024-07-09Implement fix for reservedim_spurious_write: ignore IM on protectedNeven Villani-4/+45
2024-07-09This pattern using lazy protected Reserved IM prevents spurious writesNeven Villani-0/+109
2024-07-04Add UI test for protector end write semanticsJohannes Hostert-0/+62
2024-04-06chore: fix some typosfindseat-1/+1
2024-03-02Tree Borrows: print where the forbidden access happens; make tag tracking les...Ralf Jung-30/+30
2024-03-02print thread name in miri error backtracesRalf Jung-1/+1
2023-11-29explain tests that disable the provenance GCRalf Jung-0/+2
2023-11-24Manual find replace updatesNilstrieb-1/+1
2023-11-24Bless Miri testsNilstrieb-16/+16
2023-11-19tag-gc -> provenance-gcBen Kimock-2/+2
2023-10-06Fix problems of Reserved -> FrozenNeven Villani-14/+175
2023-09-23Merge from rustcThe Miri Conjob Bot-1/+1
2023-09-21adjust how closure/generator types and rvalues are printedRalf Jung-1/+1
2023-09-19Issue of the current model: spurious reads are not possibleNeven Villani-2/+2
2023-08-05tree borrows: consider some retags as writes for the purpose of data racesRalf Jung-127/+0
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-6/+6
2023-07-26fix protectors so that all reads actually commuteNeven Villani-6/+6
2023-07-26normalize tree borrow diagnostics across targetsRalf Jung-4/+4
2023-07-10Do not set up wrong span for adjustmentsMichael Goulet-10/+3
2023-06-28Unique gets special treatment when -Zmiri-unique-is-uniqueNeven Villani-0/+208
2023-06-18Merge from rustcRalf Jung-1/+1
2023-06-05Differentiate between explicit accesses and accesses inserted by TBNeven Villani-33/+33
2023-06-03Select more TB fail testsNeven Villani-0/+839
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 04:51:32 +0000