| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-05-08 | Update miri, cargo-miri and miri-cript to edition 2024 | est31 | -12/+11 |
| 2025-05-08 | remove commented-out test leftover | Ralf Jung | -1/+0 |
| 2025-05-08 | remove stray stderr file | Ralf Jung | -22/+0 |
| 2025-05-07 | test suite: use CARGO_TARGET_TMPDIR for temporary build artifacts | Ralf Jung | -3/+2 |
| 2025-05-05 | Merge pull request #4310 from RalfJung/addr-space-conservation | Ralf Jung | -8/+17 |
| 2025-05-05 | Merge pull request #4309 from RalfJung/both-borrows-tests | Ralf Jung | -532/+94 |
| 2025-05-05 | alloc_addresses: when we are running out of addresses, start reusing more agg... | Ralf Jung | -8/+17 |
| 2025-05-05 | consistent folder naming: stacked-borrows -> stacked_borrows | Ralf Jung | -6/+6 |
| 2025-05-05 | Merge pull request #4306 from yoctocell/fix-unsafecell-inside-box | Ralf Jung | -1/+43 |
| 2025-05-05 | move tests that are identical between SB and TB to shared files | Ralf Jung | -764/+326 |
| 2025-05-05 | Merge pull request #4307 from JoJoDeveloping/remove-unique-is-unique | Ralf Jung | -451/+12 |
| 2025-05-04 | Remove -Zunique-is-unique | Johannes Hostert | -451/+12 |
| 2025-05-03 | Merge from rustc | The Miri Cronjob Bot | -148/+120 |
| 2025-05-03 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2025-05-02 | Construct test so that it would fail for old code | Xinglu Chen | -5/+22 |
| 2025-05-02 | Rollup merge of #140521 - RalfJung:oob-error, r=saethlin | Matthias Krüger | -106/+106 |
| 2025-05-02 | Correctly handle interior mutable data in `Box` | Xinglu Chen | -1/+26 |
| 2025-05-02 | Implement skeleton code for adding GenMC support to Miri (not yet functional). | Patrick-6 | -307/+1254 |
| 2025-05-02 | Merge pull request #4305 from RalfJung/squash | Ralf Jung | -10/+84 |
| 2025-05-02 | add ./miri squash | Ralf Jung | -10/+84 |
| 2025-05-01 | Rollup merge of #140034 - RalfJung:simd_select_bitmask-padding, r=workingjubilee | Guillaume Gomez | -42/+14 |
| 2025-05-01 | Merge pull request #4273 from yoctocell/new-cell-state | Ralf Jung | -72/+141 |
| 2025-05-01 | Add `Cell` state to Tree Borrows | Xinglu Chen | -72/+141 |
| 2025-05-01 | fmt | The Miri Cronjob Bot | -3/+1 |
| 2025-05-01 | Merge from rustc | The Miri Cronjob Bot | -84/+98 |
| 2025-05-01 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2025-04-30 | interpret: better error message for out-of-bounds pointer arithmetic and acce... | Ralf Jung | -106/+106 |
| 2025-04-30 | Rollup merge of #140439 - RalfJung:miri-algebraic-float-nondet, r=oli-obk | Matthias Krüger | -84/+98 |
| 2025-04-29 | add -Zmiri-deterministic-concurrency flag and use it for concurrency tests | Ralf Jung | -156/+129 |
| 2025-04-29 | Merge pull request #4272 from geetanshjuneja/scheduling | Ralf Jung | -92/+111 |
| 2025-04-29 | fix comment typos | Ralf Jung | -2/+2 |
| 2025-04-29 | move EnvVars::cleanup into the main-thread-exit handler | Ralf Jung | -10/+11 |
| 2025-04-29 | Added random scheduling | geetanshjuneja | -92/+111 |
| 2025-04-29 | miri: algebraic intrinsics: bring back float non-determinism | Ralf Jung | -84/+98 |
| 2025-04-29 | suppress dangerous_implicit_autorefs in TB test | Ralf Jung | -0/+1 |
| 2025-04-29 | fmt | The Miri Cronjob Bot | -7/+3 |
| 2025-04-29 | Merge from rustc | The Miri Cronjob Bot | -87/+109 |
| 2025-04-29 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2025-04-28 | Rollup merge of #139656 - scottmcm:stabilize-slice-as-chunks, r=dtolnay | Chris Denton | -2/+1 |
| 2025-04-28 | Auto merge of #123948 - azhogin:azhogin/async-drop, r=oli-obk | bors | -85/+104 |
| 2025-04-28 | AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}... | Andrew Zhogin | -85/+104 |
| 2025-04-28 | Auto merge of #123239 - Urgau:dangerous_implicit_autorefs, r=jdonszelmann,tra... | bors | -0/+4 |
| 2025-04-27 | Merge pull request #4293 from primoly/unsafe-attributes | Ben Kimock | -4/+4 |
| 2025-04-27 | `unsafe(no_mangle)` in `miri_start` examples | primoly | -4/+4 |
| 2025-04-26 | Merge from rustc | The Miri Cronjob Bot | -6/+6 |
| 2025-04-26 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2025-04-25 | avoid an unnecessary transmute | Ralf Jung | -1/+1 |
| 2025-04-25 | Auto merge of #140273 - matthiaskrgr:rollup-rxmuvkg, r=matthiaskrgr | bors | -6/+6 |
| 2025-04-25 | Merge from rustc | The Miri Cronjob Bot | -28/+8 |
| 2025-04-25 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
