about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass-dep
AgeCommit message (Expand)AuthorLines
2025-08-29Merge pull request #4371 from CraftSpider/duplicate-handle-testRalf Jung-6/+41
2025-08-29Add duplicate handle test + make null lpTargetHandle an abort, not an unsuppo...Rune Tynan-6/+41
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-06Auto merge of #141829 - dvdsk:sleep_until_linux, r=cuviper,RalfJungbors-0/+114
2025-07-06sleep_until: add clock_nanosleep support to Miridvdsk-0/+114
2025-06-30linux futex: fix for val > i32::MAXRalf Jung-0/+5
2025-06-29Add shims for `gettid`-esque functionsTrevor Gross-0/+183
2025-06-07test_dup: ensure the FDs remain in sync even after dup'ingRalf Jung-2/+3
2025-06-01tweak comment and use a weaker fenceRalf Jung-1/+4
2025-06-01Make sure to sync on file-io.rs tokio testNoratrieb-0/+1
2025-06-01Fix tokio/file-io.rs test relying on `read`/`write` not being shortNoratrieb-3/+3
2025-05-27Merge pull request #4212 from tiif/setflRalf Jung-0/+100
2025-05-27Support F_GETFL and F_SETFL for fcntltiif-0/+100
2025-05-22Implement file read/write on WindowsRune Tynan-8/+89
2025-05-21Implement FreeBSD syscall cpuset_getaffinity.LorrensP-2158466-0/+51
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-11/+11
2025-04-29Merge pull request #4272 from geetanshjuneja/schedulingRalf Jung-11/+11
2025-04-29Added random schedulinggeetanshjuneja-11/+11
2025-04-11Implement DeleteFileWRune Tynan-4/+21
2025-04-10Merge pull request #4261 from CraftSpider/windows-rtl-to-dosRalf Jung-1/+10
2025-04-10Implement RtlNtStatusToDosError and shim test for itRune Tynan-1/+10
2025-04-10Merge pull request #4209 from LorrensP-2158466/freebsd_futexRalf Jung-0/+260
2025-04-10feature: implement WAIT & WAKE operations of FreeBSD _umtx_op syscall for Fut...LorrensP-2158466-0/+260
2025-04-08Implement trivial file operations - opening and closing handles. Just enough ...Rune Tynan-0/+198
2025-04-04Solaris does not have flockRalf Jung-0/+1
2025-04-04fix windows_join_multipleRalf Jung-2/+8
2025-03-27run a few more concurrency tests on aarch64-linux-androidRalf Jung-3/+3
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-02Merge pull request #4142 from joboet/apple-futexRalf Jung-0/+276
2025-02-02shim Apple's futex primitivesjoboet-0/+276
2025-02-01Test getrandom 0.3Eduardo Sánchez Muñoz-1/+3
2025-02-01fmtThe Miri Cronjob Bot-12/+12
2025-01-26make linux-futex test less flakyRalf Jung-3/+2
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