about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2025-03-11miri native_calls: ensure we actually expose *mutable* provenance to the memo...Ralf Jung-3/+3
2025-03-08Move fs into sysThalia Archibald-9/+9
2025-03-08Erase non-pal sys platform pathsThalia Archibald-2/+2
2025-03-06Rollup merge of #137802 - RalfJung:miri-native-call-exposed, r=oli-obkMichael Goulet-54/+120
2025-03-05Rollup merge of #137728 - Darksonn:no-tuple-unsize, r=oli-obk许杰友 Jieyou Xu (Joe)-15/+0
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-23/+87
2025-02-27Remove unneeded importAlice Ryhl-2/+0
2025-02-27Delete tuple unsizingAlice Ryhl-13/+0
2025-02-25Auto merge of #137594 - RalfJung:miri-sync, r=RalfJungbors-297/+714
2025-02-25disable float non-determinism for now to be able to complete the syncRalf Jung-35/+47
2025-02-25Merge from rustcRalf Jung-5/+5
2025-02-25Preparing for merge from rustcRalf Jung-1/+1
2025-02-25Auto merge of #137571 - tgross35:rollup-i1tcnv1, r=tgross35bors-1/+0
2025-02-24Rollup merge of #137109 - bend-n:knife, r=oli-obkTrevor Gross-1/+0
2025-02-24rename simd_shuffle_generic → simd_shuffle_const_genericRalf Jung-5/+5
2025-02-24Merge pull request #4193 from bjorn3/arm64_vpmaxq_u8Ralf Jung-13/+124
2025-02-24slightly extend commentRalf Jung-1/+2
2025-02-24add missing float non-determinism tests and skip some on i686-pc-windows-msvc...Ralf Jung-10/+24
2025-02-24make sure we install the toolchain for the intended host targetRalf Jung-1/+7
2025-02-24sanity-check for HOST_TARGETRalf Jung-1/+12
2025-02-24Merge from rustcRalf Jung-19/+89
2025-02-24Preparing for merge from rustcRalf Jung-1/+1
2025-02-23Rollup merge of #137483 - bend-n:😅, r=NoratriebTrevor Gross-6/+6
2025-02-23Rollup merge of #136543 - RalfJung:round-ties-even, r=tgross35Trevor Gross-8/+8
2025-02-23rename sub_ptr 😅bendn-6/+6
2025-02-23stabilize extract_ifbendn-1/+0
2025-02-23Auto merge of #137237 - cuviper:stage0, r=Mark-Simulacrumbors-1/+0
2025-02-23Rollup merge of #137383 - folkertdev:stabilize-unsigned-is-multiple-of, r=Nor...Matthias Krüger-1/+0
2025-02-23Rollup merge of #137121 - bend-n:master, r=NoratriebMatthias Krüger-3/+0
2025-02-21stabilize `unsigned_is_multiple_of`Folkert de Vries-1/+0
2025-02-21Add testsbjorn3-0/+40
2025-02-21Fix review commentsbjorn3-7/+7
2025-02-21Implement vpmaxq_u8 on aarch64bjorn3-13/+83
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-19Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
2025-02-18Rollup merge of #136750 - kornelski:ub-bug, r=saethlinUrgau-0/+2
2025-02-18update `cfg(bootstrap)`Josh Stone-1/+0
2025-02-17Merge from rustcThe Miri Cronjob Bot-4/+4
2025-02-17Preparing for merge from rustcThe Miri Cronjob Bot-1/+1
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-125/+48
2025-02-16apply random float error to most floating-point operationsLorrensP-2158466-84/+403
2025-02-16Rollup merge of #136986 - ehuss:library-unsafe-fun, r=NoratriebMatthias Krüger-4/+4
2025-02-16Merge from rustcRalf Jung-0/+15