summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
2024-06-05Rollup merge of #125672 - Lokathor:update-miri-result-ffi, r=RalfJungMatthias Krüger-2/+14
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-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
2024-05-22solaris/illumos localtime_r / clock_getime support enabled.David Carlier-2/+3
2024-05-22Auto merge of #117329 - RalfJung:offset-by-zero, r=oli-obk,scottmcmbors-327/+64
2024-05-22Merge from rustcRalf Jung-3/+18
2024-05-21don't inhibit random field reordering on repr(packed(1))Ralf Jung-2/+2
2024-05-21interpret: make overflowing binops just normal binopsRalf Jung-24/+24
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-3/+3
2024-05-20Use `throw_unsup_format` instead of returning `ENOTSUP` in the mmap shimmarc0246-30/+0
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-19Auto merge of #3616 - RalfJung:android, r=RalfJungbors-17/+25
2024-05-19make basic things work on AndroidRalf Jung-17/+25
2024-05-19a bit of refactoring and tweak the aligned-allocation testsRalf Jung-54/+56
2024-05-18support aligned_alloc for unixes support.David Carlier-0/+70
2024-05-16alloc now works on wasi (and some formatting)Ralf Jung-2/+7
2024-05-13offset, offset_from: allow zero-byte offset on arbitrary pointersRalf Jung-327/+64
2024-05-12further illumos/solaris support.David Carlier-1/+6
2024-05-12merge two integer testsRalf Jung-58/+61
2024-05-12merge float tests into oneRalf Jung-66/+67
2024-05-12Add non-null pointer for posix_memaligntiif-4/+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-28/+64
2024-05-10rename 'extern-so' to 'native-lib'Ralf Jung-15/+15
2024-05-09interpret/miri: better errors on failing offset_fromRalf Jung-0/+36
2024-05-09do not run symlink tests on Windows hostsRalf Jung-150/+151
2024-05-09Implement non-null pointer for malloc(0)tiif-5/+61