| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-10 | bless miri tests | joboet | -12/+12 | |
| 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-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 | -21/+21 | |
| 2025-06-07 | diagnostics: do not repeat the entire message in the span label | Ralf Jung | -36/+36 | |
| 2025-04-29 | add -Zmiri-deterministic-concurrency flag and use it for concurrency tests | Ralf Jung | -3/+9 | |
| 2025-04-29 | Added random scheduling | geetanshjuneja | -3/+3 | |
| 2025-04-08 | Implement trivial file operations - opening and closing handles. Just enough ↵ | Rune Tynan | -1/+1 | |
| to get file metadata. | ||||
| 2024-12-13 | Fix miri tests | Esteban Küber | -2/+1 | |
| 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 | 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-05 | avoid pthread_attr_t in tests | Ralf Jung | -18/+24 | |
| 2024-10-05 | pthread mutex: better error in reentrant-locking-UB, also test ↵ | Ralf Jung | -14/+48 | |
| PTHREAD_MUTEX_INITIALIZER | ||||
| 2024-09-29 | let rustfmt format imports | Ralf Jung | -2/+1 | |
| 2024-09-21 | fmt (with a huge diff for some reason) | Ralf Jung | -2/+2 | |
| 2024-09-16 | Bump ui test | Oli Scherer | -126/+126 | |
| 2024-09-15 | pthread: add FreeBSD, remove PTHREAD_MUTEX_NORMAL_FLAG hack | Ralf Jung | -1/+2 | |
| On FreeBSD, DEFAULT maps to ERRORCK. This clashes with the existing PTHREAD_MUTEX_NORMAL_FLAG: hack so we replace it by a different hack that works better cross-platform. Also fix a case of "accidental early UB" in a UB test -- pthread_mutexattr_t must be initialized. | ||||
| 2024-09-14 | detect when pthread_cond_t is moved | Konstantinos Andrikopoulos | -0/+77 | |
| Closes #3749 | ||||
| 2024-09-09 | detect when pthread_rwlock_t is moved | Konstantinos Andrikopoulos | -0/+29 | |
| For some implementations of pthreads, the address of pthread_rwlock_t (or its fields) is used to identify the lock. That means that if the contents of a pthread_rwlock_t are moved in memory, effectively a new lock object is created, which is completely independted from the original. Thus we want to detect when when such objects are moved and show an error. | ||||
| 2024-09-05 | Detect pthread_mutex_t is moved | Konstantinos Andrikopoulos | -0/+68 | |
| See: #3749 | ||||
| 2024-08-06 | interpret: refactor function call handling to be better-abstracted | Ralf Jung | -16/+10 | |
| 2024-07-15 | lib: replace some `mem::forget`'s with `ManuallyDrop` | Pavel Grigorenko | -3/+3 | |
| 2024-07-14 | implement the `os_unfair_lock` functions on macOS | joboet | -0/+102 | |
| 2024-06-17 | tell people how to set miri flags | Ralf Jung | -1/+1 | |
| 2024-05-06 | organize libc tests into a proper folder, and run some of them on Windows | Ralf Jung | -8/+766 | |
| 2024-04-16 | deadlock: show backtrace for all threads | Ralf Jung | -2/+47 | |
| 2024-03-02 | remove the ability to disable ABI checking | Ralf Jung | -50/+0 | |
| 2024-03-02 | add option to track all read/write accesses to tracked allocations | Ralf Jung | -0/+2 | |
| 2024-03-02 | print thread name in miri error backtraces | Ralf Jung | -6/+6 | |
| 2024-01-11 | std: update miri tests | joboet | -2/+2 | |
| 2023-12-29 | undo some lockfile changes, add explicit types to tests | DrMeepster | -2/+2 | |
| 2023-12-25 | have windows tests use windows-sys | DrMeepster | -0/+112 | |
| 2023-11-24 | Bless Miri tests | Nilstrieb | -9/+9 | |
| Co-authored-by: Adrian <adrian.iosdev@gmail.com> | ||||
| 2023-09-22 | Move `fail` tests that need dependencies into their own folder, so that wasm ↵ | Oli Scherer | -0/+325 | |
| tests don't build dependencies | ||||
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |