about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass-dep/libc
AgeCommit message (Expand)AuthorLines
2025-07-21Merge pull request #4481 from RalfJung/read-write-truncateOli Scherer-76/+147
2025-07-19non-deterministically truncate reads/writesRalf Jung-76/+147
2025-07-17miri sleep tests: increase slackRalf Jung-3/+3
2025-07-06sleep_until: add clock_nanosleep support to Miridvdsk-0/+114
2025-06-07test_dup: ensure the FDs remain in sync even after dup'ingRalf Jung-2/+3
2025-05-27Support F_GETFL and F_SETFL for fcntltiif-0/+100
2025-05-18Merge pull request #4322 from tiif/move_testRalf Jung-0/+4
2025-05-18Add more comment to libc-fs-with-isolation testtiif-0/+4
2025-04-29add -Zmiri-deterministic-concurrency flag and use it for concurrency testsRalf Jung-5/+5
2025-04-29Added random schedulinggeetanshjuneja-5/+5
2025-04-04Solaris does not have flockRalf Jung-0/+1
2025-02-26Resolve more FIXMEstiif-6/+2
2025-02-21Resolve some FIXME from socketpair testtiif-6/+2
2025-02-06allow code to call geteuid()Slava Barinov-0/+5
2025-02-01fmtThe Miri Cronjob Bot-12/+12
2025-01-13Illumos: Added epoll and eventfdYoh Deadfall-3/+8
2025-01-12turns out Solarish targets support our entire test suiteRalf Jung-2/+1
2025-01-11Supported fioclex for ioctl on macosgeetanshjuneja-0/+20
2025-01-10Switched FreeBSD to pthread_setname_npYoh Deadfall-30/+24
2024-12-18Merge pull request #4072 from tiif/blockopOli Scherer-0/+50
2024-12-19Implement blocking unnamed_sockettiif-0/+50
2024-12-12Improve timezone handling in 'localtime_r()' using 'allocate_bytes()'shamb0-16/+219
2024-12-04fmtThe Miri Cronjob Bot-1/+5
2024-12-04Merge from rustcThe Miri Cronjob Bot-10/+7
2024-12-02Use c"lit" for CStrings without unwrapKornel-10/+7
2024-11-26Merge pull request #4059 from tiif/fixtestOli Scherer-7/+0
2024-11-26Simplify thread blocking teststiif-7/+0
2024-11-25Fix the rest of the testsYoh Deadfall-6/+3
2024-11-25Added epoll and eventfd for AndroidYoh Deadfall-0/+3
2024-11-24sysconf: add _SC_OPEN_MAXDavid Carlier-0/+2
2024-11-24follow-up on #4052, making a miri evaluation context fn for strerror_r.David Carlier-0/+16
2024-11-23sysconf interception fix for solarish systems.David Carlier-0/+17
2024-11-13Merge pull request #3939 from tiif/blockeventfdOli Scherer-1/+118
2024-11-13Implement blocking eventfdtiif-1/+118
2024-11-09Merge pull request #4020 from RalfJung/thread-sopeRalf Jung-0/+24
2024-11-09pthread-sync: avoid confusing error when running with preemptionRalf Jung-0/+24
2024-11-08Get/set thread name shims return errors for invalid handlesYoh Deadfall-0/+25
2024-10-28Android: Added syscall supportYoh Deadfall-20/+21
2024-10-22Merge from rustcThe Miri Cronjob Bot-5/+1
2024-10-21move strict provenance lints to new feature gate, remove old feature gatesRalf Jung-5/+1
2024-10-21Added support for prctl handling thread namesYoh Deadfall-0/+75
2024-10-18pthread-threadname: ensure we can see the name set via the Rust APIRalf Jung-0/+17
2024-10-13Auto merge of #3957 - YohDeadfall:macos-thread-name, r=RalfJungbors-39/+109
2024-10-13rework threadname test for more consistencyRalf Jung-62/+109
2024-10-12Fixed get thread name behavior for FreeBSDYoh Deadfall-6/+5
2024-10-12Fixed pthread get/set name for macOSYoh Deadfall-2/+26
2024-10-10Pipe minor changes: diagnostics, flag support and commentstiif-1/+22
2024-10-09syscall/eventfd2: add supportFrank Rehwinkel-0/+9
2024-10-09Fixed pthread_getname_np impl for glibcYoh Deadfall-17/+61
2024-10-02epoll: add vector clock to the epoll ready_listFrank Rehwinkel-1/+40