about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass
AgeCommit message (Expand)AuthorLines
2025-05-05Merge pull request #4309 from RalfJung/both-borrows-testsRalf Jung-532/+94
2025-05-05consistent folder naming: stacked-borrows -> stacked_borrowsRalf Jung-6/+6
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-764/+326
2025-05-05Merge pull request #4307 from JoJoDeveloping/remove-unique-is-uniqueRalf Jung-198/+2
2025-05-04Remove -Zunique-is-uniqueJohannes Hostert-198/+2
2025-05-03Merge from rustcThe Miri Cronjob Bot-0/+13
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-01Rollup merge of #140034 - RalfJung:simd_select_bitmask-padding, r=workingjubileeGuillaume Gomez-0/+13
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-05-01Merge from rustcThe Miri Cronjob Bot-59/+60
2025-04-30Rollup merge of #140439 - RalfJung:miri-algebraic-float-nondet, r=oli-obkMatthias Krüger-59/+60
2025-04-29add -Zmiri-deterministic-concurrency flag and use it for concurrency testsRalf Jung-9/+10
2025-04-29Merge pull request #4272 from geetanshjuneja/schedulingRalf Jung-10/+10
2025-04-29Added random schedulinggeetanshjuneja-10/+10
2025-04-29miri: algebraic intrinsics: bring back float non-determinismRalf Jung-59/+60
2025-04-29suppress dangerous_implicit_autorefs in TB testRalf Jung-0/+1
2025-04-29fmtThe Miri Cronjob Bot-7/+3
2025-04-29Merge from rustcThe Miri Cronjob Bot-87/+109
2025-04-28Rollup merge of #139656 - scottmcm:stabilize-slice-as-chunks, r=dtolnayChris Denton-2/+1
2025-04-28Auto merge of #123948 - azhogin:azhogin/async-drop, r=oli-obkbors-85/+104
2025-04-28AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}...Andrew Zhogin-85/+104
2025-04-28Auto merge of #123239 - Urgau:dangerous_implicit_autorefs, r=jdonszelmann,tra...bors-0/+4
2025-04-25Merge from rustcThe Miri Cronjob Bot-1/+4
2025-04-24Suggest {to,from}_ne_bytes for transmutations between arrays and integers, etcbendn-1/+4
2025-04-23Merge from rustcThe Miri Cronjob Bot-0/+21
2025-04-22TB: add missing interior_mutability test fileRalf Jung-0/+177
2025-04-20respect `repr(align(N))` on functions in miriFolkert de Vries-0/+21
2025-04-20Allow `dangerous_implicit_autorefs` lint in some testsUrgau-0/+4
2025-04-19simd_select_bitmask: the 'padding' bits in the mask are just ignoredRalf Jung-0/+13
2025-04-19Merge from rustcThe Miri Cronjob Bot-0/+45
2025-04-18Merge from rustcThe Miri Cronjob Bot-1/+1
2025-04-18Rollup merge of #139553 - petrosagg:channel-double-free, r=RalfJung,tgross35Matthias Krüger-0/+45
2025-04-17Rollup merge of #139483 - RalfJung:nan, r=tgross35Matthias Krüger-1/+1
2025-04-15Merge pull request #4260 from CraftSpider/windows-file-deleteOli Scherer-1/+1
2025-04-12fmtThe Miri Cronjob Bot-1/+1
2025-04-11Implement DeleteFileWRune Tynan-1/+1
2025-04-11sync::mpsc: prevent double free on `Drop`Petros Angelatos-1/+1
2025-04-11sync::mpsc: add miri reproducer of double freePetros Angelatos-0/+45
2025-04-10Stabilize `slice_as_chunks` library featureScott McMurray-2/+1
2025-04-10Auto merge of #137412 - scottmcm:redo-swap, r=cuviperbors-0/+30
2025-04-10Merge pull request #4262 from RalfJung/win-pathRalf Jung-2/+23
2025-04-10make GetFullPathNameW more correct on non-Windows hostsRalf Jung-4/+20
2025-04-10path: add more Windows testsRalf Jung-1/+6
2025-04-09Add a Miri test for 134713Scott McMurray-0/+30
2025-04-09Merge pull request #4067 from CraftSpider/windows-metadataRalf Jung-17/+19
2025-04-08Implement trivial file operations - opening and closing handles. Just enough ...Rune Tynan-17/+19
2025-04-07targest → targets (spotted as I had the same typo)Ralf Jung-1/+1