about summary refs log tree commit diff
path: root/src/tools/miri/tests
AgeCommit message (Expand)AuthorLines
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
2024-05-08Use generic `NonZero`.Markus Reiter-28/+28
2024-05-08miri: rename intrinsic_fallback_checks_ub to intrinsic_fallback_is_specRalf Jung-15/+15
2024-05-06Auto merge of #3579 - RalfJung:libc, r=RalfJungbors-204/+207
2024-05-06organize libc tests into a proper folder, and run some of them on WindowsRalf Jung-204/+207
2024-05-06Implement wcslenAsger Hautop Drewsen-0/+20
2024-05-05Auto merge of #3574 - RalfJung:deps, r=RalfJungbors-24/+2
2024-05-05getrandom: test with and without isolationRalf Jung-1/+2
2024-05-05remove rand testRalf Jung-23/+0
2024-05-05solaris support start.David Carlier-2/+2
2024-05-05hello: also ensure stderr worksRalf Jung-0/+2
2024-05-05move randomness tests into a single file and share the getrandom implementati...Ralf Jung-57/+23
2024-05-05move things out of libc-misc that have a better home; make libc-misc work on ...Ralf Jung-361/+353
2024-05-05pthread shims: reorganize field offset handlingRalf Jung-0/+1
2024-05-04only show the 'basic API common for this target' message when this is a missi...Ralf Jung-32/+15
2024-05-04Auto merge of #3561 - RalfJung:rustup, r=RalfJungbors-0/+29
2024-05-04bless and fmtRalf Jung-1/+2
2024-05-04Merge from rustcRalf Jung-0/+28
2024-05-04also test pthread_condattr_getclockRalf Jung-1/+26
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-04Auto merge of #3554 - RalfJung:freebsd, r=RalfJungbors-10/+6