about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass-dep
AgeCommit message (Expand)AuthorLines
2024-05-16alloc now works on wasi (and some formatting)Ralf Jung-2/+4
2024-05-12Add non-null pointer for posix_memaligntiif-4/+3
2024-05-09do not run symlink tests on Windows hostsRalf Jung-77/+62
2024-05-09Implement non-null pointer for malloc(0)tiif-5/+9
2024-05-06Auto merge of #3579 - RalfJung:libc, r=RalfJungbors-153/+164
2024-05-06organize libc tests into a proper folder, and run some of them on WindowsRalf Jung-153/+164
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-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-04also test pthread_condattr_getclockRalf Jung-1/+26
2024-05-04macos: use getentropy from libcRalf Jung-7/+0
2024-04-22Add localtime_r shimtiif-0/+45
2024-04-18make realloc with a size of zero failRalf Jung-3/+2
2024-03-29stabilize ptr.is_aligned, move ptr.is_aligned_to to a new feature gateAria Beingessner-1/+1
2024-03-24Add libc test for rename and ftruncatetiif-0/+63
2024-03-09windows: remove support for slim rwlockRalf Jung-286/+0
2024-03-04linux-futex test: add commentRalf Jung-0/+1
2024-02-22fmtThe Miri Conjob Bot-2/+3
2024-02-22Merge from rustcThe Miri Conjob Bot-6/+6
2024-02-21rename ptr::invalid -> ptr::without_provenanceRalf Jung-6/+6
2024-02-17add direct test of pthread_condRalf Jung-4/+52
2024-02-12also test pthread_mutex/rwlock directlyRalf Jung-7/+122
2024-02-12comment tweaksRalf Jung-5/+4
2024-02-10Factor out the redundancy between `test_mmap` and `test_mmap64`.Dan Gohman-127/+24
2024-01-30Implement the `mmap64` foreign item.Dan Gohman-0/+114
2024-01-28Auto merge of #3181 - devnexen:stat_calls_fbsd, r=RalfJungbors-1/+0
2023-12-30Auto merge of #3239 - beepster4096:windows_sys_tests, r=RalfJungbors-0/+518
2023-12-29undo some lockfile changes, add explicit types to testsDrMeepster-63/+45
2023-12-28Fix integer overflow ICEs from round_up_to_next_multiple_ofBen Kimock-0/+21
2023-12-28Support for tempfile crate on UNIX hostsPointerbender-0/+21
2023-12-25have windows tests use windows-sysDrMeepster-0/+536
2023-12-18Auto merge of #3220 - saethlin:strict-mmap, r=RalfJungbors-3/+2
2023-12-17Make mmap not use expose semanticsBen Kimock-3/+2
2023-12-12Merge from rustcThe Miri Conjob Bot-1/+0
2023-12-10Return MAP_FAILED when mmap failsBen Kimock-0/+79
2023-12-10remove redundant importssurechen-1/+0
2023-11-26freebsd add *stat calls interception supportDavid Carlier-1/+0
2023-11-23detect and test for data races between setenv and getenvRalf Jung-3/+2
2023-11-21Merge from rustcRalf Jung-0/+21
2023-11-20Test that the GC consults the extra_fn_ptr mapBen Kimock-0/+21
2023-11-20libc-misc test freebsd fixes attemptDavid Carlier-51/+45
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-16reallocarray shim linux/freebsd support proposal.David Carlier-0/+16
2023-11-15freebsd adding getrandom interception.David Carlier-1/+4