about summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2024-06-17show proper UB when making a too large allocation requestRalf Jung-0/+25
2024-06-16std: move `sys_common::backtrace` to `sys`joboet-17/+17
2024-06-15std: refactor the TLS implementationjoboet-3/+3
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-14add Miri testsRalf Jung-0/+61
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-13fmtThe Miri Cronjob Bot-6/+12
2024-06-13Merge from rustcThe Miri Cronjob Bot-2/+167
2024-06-12Rollup merge of #126232 - RalfJung:dyn-trait-equality, r=oli-obkGuillaume Gomez-2/+42
2024-06-11interpret: ensure we check bool/char for validity when they are used in a castRalf Jung-0/+125
2024-06-11interpret: dyn trait metadata check: equate traits in a proper wayRalf Jung-0/+40
2024-06-11check for correct trait in size_and_align_ofRalf Jung-2/+2
2024-06-11Merge from rustcRalf Jung-0/+21
2024-06-10Rollup merge of #126184 - RalfJung:interpret-simd-nonpow2, r=oli-obkMatthias Krüger-0/+21
2024-06-10Add socketpair shimtiif-0/+180
2024-06-09Follow up fix for eventfd shimtiif-10/+15
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-08Add eventfd shimtiif-0/+163
2024-06-07Merge from rustcThe Miri Cronjob Bot-2/+14
2024-06-05Rollup merge of #125672 - Lokathor:update-miri-result-ffi, r=RalfJungMatthias Krüger-2/+14
2024-06-05fmtThe Miri Cronjob Bot-3/+1
2024-06-05Merge from rustcThe Miri Cronjob Bot-52/+41
2024-06-03Add more ABI test cases.Lokathor-2/+14
2024-06-03Make WHERE_CLAUSES_OBJECT_SAFETY a regular object safety violationMichael Goulet-34/+0
2024-06-03Reformat `mir!` macro invocations to use braces.Nicholas Nethercote-18/+24
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-29Auto merge of #125360 - RalfJung:packed-field-reorder, r=fmeasebors-2/+2
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-28Add Miri tests for `PtrMetadata` UBScott McMurray-0/+142
2024-05-27MIR validation: ensure that downcast projection is followed by field projectionRalf Jung-1/+1
2024-05-25Merge from rustcThe Miri Cronjob Bot-1/+1
2024-05-24miri: receive the blessings of validate.rsJubilee Young-1/+1
2024-05-24Auto merge of #3626 - devnexen:pthread_name_illumos, r=oli-obkbors-1/+1
2024-05-24Merge from rustcThe Miri Cronjob Bot-24/+24
2024-05-23solaris add suport for threadname.David Carlier-1/+1
2024-05-23Merge from rustcThe Miri Cronjob Bot-342/+79
2024-05-23Auto merge of #125359 - RalfJung:interpret-overflowing-ops, r=oli-obkbors-24/+24
2024-05-22Rollup merge of #124896 - RalfJung:miri-intrinsic-fallback, r=oli-obkLeón Orell Valerian Liehr-15/+15