about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail-dep
AgeCommit message (Expand)AuthorLines
2025-09-10bless miri testsjoboet-24/+24
2025-07-21Merge pull request #4481 from RalfJung/read-write-truncateOli Scherer-32/+48
2025-07-19non-deterministically truncate reads/writesRalf Jung-32/+48
2025-07-18Show the memory of uninit readsOli Scherer-32/+25
2025-07-17Report the range of uninit bytes in CTFE errorsOli Scherer-10/+42
2025-07-03Merge from rustcRalf Jung-4/+4
2025-07-02miri: improve errors for type validity assertion failuresRalf Jung-4/+4
2025-06-29Add shims for `gettid`-esque functionsTrevor Gross-0/+22
2025-06-07bless non-Linux testsRalf Jung-17/+17
2025-06-07make better use of label for data-race and some other errorsRalf Jung-79/+79
2025-06-07diagnostics: do not repeat the entire message in the span labelRalf Jung-66/+66
2025-05-30Change diagnostic wordingtiif-2/+1
2025-05-27Support F_GETFL and F_SETFL for fcntltiif-0/+39
2025-05-21test direct usage of io::{stdout,stderr,stdin}Ralf Jung-24/+0
2025-05-03Merge from rustcThe Miri Cronjob Bot-12/+12
2025-04-30interpret: better error message for out-of-bounds pointer arithmetic and acce...Ralf Jung-12/+12
2025-04-29add -Zmiri-deterministic-concurrency flag and use it for concurrency testsRalf Jung-12/+18
2025-04-29Added random schedulinggeetanshjuneja-12/+12
2025-04-08Implement trivial file operations - opening and closing handles. Just enough ...Rune Tynan-1/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 10:42:12 +0000