summary refs log tree commit diff
path: root/src/tools/miri/tests/fail-dep
AgeCommit message (Expand)AuthorLines
2025-01-29Merge pull request #4122 from tiif/fnabiRalf Jung-4/+4
2025-01-30Check fixed arg number for variadic function.tiif-4/+4
2025-01-13Included Abdroid to an epoll test targetsYoh Deadfall-1/+1
2025-01-13Illumos: Added epoll and eventfdYoh Deadfall-5/+5
2025-01-12Added Android to epoll and eventfd test targetsYoh Deadfall-3/+3
2025-01-12turns out Solarish targets support our entire test suiteRalf Jung-5/+3
2024-12-27add test for close-while-blockedRalf Jung-0/+72
2024-12-18Merge pull request #4072 from tiif/blockopOli Scherer-34/+182
2024-12-19Implement blocking unnamed_sockettiif-34/+182
2024-12-13Fix miri testsEsteban Küber-2/+1
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-14Auto merge of #3973 - RalfJung:os-unfair-lock, r=RalfJungbors-0/+26
2024-10-14ensure that a macOS os_unfair_lock that is moved while being held is not impl...Ralf Jung-0/+26
2024-10-14Auto merge of #3968 - YohDeadfall:variadic-arg-helper, r=RalfJungbors-4/+4
2024-10-14Added a variadic argument helperYoh Deadfall-4/+4
2024-10-14pthread_cond: also store ID outside addressable memoryRalf Jung-6/+6
2024-10-14pthread_rwlock: also store ID outside addressable memoryRalf Jung-3/+3
2024-10-14pthread_mutex: store mutex ID outside adressable memory, so it can be trustedRalf Jung-6/+6
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-10-05avoid pthread_attr_t in testsRalf Jung-18/+24
2024-10-05pthread mutex: better error in reentrant-locking-UB, also test PTHREAD_MUTEX_...Ralf Jung-14/+48
2024-09-29let rustfmt format importsRalf Jung-6/+4
2024-09-21fmt (with a huge diff for some reason)Ralf Jung-2/+2
2024-09-16Bump ui testOli Scherer-218/+218
2024-09-15pthread: add FreeBSD, remove PTHREAD_MUTEX_NORMAL_FLAG hackRalf Jung-1/+2
2024-09-14detect when pthread_cond_t is movedKonstantinos Andrikopoulos-0/+77
2024-09-09detect when pthread_rwlock_t is movedKonstantinos Andrikopoulos-0/+29
2024-09-05Detect pthread_mutex_t is movedKonstantinos Andrikopoulos-0/+68
2024-08-25Support blocking for epolltiif-29/+0
2024-08-24Handle edge case for epoll_ctltiif-0/+32
2024-08-14Implement epoll shimtiif-3/+3
2024-08-06interpret: refactor function call handling to be better-abstractedRalf Jung-16/+10
2024-08-05bump dependenciesRalf Jung-1/+1
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-15lib: replace some `mem::forget`'s with `ManuallyDrop`Pavel Grigorenko-3/+3
2024-07-14implement the `os_unfair_lock` functions on macOSjoboet-0/+102
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-14 10:04:09 +0000