about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/stacked-borrows
AgeCommit message (Expand)AuthorLines
2025-05-05consistent folder naming: stacked-borrows -> stacked_borrowsRalf Jung-317/+0
2025-05-05move tests that are identical between SB and TB to shared filesRalf Jung-549/+17
2025-04-20Allow `dangerous_implicit_autorefs` lint in some testsUrgau-0/+2
2024-11-11stacked borrows tests: add those that fail under TBRalf Jung-0/+36
2024-10-21move strict provenance lints to new feature gate, remove old feature gatesRalf Jung-3/+0
2024-09-29let rustfmt format importsRalf Jung-8/+4
2024-09-16Bump ui testOli Scherer-2/+2
2024-07-24show warning when Stacked Borrows skips a reborrow due to 'extern type'Ralf Jung-5/+5
2024-06-17tell people how to set miri flagsRalf Jung-4/+3
2024-04-25fmtThe Miri Cronjob Bot-1/+2
2024-04-24Error on using `yield` without also using `#[coroutine]` on the closureOli Scherer-2/+2
2024-04-17fmtThe Miri Cronjob Bot-10/+12
2024-04-16Box::into_raw: make Miri understand that this is a box-to-raw castRalf Jung-0/+12
2024-04-03rename `expose_addr` to `expose_provenance`joboet-3/+3
2024-03-23rename ptr::from_exposed_addr -> ptr::with_exposed_provenanceRalf Jung-5/+5
2024-01-06fmtThe Miri Conjob Bot-1/+5
2024-01-02Allow unused tuple struct fields in Miri testsJake Goulding-3/+3
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 09:21:22 +0000