| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-04-29 | add -Zmiri-deterministic-concurrency flag and use it for concurrency tests | Ralf Jung | -3/+2 |
| 2025-04-29 | Added random scheduling | geetanshjuneja | -1/+1 |
| 2024-08-27 | miri: Remove feature(new_uninit) | Jubilee Young | -1/+0 |
| 2024-04-18 | when reusing an address, most of the time only reuse from the current thread | Ralf Jung | -0/+2 |
| 2024-03-02 | print thread name in miri error backtraces | Ralf Jung | -1/+1 |
| 2023-10-27 | data-race: preserve structured access information longer, and don't upper-cas... | Ralf Jung | -1/+1 |
| 2023-05-08 | port tests to 2021 edition | Ralf Jung | -0/+2 |
| 2022-12-23 | Mention and number the components of a race in the order the interpreter sees... | Ben Kimock | -1/+1 |
| 2022-12-22 | Add a (1) and (2) to the data race errors | Ben Kimock | -1/+1 |
| 2022-11-27 | make Stacked Borrows retags act like data races | Ralf Jung | -1/+1 |
| 2022-09-21 | Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573' | Oli Scherer | -0/+49 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |