about summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2023-12-02Auto merge of #118077 - calebzulawski:sync-portable-simd-2023-11-19, r=workin...bors-9/+7
2023-11-30move exposed-provenance APIs into separate feature gate and explain the relat...Ralf Jung-7/+7
2023-11-30give macOS some extra time, it needs thatRalf Jung-1/+1
2023-11-30move some validity-related tests into subdirRalf Jung-8/+8
2023-11-30move 'uninit' tests into common directoryRalf Jung-2/+4
2023-11-30Merge from rustcRalf Jung-0/+42
2023-11-29explain tests that disable the provenance GCRalf Jung-0/+9
2023-11-28Remove Stacked Borrows GC heuristicsBen Kimock-1/+4
2023-11-28add test checking that aggregate assignments reset memory to uninit firstRalf Jung-0/+42
2023-11-26Update std::simd usage and test outputsCaleb Zulawski-9/+7
2023-11-26freebsd add *stat calls interception supportDavid Carlier-1/+0
2023-11-25blessRalf Jung-16/+16
2023-11-25make tests/utils work with edition 2015Ralf Jung-2/+2
2023-11-25blessRalf Jung-2/+2
2023-11-25Merge from rustcRalf Jung-480/+480
2023-11-24Manual find replace updatesNilstrieb-8/+8
2023-11-24Bless Miri testsNilstrieb-472/+472
2023-11-24Refactor `float_to_int_checked` to remove its generic parameter and reduce co...Eduardo Sánchez Muñoz-48/+48
2023-11-23Auto merge of #3184 - RalfJung:getenv, r=RalfJungbors-3/+39
2023-11-23detect and test for data races between setenv and getenvRalf Jung-3/+39
2023-11-23Merge from rustcThe Miri Conjob Bot-8/+1
2023-11-22Auto merge of #3180 - eduardosm:check-intrinsics-target-feature, r=RalfJungbors-0/+57
2023-11-22Check that target features required by LLVM intrinsics are enabledEduardo Sánchez Muñoz-0/+57
2023-11-22Stabilize RFC3324 dyn upcasting coercionUrgau-8/+1
2023-11-21fmtRalf Jung-3/+1
2023-11-21Merge from rustcRalf Jung-11/+70
2023-11-21Rollup merge of #118029 - saethlin:allocid-gc, r=RalfJungNilstrieb-11/+46
2023-11-20Auto merge of #3176 - eduardosm:cmp, r=RalfJungbors-4/+166
2023-11-20Implement all 16 AVX compare operatorsEduardo Sánchez Muñoz-0/+162
2023-11-20Test with -Zmiri-provenance-gc=1 on LinuxBen Kimock-1/+3
2023-11-20Test that the GC consults the extra_fn_ptr mapBen Kimock-0/+33
2023-11-20libc-misc test freebsd fixes attemptDavid Carlier-51/+45
2023-11-19Rollup merge of #117832 - RalfJung:interpret-shift, r=cjgillotMichael Goulet-0/+24
2023-11-19tag-gc -> provenance-gcBen Kimock-10/+10
2023-11-19Improve wording of `intrinsics-x86-*.rs` headerEduardo Sánchez Muñoz-4/+4
2023-11-18guarantee that char and u32 are ABI-compatibleRalf Jung-1/+5
2023-11-16move reallocarray test into libc-miscRalf Jung-16/+17
2023-11-16make libc-misc pass under FreeBSDRalf Jung-0/+7
2023-11-16split thread test into synchronization primitives and threadnameRalf Jung-60/+51
2023-11-16Auto merge of #3166 - devnexen:reallocarray, r=RalfJungbors-0/+16
2023-11-16reallocarray shim linux/freebsd support proposal.David Carlier-0/+16
2023-11-16get rid of our last uses of set_varRalf Jung-5/+5
2023-11-15Auto merge of #3164 - devnexen:fbsd_upd3, r=RalfJungbors-1/+4
2023-11-15freebsd adding getrandom interception.David Carlier-1/+4
2023-11-15Merge from rustcThe Miri Conjob Bot-31/+31
2023-11-14Auto merge of #117330 - tmiasko:custom-mir-cleanup-blocks, r=cjgillotbors-31/+31
2023-11-14Custom MIR: Support cleanup blocksTomasz Miąsko-31/+31
2023-11-13share getentropy shim across various unixesRalf Jung-4/+14
2023-11-13organize pass-dep tests more by the crate they testRalf Jung-12/+16
2023-11-13freebsd adding getentropy interception supportDavid Carlier-0/+11