about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass
AgeCommit message (Expand)AuthorLines
2024-06-16std: move `sys_common::backtrace` to `sys`joboet-6/+6
2024-06-15Auto merge of #126518 - matthiaskrgr:rollup-wb70rzq, r=matthiaskrgrbors-98/+51
2024-06-14Add `f16` and `f128` support to MiriTrevor Gross-98/+51
2024-06-13Auto merge of #3622 - TDecking:sse4_2, r=RalfJungbors-0/+443
2024-06-13add some more CRC testsRalf Jung-0/+20
2024-06-13Implement LLVM x86 SSE4.2 intrinsicsTobias Decking-0/+423
2024-06-12Rollup merge of #126232 - RalfJung:dyn-trait-equality, r=oli-obkGuillaume Gomez-0/+40
2024-06-11interpret: dyn trait metadata check: equate traits in a proper wayRalf Jung-0/+40
2024-06-10Rollup merge of #126184 - RalfJung:interpret-simd-nonpow2, r=oli-obkMatthias Krüger-0/+21
2024-06-09interpret: do not ICE on padded non-pow2 SIMD vectorsRalf Jung-1/+22
2024-06-09simd_bitmask: work correctly for sizes like 24Ralf Jung-16/+55
2024-06-08Auto merge of #3655 - RalfJung:simd-bitmask, r=RalfJungbors-1/+39
2024-06-08portable-simd: add test for non-power-of-2 bitmaskRalf Jung-1/+39
2024-06-08add support for `pclmulqdq`Folkert-0/+48
2024-06-07Merge from rustcThe Miri Cronjob Bot-2/+14
2024-06-05fmtThe Miri Cronjob Bot-3/+1
2024-06-05Merge from rustcThe Miri Cronjob Bot-0/+17
2024-06-03Add more ABI test cases.Lokathor-2/+14
2024-05-31Auto merge of #124662 - zetanumbers:needs_async_drop, r=oli-obkbors-0/+5
2024-05-30explain what the open questions are, and add a Miri test for thatRalf Jung-0/+12
2024-05-30make env/var test deterministicRalf Jung-0/+3
2024-05-29Revert miri async drop test but add warnings to each async drop testDaria Sukhonina-50/+34
2024-05-29Bless new async destructor sizes in async drop testsDaria Sukhonina-5/+5
2024-05-29Add size check inside of the async drop testsDaria Sukhonina-29/+50
2024-05-28Add Miri smoke pass test for ptr_metadata intrinsicScott McMurray-1/+7
2024-05-22Auto merge of #117329 - RalfJung:offset-by-zero, r=oli-obk,scottmcmbors-4/+62
2024-05-21Auto merge of #125358 - matthiaskrgr:rollup-mx841tg, r=matthiaskrgrbors-0/+15
2024-05-21Rollup merge of #125266 - workingjubilee:stream-plastic-love, r=RalfJung,nikicMatthias Krüger-0/+15
2024-05-20Fix miri tooMichael Goulet-2/+2
2024-05-19miri: support simd_ctpopJubilee Young-0/+15
2024-05-19various small nitsRalf Jung-15/+16
2024-05-19Directly implement native exception raise methods in miribjorn3-0/+95
2024-05-19make basic things work on AndroidRalf Jung-2/+6
2024-05-16alloc now works on wasi (and some formatting)Ralf Jung-0/+3
2024-05-13offset, offset_from: allow zero-byte offset on arbitrary pointersRalf Jung-4/+62
2024-05-12merge two integer testsRalf Jung-58/+61
2024-05-12merge float tests into oneRalf Jung-66/+67
2024-05-11Auto merge of #3596 - bend-n:support_fstar_algebraic, r=RalfJungbors-0/+32
2024-05-11support `f*_algebraic`bendn-0/+32
2024-05-11Merge from rustcThe Miri Cronjob Bot-6/+6
2024-05-09do not run symlink tests on Windows hostsRalf Jung-73/+65
2024-05-08Use generic `NonZero`.Markus Reiter-6/+6
2024-05-05hello: also ensure stderr worksRalf Jung-0/+2
2024-05-04Auto merge of #3559 - RalfJung:weak-extern-static, r=RalfJungbors-6/+7
2024-05-04make statx a regular function (so we don't need to support the syscall)Ralf Jung-6/+7
2024-05-04make some tests not need output (so they work on wasm)Ralf Jung-10/+6
2024-05-04freebsd: test std threadname and fs APIsRalf Jung-0/+0
2024-05-04move intrinsics implementations and tests into dedicated folderRalf Jung-0/+0
2024-05-04rename integer testRalf Jung-0/+0
2024-05-04move available-parallelism tests into shims/ folderRalf Jung-0/+0