| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-08-29 | Merge pull request #4371 from CraftSpider/duplicate-handle-test | Ralf Jung | -6/+41 | |
| Add shim test for `DuplicateHandle` | ||||
| 2025-08-29 | Add duplicate handle test + make null lpTargetHandle an abort, not an ↵ | Rune Tynan | -6/+41 | |
| unsupported. | ||||
| 2025-07-21 | Merge pull request #4481 from RalfJung/read-write-truncate | Oli Scherer | -76/+147 | |
| non-deterministically truncate reads/writes | ||||
| 2025-07-19 | non-deterministically truncate reads/writes | Ralf Jung | -76/+147 | |
| 2025-07-17 | miri sleep tests: increase slack | Ralf Jung | -3/+3 | |
| 2025-07-06 | Auto merge of #141829 - dvdsk:sleep_until_linux, r=cuviper,RalfJung | bors | -0/+114 | |
| Specialize sleep_until implementation for unix (except mac) related tracking issue: https://github.com/rust-lang/rust/issues/113752 Supersedes https://github.com/rust-lang/rust/pull/118480 for the reasons see: https://github.com/rust-lang/rust/issues/113752#issuecomment-2902594469 Replaces the generic catch all implementation with target_os specific ones for: linux/netbsd/freebsd/android/solaris/illumos etc. Other platforms like wasi, macos/ios/tvos/watchos and windows will follow in later separate PR's (once this is merged). | ||||
| 2025-07-06 | sleep_until: add clock_nanosleep support to Miri | dvdsk | -0/+114 | |
| The clock_nanosleep support is there to allow code using `sleep_until` to run under Miri. Therefore the implementation is minimal. - Only the clocks REALTIME and MONOTONIC are supported. The first is supported simply because it was trivial to add not because it was needed for sleep_until. - The only supported flag combinations are no flags or TIMER_ABSTIME only. If an unsupported flag combination or clock is passed in this throws unsupported. | ||||
| 2025-06-30 | linux futex: fix for val > i32::MAX | Ralf Jung | -0/+5 | |
| 2025-06-29 | Add shims for `gettid`-esque functions | Trevor Gross | -0/+183 | |
| Various platforms provide a function to return the current OS thread ID, but they all use a slightly different name. Add shims for these functions for Apple, FreeBSD, and Windows, with tests to account for those and a few more platforms that are not yet supported by Miri. The syscall and extern symbol is included as well on Linux. These should be useful in general but will also help support printing the OS thread ID in panic messages [1]. [1]: https://github.com/rust-lang/rust/pull/115746 Squashed commit from Ralf: try_from_scalar: extend comment | ||||
| 2025-06-07 | test_dup: ensure the FDs remain in sync even after dup'ing | Ralf Jung | -2/+3 | |
| 2025-06-01 | tweak comment and use a weaker fence | Ralf Jung | -1/+4 | |
| 2025-06-01 | Make sure to sync on file-io.rs tokio test | Noratrieb | -0/+1 | |
| Tokio `AsyncWriteExt::write` doesn't actually ensure that the contents have written, it just *starts* the write operation. To ensure that the file has actually been written, we need to `sync_all` first. | ||||
| 2025-06-01 | Fix tokio/file-io.rs test relying on `read`/`write` not being short | Noratrieb | -3/+3 | |
| The test did `write` and `read` and hoped that it would read/write everything, which doesn't always happen and caused CI failures. Switch to `write_all` and `read_to_end` to make it more reliable. | ||||
| 2025-05-27 | Merge pull request #4212 from tiif/setfl | Ralf Jung | -0/+100 | |
| Support F_GETFL and F_SETFL for fcntl | ||||
| 2025-05-27 | Support F_GETFL and F_SETFL for fcntl | tiif | -0/+100 | |
| 2025-05-22 | Implement file read/write on Windows | Rune Tynan | -8/+89 | |
| 2025-05-21 | Implement FreeBSD syscall cpuset_getaffinity. | LorrensP-2158466 | -0/+51 | |
| 2025-05-18 | Merge pull request #4322 from tiif/move_test | Ralf Jung | -0/+4 | |
| Add more comments to libc-fs-with-isolation test | ||||
| 2025-05-18 | Add more comment to libc-fs-with-isolation test | tiif | -0/+4 | |
| 2025-04-29 | add -Zmiri-deterministic-concurrency flag and use it for concurrency tests | Ralf Jung | -11/+11 | |
| 2025-04-29 | Merge pull request #4272 from geetanshjuneja/scheduling | Ralf Jung | -11/+11 | |
| Make thread scheduling fully random | ||||
| 2025-04-29 | Added random scheduling | geetanshjuneja | -11/+11 | |
| 2025-04-11 | Implement DeleteFileW | Rune Tynan | -4/+21 | |
| 2025-04-10 | Merge pull request #4261 from CraftSpider/windows-rtl-to-dos | Ralf Jung | -1/+10 | |
| Implement RtlNtStatusToDosError and shim test for it | ||||
| 2025-04-10 | Implement RtlNtStatusToDosError and shim test for it | Rune Tynan | -1/+10 | |
| 2025-04-10 | Merge pull request #4209 from LorrensP-2158466/freebsd_futex | Ralf Jung | -0/+260 | |
| Implement FreeBSD syscall _umtx_op for futex support | ||||
| 2025-04-10 | feature: implement WAIT & WAKE operations of FreeBSD _umtx_op syscall for ↵ | LorrensP-2158466 | -0/+260 | |
| Futex support | ||||
| 2025-04-08 | Implement trivial file operations - opening and closing handles. Just enough ↵ | Rune Tynan | -0/+198 | |
| to get file metadata. | ||||
| 2025-04-04 | Solaris does not have flock | Ralf Jung | -0/+1 | |
| 2025-04-04 | fix windows_join_multiple | Ralf Jung | -2/+8 | |
| 2025-03-27 | run a few more concurrency tests on aarch64-linux-android | Ralf Jung | -3/+3 | |
| 2025-02-26 | Resolve more FIXMEs | tiif | -6/+2 | |
| 2025-02-21 | Resolve some FIXME from socketpair test | tiif | -6/+2 | |
| 2025-02-06 | allow code to call geteuid() | Slava Barinov | -0/+5 | |
| 2025-02-02 | Merge pull request #4142 from joboet/apple-futex | Ralf Jung | -0/+276 | |
| shim Apple's futex primitives | ||||
| 2025-02-02 | shim Apple's futex primitives | joboet | -0/+276 | |
| This is necessary to unblock rust-lang/rust#122408. The documentation for these is available [here](https://developer.apple.com/documentation/os/os_sync_wait_on_address?language=objc). Because the futex wait operations (`os_sync_wait_on_address` et al.) return the number of remaining waiters after returning, this required some changes to the common futex infrastructure, which I've changed to take a callback instead of precalculating the return values. | ||||
| 2025-02-01 | Test getrandom 0.3 | Eduardo Sánchez Muñoz | -1/+3 | |
| 2025-02-01 | fmt | The Miri Cronjob Bot | -12/+12 | |
| 2025-01-26 | make linux-futex test less flaky | Ralf Jung | -3/+2 | |
| 2025-01-13 | Illumos: Added epoll and eventfd | Yoh Deadfall | -3/+8 | |
| 2025-01-12 | turns out Solarish targets support our entire test suite | Ralf Jung | -2/+1 | |
| 2025-01-11 | Supported fioclex for ioctl on macos | geetanshjuneja | -0/+20 | |
| 2025-01-10 | Switched FreeBSD to pthread_setname_np | Yoh Deadfall | -30/+24 | |
| 2024-12-18 | Merge pull request #4072 from tiif/blockop | Oli Scherer | -0/+50 | |
| Implement blocking unnamed_socket | ||||
| 2024-12-19 | Implement blocking unnamed_socket | tiif | -0/+50 | |
| 2024-12-12 | Improve timezone handling in 'localtime_r()' using 'allocate_bytes()' | shamb0 | -16/+219 | |
| Signed-off-by: shamb0 <r.raajey@gmail.com> | ||||
| 2024-12-04 | fmt | The Miri Cronjob Bot | -1/+5 | |
| 2024-12-04 | Merge from rustc | The Miri Cronjob Bot | -10/+7 | |
| 2024-12-02 | Use c"lit" for CStrings without unwrap | Kornel | -10/+7 | |
| 2024-11-26 | Merge pull request #4059 from tiif/fixtest | Oli Scherer | -7/+0 | |
| Simplify thread blocking tests | ||||
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |