summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/both_borrows
AgeCommit message (Expand)AuthorLines
2024-01-02Allow unused tuple struct fields in Miri testsJake Goulding-2/+2
2023-11-24Bless Miri testsNilstrieb-62/+62
2023-10-27data-race: preserve structured access information longer, and don't upper-cas...Ralf Jung-5/+5
2023-10-06Fix problems of Reserved -> FrozenNeven Villani-89/+15
2023-09-21adjust how closure/generator types and rvalues are printedRalf Jung-4/+4
2023-08-16on out-of-bounds error, show where the allocation was createdRalf Jung-2/+12
2023-08-05tree borrows: consider some retags as writes for the purpose of data racesRalf Jung-0/+157
2023-08-02Auto merge of #112431 - Urgau:cast_ref_to_mut_improvments, r=Nilstriebbors-0/+2
2023-07-29Auto merge of #114211 - RalfJung:miri, r=RalfJungbors-14/+14
2023-07-29Adjust some tests for invalid_reference_casting improvementsUrgau-0/+2
2023-07-29Auto merge of #113422 - Urgau:cast_ref_to_mut-pre-beta, r=Nilstriebbors-1/+1
2023-07-28exract a perform_access, check read-read commutation exhaustivelyNeven Villani-14/+14
2023-07-26fix protectors so that all reads actually commuteNeven Villani-14/+14
2023-07-21ask people to reach out if we declare too much UBRalf Jung-2/+7
2023-07-21SB: track whether a retag occurred nested inside a fieldRalf Jung-5/+5
2023-07-21make full field retagging the defaultRalf Jung-7/+15
2023-07-13Rename cast_ref_to_mut lint to invalid_reference_castingUrgau-1/+1
2023-06-19bless new testsRalf Jung-2/+2
2023-06-10box_exclusive_violationNeven Villani-0/+118
2023-06-05Differentiate between explicit accesses and accesses inserted by TBNeven Villani-87/+87
2023-06-03Select more TB fail testsNeven Villani-0/+2377
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 05:34:40 +0000