about summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2025-05-01Rollup merge of #140034 - RalfJung:simd_select_bitmask-padding, r=workingjubileeGuillaume Gomez-30/+13
2025-05-01Merge pull request #4273 from yoctocell/new-cell-stateRalf Jung-23/+32
2025-05-01Add `Cell` state to Tree BorrowsXinglu Chen-23/+32
2025-05-01Merge from rustcThe Miri Cronjob Bot-59/+60
2025-04-30interpret: better error message for out-of-bounds pointer arithmetic and acce...Ralf Jung-101/+101
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-137/+91
2025-04-29Merge pull request #4272 from geetanshjuneja/schedulingRalf Jung-72/+72
2025-04-29Added random schedulinggeetanshjuneja-72/+72
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-27`unsafe(no_mangle)` in `miri_start` examplesprimoly-1/+1
2025-04-25Merge from rustcThe Miri Cronjob Bot-1/+8
2025-04-24Suggest {to,from}_ne_bytes for transmutations between arrays and integers, etcbendn-1/+8
2025-04-23Merge from rustcThe Miri Cronjob Bot-0/+21
2025-04-22Rollup merge of #140072 - folkertdev:miri-fn-align, r=RalfJungChris Denton-0/+21
2025-04-22TB: add missing interior_mutability test fileRalf Jung-0/+177
2025-04-22Merge from rustcThe Miri Cronjob Bot-2/+2
2025-04-21Rollup merge of #140009 - ShE3py:tls-abort, r=thomccChris Denton-2/+2
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-20Merge from rustcThe Miri Cronjob Bot-0/+29
2025-04-19Rollup merge of #139042 - compiler-errors:do-not-optimize-switchint, r=saethlinChris Denton-0/+29
2025-04-19simd_select_bitmask: the 'padding' bits in the mask are just ignoredRalf Jung-30/+13
2025-04-19Merge from rustcThe Miri Cronjob Bot-0/+45
2025-04-18rtprintpanic: clarify that the error is aborting the processLieselotte-2/+2
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-17Merge pull request #4263 from geetanshjuneja/check_shim_abiRalf Jung-3/+3
2025-04-17replaced check_shim with check_shim_abi for env, file, sockets and time relat...geetanshjuneja-3/+3
2025-04-16use std-declared intrinsics rather than copying the declarationRalf Jung-106/+50
2025-04-15Merge pull request #4260 from CraftSpider/windows-file-deleteOli Scherer-5/+22
2025-04-12fmtThe Miri Cronjob Bot-1/+1
2025-04-12Merge from rustcThe Miri Cronjob Bot-0/+30
2025-04-11Implement DeleteFileWRune Tynan-5/+22
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 #4261 from CraftSpider/windows-rtl-to-dosRalf Jung-1/+10
2025-04-10Implement RtlNtStatusToDosError and shim test for itRune Tynan-1/+10
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