about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/tree_borrows
AgeCommit message (Expand)AuthorLines
2025-09-22TB: rename Active → Unique to match paperRalf Jung-5/+5
2025-08-23tree borrows: refactor new-permission logicRalf Jung-4/+6
2025-06-09Add `-Zmiri-tree-borrows-no-precise-interior-mut` flagXinglu Chen-0/+40
2025-05-30Track permissions on the byte-levelXinglu Chen-2/+24
2025-05-05Merge pull request #4309 from RalfJung/both-borrows-testsRalf Jung-463/+2
2025-05-05Merge pull request #4306 from yoctocell/fix-unsafecell-inside-boxRalf Jung-0/+42
2025-05-05move tests that are identical between SB and TB to shared filesRalf Jung-463/+2
2025-05-04Remove -Zunique-is-uniqueJohannes Hostert-193/+0
2025-05-02Construct test so that it would fail for old codeXinglu Chen-5/+22
2025-05-02Correctly handle interior mutable data in `Box`Xinglu Chen-0/+25
2025-05-01Merge pull request #4273 from yoctocell/new-cell-stateRalf Jung-17/+26
2025-05-01Add `Cell` state to Tree BorrowsXinglu Chen-17/+26
2025-04-29add -Zmiri-deterministic-concurrency flag and use it for concurrency testsRalf Jung-2/+2
2025-04-29Merge pull request #4272 from geetanshjuneja/schedulingRalf Jung-2/+2
2025-04-29Added random schedulinggeetanshjuneja-2/+2
2025-04-29suppress dangerous_implicit_autorefs in TB testRalf Jung-0/+1
2025-04-22TB: add missing interior_mutability test fileRalf Jung-0/+177
2024-09-29let rustfmt format importsRalf Jung-2/+1
2024-08-27tree_borrows test: ensure we can actually read the variableRalf Jung-1/+2
2024-08-22fix a misleading comment in TB testssun-jacobi-1/+1
2024-08-16Auto merge of #3754 - Vanille-N:master, r=RalfJungbors-36/+36
2024-08-12fix tree borrows Unique testRalf Jung-11/+7
2024-08-09Add a FIXME to the changed Miri testBen Kimock-0/+2
2024-08-09Bless MiriBen Kimock-3/+5
2024-07-24Make unused states of Reserved unrepresentableNeven Villani-36/+36
2024-07-09Implement fix for reservedim_spurious_write: ignore IM on protectedNeven Villani-1/+1
2024-04-17no need to use miri's native stderr hereRalf Jung-3/+2
2024-02-26tree borrows: add a test to sb_failsRalf Jung-2/+16
2024-01-02Allow unused tuple struct fields in Miri testsJake Goulding-1/+1
2023-11-29explain tests that disable the provenance GCRalf Jung-0/+7
2023-11-19tag-gc -> provenance-gcBen Kimock-7/+7
2023-10-20s/generator/coroutine/Oli Scherer-1/+1
2023-10-06Fix problems of Reserved -> FrozenNeven Villani-133/+405
2023-08-02add local_addr_of_mut testRalf Jung-0/+12
2023-08-02add write_does_not_invalidate_all_aliases test, and enable direct_mut_to_cons...Ralf Jung-5/+34
2023-07-30refactor tests/utils a bit, and move some FS functions thereRalf Jung-10/+9
2023-07-28exract a perform_access, check read-read commutation exhaustivelyNeven Villani-16/+18
2023-07-26we correctly check that the perm is not lazy when triggering protectorsNeven Villani-0/+16
2023-07-26normalize tree borrow diagnostics across targetsRalf Jung-48/+48
2023-06-28Unique gets special treatment when -Zmiri-unique-is-uniqueNeven Villani-1/+197
2023-06-03Select more TB fail testsNeven Villani-0/+884
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 10:20:32 +0000