| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-03 | fix mangitude of applied float error | Ralf Jung | -0/+37 | |
| 2025-08-29 | unix read/write: fix zero-size handling | Ralf Jung | -1/+3 | |
| 2025-07-28 | lookup_link_section: support arrays of function pointers | Ralf Jung | -8/+7 | |
| 2025-07-19 | non-deterministically truncate reads/writes | Ralf Jung | -3/+29 | |
| 2025-07-19 | don't halt execution when we write to a read-only file | Ralf Jung | -0/+4 | |
| 2025-07-16 | minor tweaks and comments | Ralf Jung | -0/+3 | |
| 2025-07-15 | add test for global constructors | Ibraheem Ahmed | -0/+43 | |
| 2025-07-11 | Update miri for change to random API | Josh Triplett | -1/+1 | |
| 2025-07-06 | sleep_until: add clock_nanosleep support to Miri | dvdsk | -0/+10 | |
| 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-15 | Stabilize "file_lock" feature | Christopher Berner | -1/+0 | |
| 2025-06-08 | Merge from rustc | The Miri Cronjob Bot | -6/+0 | |
| 2025-06-06 | use File::lock to implement flock, and add a test for File::lock | Ralf Jung | -3/+30 | |
| 2025-06-03 | Remove uses of `stdarch_x86_avx512` | sayantn | -6/+0 | |
| 2025-05-22 | Implement file cloning on Windows | Rune Tynan | -1/+1 | |
| 2025-05-22 | Implement file read/write on Windows | Rune Tynan | -5/+5 | |
| 2025-05-21 | test direct usage of io::{stdout,stderr,stdin} | Ralf Jung | -3/+7 | |
| 2025-05-18 | Remove uses of `#[feature(avx512_target_feature)]` | sayantn | -4/+1 | |
| 2025-05-08 | add signed integers to unnecessary_lints to ensure feature parity with clippy | bendn | -0/+1 | |
| 2025-04-29 | add -Zmiri-deterministic-concurrency flag and use it for concurrency tests | Ralf Jung | -1/+1 | |
| 2025-04-29 | Merge pull request #4272 from geetanshjuneja/scheduling | Ralf Jung | -1/+1 | |
| Make thread scheduling fully random | ||||
| 2025-04-29 | Added random scheduling | geetanshjuneja | -1/+1 | |
| 2025-04-25 | Merge from rustc | The Miri Cronjob Bot | -1/+2 | |
| 2025-04-24 | Suggest {to,from}_ne_bytes for transmutations between arrays and integers, etc | bendn | -1/+2 | |
| 2025-04-11 | Implement DeleteFileW | Rune Tynan | -1/+1 | |
| 2025-04-08 | Implement trivial file operations - opening and closing handles. Just enough ↵ | Rune Tynan | -17/+19 | |
| to get file metadata. | ||||
| 2025-03-14 | Stablize feature `anonymous_pipe` | Jiahao XU | -2/+0 | |
| Signed-off-by: Jiahao XU <Jiahao_XU@outlook.com> | ||||
| 2025-02-24 | Merge pull request #4193 from bjorn3/arm64_vpmaxq_u8 | Ralf Jung | -0/+40 | |
| Implement vpmaxq_u8 on aarch64 | ||||
| 2025-02-21 | Add tests | bjorn3 | -0/+40 | |
| 2025-02-14 | add x86-sse2 (32bit) ABI that requires SSE2 target feature | Ralf Jung | -0/+5 | |
| 2025-01-28 | ABI-required target features: warn when they are missing in base CPU (rather ↵ | Ralf Jung | -2/+2 | |
| than silently enabling them) | ||||
| 2025-01-19 | fix location of pipe module | Ralf Jung | -2/+3 | |
| 2025-01-11 | Supported fioclex for ioctl on macos | geetanshjuneja | -0/+12 | |
| 2024-12-12 | solarish stat following-up, supports for readdir. | David Carlier | -6/+8 | |
| 2024-11-26 | filesystem support for solarish. | David Carlier | -2/+5 | |
| close #3890 | ||||
| 2024-11-17 | Likely unlikely fix | Jiri Bobek | -1/+1 | |
| 2024-11-02 | teach clippy about IeeeFloat, and make all 'allow' into 'expect' | Ralf Jung | -1/+1 | |
| 2024-10-26 | Adjust the vpclmulqdq test case | Tobias Decking | -3/+7 | |
| 2024-10-26 | Implement LLVM x86 vpclmulqdq intrinsics | Tobias Decking | -0/+189 | |
| 2024-10-21 | move strict provenance lints to new feature gate, remove old feature gates | Ralf Jung | -1/+0 | |
| 2024-10-04 | Implement LLVM x86 gfni intrinsics | Tobias Decking | -0/+518 | |
| 2024-09-29 | let rustfmt format imports | Ralf Jung | -4/+2 | |
| 2024-09-25 | avoid using HashMap in fs test | Ralf Jung | -3/+3 | |
| 2024-09-25 | add test for std::random | Ralf Jung | -0/+5 | |
| 2024-09-21 | fmt (with a huge diff for some reason) | Ralf Jung | -3/+3 | |
| 2024-09-17 | Use `@only-target` in SSE and SSE2 tests too | Eduardo Sánchez Muñoz | -1784/+1760 | |
| It looks cleaner and makes it consistent with other X86 tests | ||||
| 2024-09-16 | Bump ui test | Oli Scherer | -114/+30 | |
| 2024-09-15 | test std::time APIs on FreeBSD and Solarish | Ralf Jung | -3/+3 | |
| 2024-08-29 | fix wasm test | Ralf Jung | -12/+12 | |
| 2024-08-20 | Auto merge of #3752 - Kixunil:simd-sha256, r=RalfJung | bors | -0/+270 | |
| Implement SHA256 SIMD intrinsics on x86 Disclaimer: this is my first contribution to `miri`'s code. It's quite possible I'm missing something. This code works but may not be the cleanest/best possible. It'd be useful to be able to verify code implementing SHA256 using SIMD since such code is a bit more complicated and at some points requires use of pointers. Until now `miri` didn't support x86 SHA256 intrinsics. This commit implements them. | ||||
| 2024-08-20 | Implement SHA256 SIMD intrinsics on x86 | Martin Habovstiak | -0/+270 | |
| It'd be useful to be able to verify code implementing SHA256 using SIMD since such code is a bit more complicated and at some points requires use of pointers. Until now `miri` didn't support x86 SHA256 intrinsics. This commit implements them. | ||||
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |