| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-10 | bless miri tests | joboet | -24/+24 | |
| 2025-07-21 | Merge pull request #4481 from RalfJung/read-write-truncate | Oli Scherer | -32/+48 | |
| non-deterministically truncate reads/writes | ||||
| 2025-07-19 | non-deterministically truncate reads/writes | Ralf Jung | -32/+48 | |
| 2025-07-18 | Show the memory of uninit reads | Oli Scherer | -32/+25 | |
| 2025-07-17 | Report the range of uninit bytes in CTFE errors | Oli Scherer | -10/+42 | |
| 2025-07-03 | Merge from rustc | Ralf Jung | -4/+4 | |
| 2025-07-02 | miri: improve errors for type validity assertion failures | Ralf Jung | -4/+4 | |
| 2025-06-29 | Add shims for `gettid`-esque functions | Trevor Gross | -0/+22 | |
| 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 | bless non-Linux tests | Ralf Jung | -17/+17 | |
| 2025-06-07 | make better use of label for data-race and some other errors | Ralf Jung | -79/+79 | |
| 2025-06-07 | diagnostics: do not repeat the entire message in the span label | Ralf Jung | -66/+66 | |
| 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 | -12/+18 | |
| 2025-04-29 | Added random scheduling | geetanshjuneja | -12/+12 | |
| 2025-04-08 | Implement trivial file operations - opening and closing handles. Just enough ↵ | Rune Tynan | -1/+1 | |
| to get file metadata. | ||||
| 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-18 | Merge pull request #4072 from tiif/blockop | Oli Scherer | -34/+182 | |
| Implement blocking unnamed_socket | ||||
| 2024-12-19 | Implement blocking unnamed_socket | tiif | -34/+182 | |
| 2024-12-13 | Fix miri tests | Esteban Küber | -2/+1 | |
| 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 | Auto merge of #3973 - RalfJung:os-unfair-lock, r=RalfJung | bors | -0/+26 | |
| ensure that a macOS os_unfair_lock that is moved while being held is not implicitly unlocked Fixes https://github.com/rust-lang/miri/issues/3859 We mark an os_unfair_lock that is moved while being held as "poisoned", which means it is not considered forever locked. That's not quite what the real implementation does, but allowing arbitrary moves-while-locked would likely expose a ton of implementation details, so hopefully this is good enough. | ||||
| 2024-10-14 | ensure that a macOS os_unfair_lock that is moved while being held is not ↵ | Ralf Jung | -0/+26 | |
| implicitly unlocked | ||||
| 2024-10-14 | Auto merge of #3968 - YohDeadfall:variadic-arg-helper, r=RalfJung | bors | -4/+4 | |
| Added a variadic argument helper `@RalfJung,` as you wished (: | ||||
| 2024-10-14 | Added a variadic argument helper | Yoh Deadfall | -4/+4 | |
| 2024-10-14 | pthread_cond: also store ID outside addressable memory | Ralf Jung | -6/+6 | |
| 2024-10-14 | pthread_rwlock: also store ID outside addressable memory | Ralf Jung | -3/+3 | |
| 2024-10-14 | pthread_mutex: store mutex ID outside adressable memory, so it can be trusted | Ralf Jung | -6/+6 | |
| 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 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |