about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/stacked-borrows
AgeCommit message (Expand)AuthorLines
2023-12-03Auto merge of #118567 - RalfJung:miri, r=RalfJungbors-1/+4
2023-11-30move exposed-provenance APIs into separate feature gate and explain the relat...Ralf Jung-2/+2
2023-11-28Remove Stacked Borrows GC heuristicsBen Kimock-1/+4
2023-10-20Rename lots of files that had `generator` in their nameOli Scherer-0/+0
2023-10-20s/generator/coroutine/Oli Scherer-4/+4
2023-10-20s/Generator/Coroutine/Oli Scherer-3/+3
2023-08-02add write_does_not_invalidate_all_aliases test, and enable direct_mut_to_cons...Ralf Jung-6/+31
2023-07-21make full field retagging the defaultRalf Jung-3/+0
2023-05-21Rename `drop_copy` lint to `dropping_copy_types`Urgau-1/+1
2023-05-10Adjust tests for new drop and forget lintsUrgau-0/+3
2023-04-14Fix spellingJosh Soref-3/+3
2023-04-13Update to new ui_test crateOli Scherer-4/+4
2023-03-16TB: select tests to run both TB and SBNeven Villani-136/+4
2023-02-06also do not add noalias on not-Unpin BoxRalf Jung-10/+44
2023-02-06make &mut !Unpin not dereferenceableRalf Jung-0/+20
2023-01-11Stabilize `::{core,std}::pin::pin!`Daniel Henry-Mantilla-2/+0
2022-12-03add test for self-referential futureRalf Jung-0/+102
2022-10-29Stacked Borrows: make scalar field retagging the defaultRalf Jung-2/+21
2022-10-25Rename, improve docs, fail betterBen Kimock-7/+25
2022-10-22add scalar-abi-only field retagging optionRalf Jung-0/+19
2022-10-19Auto merge of #2600 - saethlin:ice, r=RalfJungbors-0/+21
2022-10-19Never start the Stack::retain loop at offset 0 so that the left element is al...Ben Kimock-0/+21
2022-10-15Replace tags in stdoutBen Kimock-5/+5
2022-10-14Add a testBen Kimock-0/+34
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+639