| 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-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-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-04-11 | Implement DeleteFileW | Rune Tynan | -4/+21 | |
| 2025-04-10 | Implement RtlNtStatusToDosError and shim test for it | Rune Tynan | -1/+10 | |
| 2025-04-08 | Implement trivial file operations - opening and closing handles. Just enough ↵ | Rune Tynan | -0/+198 | |
| to get file metadata. | ||||
| 2024-05-06 | organize libc tests into a proper folder, and run some of them on Windows | Ralf Jung | -1445/+0 | |
| 2024-05-05 | solaris support start. | David Carlier | -2/+2 | |
| 2024-05-05 | move randomness tests into a single file and share the getrandom ↵ | Ralf Jung | -57/+23 | |
| implementation across unices | ||||
| 2024-05-05 | move things out of libc-misc that have a better home; make libc-misc work on ↵ | Ralf Jung | -361/+353 | |
| illumos | ||||
| 2024-05-04 | also test pthread_condattr_getclock | Ralf Jung | -1/+26 | |
| 2024-05-04 | macos: use getentropy from libc | Ralf Jung | -7/+0 | |
| 2024-04-22 | Add localtime_r shim | tiif | -0/+45 | |
| 2024-03-29 | stabilize ptr.is_aligned, move ptr.is_aligned_to to a new feature gate | Aria Beingessner | -1/+1 | |
| This is an alternative to #121920 | ||||
| 2024-03-24 | Add libc test for rename and ftruncate | tiif | -0/+63 | |
| 2024-02-22 | fmt | The Miri Conjob Bot | -2/+3 | |
| 2024-02-22 | Merge from rustc | The Miri Conjob Bot | -6/+6 | |
| 2024-02-21 | rename ptr::invalid -> ptr::without_provenance | Ralf Jung | -6/+6 | |
| also introduce ptr::dangling matching NonNull::dangling | ||||
| 2024-02-17 | add direct test of pthread_cond | Ralf Jung | -4/+52 | |
| 2024-02-12 | also test pthread_mutex/rwlock directly | Ralf Jung | -7/+122 | |
| turns out one of the synchronizations in rwlock_writer_unlock is unnecessary | ||||
| 2024-02-12 | comment tweaks | Ralf Jung | -3/+2 | |
| 2024-02-10 | Factor out the redundancy between `test_mmap` and `test_mmap64`. | Dan Gohman | -127/+24 | |
| 2024-01-30 | Implement the `mmap64` foreign item. | Dan Gohman | -0/+114 | |
| `mmap64` is like `mmap` but uses a 64-bit integer instead of `off_t` for the offset parameter. | ||||
| 2024-01-28 | Auto merge of #3181 - devnexen:stat_calls_fbsd, r=RalfJung | bors | -1/+0 | |
| freebsd add *stat calls interception support | ||||
| 2023-12-28 | Fix integer overflow ICEs from round_up_to_next_multiple_of | Ben Kimock | -0/+21 | |
| 2023-12-18 | Auto merge of #3220 - saethlin:strict-mmap, r=RalfJung | bors | -3/+2 | |
| Make mmap not use expose semantics Fixes https://github.com/rust-lang/miri/issues/3041 per https://github.com/rust-lang/miri/issues/3041#issuecomment-1711235196 | ||||
| 2023-12-17 | Make mmap not use expose semantics | Ben Kimock | -3/+2 | |
| 2023-12-12 | Merge from rustc | The Miri Conjob Bot | -1/+0 | |
| 2023-12-10 | Return MAP_FAILED when mmap fails | Ben Kimock | -0/+79 | |
| 2023-12-10 | remove redundant imports | surechen | -1/+0 | |
| detects redundant imports that can be eliminated. for #117772 : In order to facilitate review and modification, split the checking code and removing redundant imports code into two PR. | ||||
| 2023-11-26 | freebsd add *stat calls interception support | David Carlier | -1/+0 | |
| 2023-11-23 | detect and test for data races between setenv and getenv | Ralf Jung | -3/+2 | |
| 2023-11-20 | libc-misc test freebsd fixes attempt | David Carlier | -51/+45 | |
| 2023-11-16 | move reallocarray test into libc-misc | Ralf Jung | -16/+17 | |
| 2023-11-16 | make libc-misc pass under FreeBSD | Ralf Jung | -0/+7 | |
| 2023-11-16 | split thread test into synchronization primitives and threadname | Ralf Jung | -60/+51 | |
| 2023-11-16 | reallocarray shim linux/freebsd support proposal. | David Carlier | -0/+16 | |
| 2023-11-15 | freebsd adding getrandom interception. | David Carlier | -1/+4 | |
| note that os support was added in same time as getentropy. | ||||
| 2023-11-13 | share getentropy shim across various unixes | Ralf Jung | -3/+12 | |
| 2023-11-13 | freebsd adding getentropy interception support | David Carlier | -0/+11 | |
| 2023-11-12 | tweak comments | Ralf Jung | -9/+5 | |
| 2023-11-12 | freebsd interceptions update proposal | David Carlier | -3/+31 | |
| 2023-10-25 | CLOCK_UPTIME_RAW exists on all macos targets, not just the ARM ones | Ralf Jung | -1/+1 | |
| 2023-10-06 | add a direct dlsym test | Ralf Jung | -0/+14 | |
| 2023-07-30 | refactor tests/utils a bit, and move some FS functions there | Ralf Jung | -53/+13 | |
| 2023-06-20 | Make munmap throw unsup errors instead of trying to work | Ben Kimock | -13/+0 | |
| 2023-06-20 | mmap/munmap/mremamp shims | Ben Kimock | -0/+83 | |
| 2023-05-08 | port tests to 2021 edition | Ralf Jung | -1/+0 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |