about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail-dep/libc
AgeCommit message (Expand)AuthorLines
2025-09-10bless miri testsjoboet-12/+12
2025-07-19non-deterministically truncate reads/writesRalf Jung-32/+48
2025-07-02miri: improve errors for type validity assertion failuresRalf Jung-4/+4
2025-06-07make better use of label for data-race and some other errorsRalf Jung-58/+58
2025-06-07diagnostics: do not repeat the entire message in the span labelRalf Jung-30/+30
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-9/+9
2025-04-29Added random schedulinggeetanshjuneja-9/+9
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-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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 21:08:18 +0000