summary refs log tree commit diff
path: root/src/tools/miri/tests/fail-dep/libc
AgeCommit message (Expand)AuthorLines
2024-12-19Implement blocking unnamed_sockettiif-34/+182
2024-11-26Merge pull request #4059 from tiif/fixtestOli Scherer-42/+18
2024-11-26Simplify thread blocking teststiif-42/+18
2024-11-25Fixed test targetYoh Deadfall-2/+1
2024-11-25Added epoll and eventfd for AndroidYoh Deadfall-0/+1
2024-11-22epoll: fix comment typoRalf Jung-1/+1
2024-11-21eventfd: comment tweaksRalf Jung-2/+2
2024-11-15Merge pull request #4033 from tiif/checkepollOli Scherer-0/+137
2024-11-14Add test for epolltiif-0/+137
2024-11-13Merge pull request #3939 from tiif/blockeventfdOli Scherer-60/+218
2024-11-13Implement blocking eventfdtiif-60/+218
2024-10-21Added support for prctl handling thread namesYoh Deadfall-0/+31
2024-10-17data-race test: disable address reuse that can incur accidental syncRalf Jung-1/+1
2024-10-14Added a variadic argument helperYoh Deadfall-4/+4
2024-10-10Pipe minor changes: diagnostics, flag support and commentstiif-4/+4
2024-10-09epoll: change clock to be per eventFrank Rehwinkel-0/+117
2024-10-08fix behavior of release_clock()Ralf Jung-0/+51
2024-09-29let rustfmt format importsRalf Jung-4/+3
2024-09-16Bump ui testOli Scherer-92/+92
2024-08-24Handle edge case for epoll_ctltiif-0/+32
2024-08-01on a signed deref check, mention the right pointer in the errorRalf Jung-2/+2
2024-07-27improve dangling/oob errors and make them more uniformRalf Jung-15/+15
2024-07-10Auto merge of #3720 - safinaskar:read, r=RalfJungbors-0/+42
2024-07-09Fix libc::read shim: make it write to a buffer correct amount of bytes. Add t...Askar Safin-0/+42
2024-07-05implement `libc::sched_getaffinity` and `libc::sched_setaffinity`Folkert-0/+37
2024-06-17tell people how to set miri flagsRalf Jung-5/+5
2024-06-10Add socketpair shimtiif-0/+56
2024-06-09Follow up fix for eventfd shimtiif-4/+2
2024-06-08Add eventfd shimtiif-0/+62
2024-05-18support aligned_alloc for unixes support.David Carlier-0/+30
2024-05-12Add non-null pointer for posix_memaligntiif-0/+64
2024-05-09Implement non-null pointer for malloc(0)tiif-0/+52
2024-05-06organize libc tests into a proper folder, and run some of them on WindowsRalf Jung-0/+488