summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2025-04-18sync::mpsc: prevent double free on `Drop`Petros Angelatos-1/+1
2025-04-18sync::mpsc: add miri reproducer of double freePetros Angelatos-0/+45
2025-03-27run a few more concurrency tests on aarch64-linux-androidRalf Jung-3/+3
2025-03-20Merge from rustcThe Miri Cronjob Bot-2/+24
2025-03-17Fix miribjorn3-0/+24
2025-03-17Rollup merge of #137793 - NobodyXu:stablise-annoymous-pipe, r=joshtriplettJacob Pratt-2/+0
2025-03-16Merge from rustcThe Miri Cronjob Bot-8/+0
2025-03-15Merge from rustcThe Miri Cronjob Bot-2/+2
2025-03-14Do not suggest using `-Zmacro-backtrace` for builtin macrosEsteban Küber-8/+0
2025-03-14Merge from rustcThe Miri Cronjob Bot-28/+28
2025-03-14Stablize feature `anonymous_pipe`Jiahao XU-2/+0
2025-03-12Allow more top-down inlining for single-BB calleesScott McMurray-2/+2
2025-03-12Merge pull request #4185 from geetanshjuneja/abi_checkRalf Jung-0/+76
2025-03-12added check_shim_abigeetanshjuneja-0/+76
2025-03-12intrinsics: remove unnecessary leading underscore from argument namesRalf Jung-28/+28
2025-03-11Merge from rustcThe Miri Cronjob Bot-11/+11
2025-03-08Move fs into sysThalia Archibald-9/+9
2025-03-08Erase non-pal sys platform pathsThalia Archibald-2/+2
2025-03-07Merge from rustcThe Miri Cronjob Bot-35/+88
2025-03-06Rollup merge of #137802 - RalfJung:miri-native-call-exposed, r=oli-obkMichael Goulet-35/+88
2025-03-06Merge from rustcThe Miri Cronjob Bot-15/+0
2025-03-05Rollup merge of #137728 - Darksonn:no-tuple-unsize, r=oli-obk许杰友 Jieyou Xu (Joe)-15/+0
2025-03-02Merge from rustcThe Miri Cronjob Bot-1/+1
2025-02-28Shorten span of panic failures in const contextEsteban Küber-1/+1
2025-02-28use fixed-width integer types in C codeRalf Jung-36/+38
2025-02-28miri native-call support: all previously exposed provenance is accessible to ...Ralf Jung-4/+55
2025-02-27Remove unneeded importAlice Ryhl-2/+0
2025-02-27Delete tuple unsizingAlice Ryhl-13/+0
2025-02-26Merge pull request #4210 from tiif/small-fix-2Oli Scherer-6/+2
2025-02-26fmtThe Miri Cronjob Bot-1/+0
2025-02-26Resolve more FIXMEstiif-6/+2
2025-02-25disable float non-determinism for now to be able to complete the syncRalf Jung-1/+3
2025-02-25Merge from rustcRalf Jung-3/+3
2025-02-24rename simd_shuffle_generic → simd_shuffle_const_genericRalf Jung-3/+3
2025-02-24Merge pull request #4193 from bjorn3/arm64_vpmaxq_u8Ralf Jung-0/+40
2025-02-24add missing float non-determinism tests and skip some on i686-pc-windows-msvc...Ralf Jung-10/+24
2025-02-24Merge from rustcRalf Jung-9/+81
2025-02-23rename sub_ptr 😅bendn-6/+6
2025-02-23Rollup merge of #137121 - bend-n:master, r=NoratriebMatthias Krüger-3/+0
2025-02-21Add testsbjorn3-0/+40
2025-02-21Resolve some FIXME from socketpair testtiif-6/+2
2025-02-20Add explanation commentJakub Beránek-0/+1
2025-02-20Remove GitHub job summariesJakub Beránek-9/+4
2025-02-20Rollup merge of #135296 - lukas-code:dyn-leak-check, r=compiler-errorsMatthias Krüger-0/+75
2025-02-19Merge from rustcThe Miri Cronjob Bot-0/+2
2025-02-18Rollup merge of #136750 - kornelski:ub-bug, r=saethlinUrgau-0/+2
2025-02-17Merge from rustcThe Miri Cronjob Bot-4/+4
2025-02-17stabilize (const_)ptr_sub_ptrbendn-3/+0
2025-02-16add erf and erfc to nondet tests, and reduce how much we're changing the floa...Ralf Jung-111/+27
2025-02-16apply random float error to most floating-point operationsLorrensP-2158466-56/+267