| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-10 | bless miri tests | joboet | -12/+12 | |
| 2025-07-19 | non-deterministically truncate reads/writes | Ralf Jung | -32/+48 | |
| 2025-07-02 | miri: improve errors for type validity assertion failures | Ralf Jung | -4/+4 | |
| 2025-06-07 | make better use of label for data-race and some other errors | Ralf Jung | -58/+58 | |
| 2025-06-07 | diagnostics: do not repeat the entire message in the span label | Ralf Jung | -30/+30 | |
| 2025-05-30 | Change diagnostic wording | tiif | -2/+1 | |
| 2025-05-27 | Support F_GETFL and F_SETFL for fcntl | tiif | -0/+39 | |
| 2025-05-21 | test direct usage of io::{stdout,stderr,stdin} | Ralf Jung | -24/+0 | |
| 2025-05-03 | Merge from rustc | The Miri Cronjob Bot | -12/+12 | |
| 2025-04-30 | interpret: better error message for out-of-bounds pointer arithmetic and ↵ | Ralf Jung | -12/+12 | |
| accesses | ||||
| 2025-04-29 | add -Zmiri-deterministic-concurrency flag and use it for concurrency tests | Ralf Jung | -9/+9 | |
| 2025-04-29 | Added random scheduling | geetanshjuneja | -9/+9 | |
| 2025-01-29 | Merge pull request #4122 from tiif/fnabi | Ralf Jung | -4/+4 | |
| Check fixed args number for variadic function | ||||
| 2025-01-30 | Check fixed arg number for variadic function. | tiif | -4/+4 | |
| 2025-01-13 | Included Abdroid to an epoll test targets | Yoh Deadfall | -1/+1 | |
| 2025-01-13 | Illumos: Added epoll and eventfd | Yoh Deadfall | -5/+5 | |
| 2025-01-12 | Added Android to epoll and eventfd test targets | Yoh Deadfall | -3/+3 | |
| 2025-01-12 | turns out Solarish targets support our entire test suite | Ralf Jung | -5/+3 | |
| 2024-12-27 | add test for close-while-blocked | Ralf Jung | -0/+72 | |
| 2024-12-19 | Implement blocking unnamed_socket | tiif | -34/+182 | |
| 2024-11-26 | Merge pull request #4059 from tiif/fixtest | Oli Scherer | -42/+18 | |
| Simplify thread blocking tests | ||||
| 2024-11-26 | Simplify thread blocking tests | tiif | -42/+18 | |
| 2024-11-25 | Fixed test target | Yoh Deadfall | -2/+1 | |
| Co-authored-by: Ralf Jung <post@ralfj.de> | ||||
| 2024-11-25 | Added epoll and eventfd for Android | Yoh Deadfall | -0/+1 | |
| 2024-11-22 | epoll: fix comment typo | Ralf Jung | -1/+1 | |
| 2024-11-21 | eventfd: comment tweaks | Ralf Jung | -2/+2 | |
| 2024-11-15 | Merge pull request #4033 from tiif/checkepoll | Oli Scherer | -0/+137 | |
| Add test for epoll | ||||
| 2024-11-14 | Add test for epoll | tiif | -0/+137 | |
| 2024-11-13 | Merge pull request #3939 from tiif/blockeventfd | Oli Scherer | -60/+218 | |
| Implement blocking eventfd | ||||
| 2024-11-13 | Implement blocking eventfd | tiif | -60/+218 | |
| 2024-10-21 | Added support for prctl handling thread names | Yoh Deadfall | -0/+31 | |
| 2024-10-17 | data-race test: disable address reuse that can incur accidental sync | Ralf Jung | -1/+1 | |
| 2024-10-14 | Added a variadic argument helper | Yoh Deadfall | -4/+4 | |
| 2024-10-10 | Pipe minor changes: diagnostics, flag support and comments | tiif | -4/+4 | |
| 2024-10-09 | epoll: change clock to be per event | Frank Rehwinkel | -0/+117 | |
| 2024-10-08 | fix behavior of release_clock() | Ralf Jung | -0/+51 | |
| 2024-09-29 | let rustfmt format imports | Ralf Jung | -4/+3 | |
| 2024-09-16 | Bump ui test | Oli Scherer | -92/+92 | |
| 2024-08-24 | Handle edge case for epoll_ctl | tiif | -0/+32 | |
| 2024-08-01 | on a signed deref check, mention the right pointer in the error | Ralf Jung | -2/+2 | |
| 2024-07-27 | improve dangling/oob errors and make them more uniform | Ralf Jung | -15/+15 | |
| 2024-07-10 | Auto merge of #3720 - safinaskar:read, r=RalfJung | bors | -0/+42 | |
| Fix libc::read shim: make it write to a buffer correct amount of bytes. Add tests for new behavior libc::read shim had a bug: if underlying real call libc::read(fd, buf, N) returns M, then libc::read shim writes N bytes to buf instead of M. Remaining N - M bytes are filled with zeros. This commit fixes this bug and adds tests for new behavior | ||||
| 2024-07-09 | Fix libc::read shim: make it write to a buffer correct amount of bytes. Add ↵ | Askar Safin | -0/+42 | |
| tests for the new behavior. libc::read shim had a bug: if underlying real call libc::read(fd, buf, N) returns M, then libc::read shim writes N bytes to buf instead of M. Remaining N - M bytes are filled with zeros. This commit fixes this bug and adds tests for new behavior | ||||
| 2024-07-05 | implement `libc::sched_getaffinity` and `libc::sched_setaffinity` | Folkert | -0/+37 | |
| 2024-06-17 | tell people how to set miri flags | Ralf Jung | -5/+5 | |
| 2024-06-10 | Add socketpair shim | tiif | -0/+56 | |
| 2024-06-09 | Follow up fix for eventfd shim | tiif | -4/+2 | |
| 2024-06-08 | Add eventfd shim | tiif | -0/+62 | |
| 2024-05-18 | support aligned_alloc for unixes support. | David Carlier | -0/+30 | |
| 2024-05-12 | Add non-null pointer for posix_memalign | tiif | -0/+64 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |