about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/function_calls/arg_inplace_mutate.tree.stderr
AgeCommit message (Expand)AuthorLines
2025-09-22TB: rename Active → Unique to match paperRalf Jung-2/+2
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
2024-12-13Fix miri testsEsteban Küber-1/+0
2024-09-16Bump ui testOli Scherer-6/+6
2024-03-06Auto merge of #3340 - RalfJung:no-disable-abi-check, r=oli-obkbors-1/+1
2024-03-02Tree Borrows: print where the forbidden access happens; make tag tracking les...Ralf Jung-2/+2
2024-03-02remove the ability to disable ABI checkingRalf Jung-1/+1
2023-12-26custom mir: make it clear what the return block isRalf Jung-2/+2
2023-11-24Bless Miri testsNilstrieb-1/+1
2023-11-14Custom MIR: Support cleanup blocksTomasz Miąsko-2/+2
2023-10-05Tree Borrows: do not create new tags as 'Active'Ralf Jung-1/+7
2023-08-19custom_mir: change Call() terminator syntax to something more readableRalf Jung-3/+3
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-11miri: protect Move() function arguments during the callRalf Jung-0/+39
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 07:30:30 +0000