| Age | Commit message (Expand) | Author | Lines |
| 2025-07-07 | Rollup merge of #143528 - RalfJung:stack-pop-cleanup, r=oli-obk | 许杰友 Jieyou Xu (Joe) | -16/+16 |
| 2025-07-06 | Auto merge of #141829 - dvdsk:sleep_until_linux, r=cuviper,RalfJung | bors | -0/+192 |
| 2025-07-06 | sleep_until: add clock_nanosleep support to Miri | dvdsk | -0/+192 |
| 2025-07-06 | interpret: rename StackPopCleanup | Ralf Jung | -16/+16 |
| 2025-07-05 | fmt | Ralf Jung | -1/+3 |
| 2025-07-05 | Merge from rustc | Ralf Jung | -13/+8 |
| 2025-07-05 | Preparing for merge from rustc | Ralf Jung | -1/+1 |
| 2025-07-04 | Rollup merge of #143387 - dpaoliello:shouldpanicfn, r=bjorn3 | Matthias Krüger | -13/+8 |
| 2025-07-04 | declare data race and weak memory support as non-experimental | Ralf Jung | -2/+2 |
| 2025-07-04 | Merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2025-07-04 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2025-07-03 | Make __rust_alloc_error_handler_should_panic a function | Daniel Paoliello | -13/+8 |
| 2025-07-03 | nanosleep: fix argument name and add a missing argument read | Ralf Jung | -9/+6 |
| 2025-07-03 | Rollup merge of #134006 - klensy:typos, r=nnethercote | Jana Dönszelmann | -1/+1 |
| 2025-07-03 | Merge from rustc | Ralf Jung | -80/+65 |
| 2025-07-03 | Preparing for merge from rustc | Ralf Jung | -1/+1 |
| 2025-07-03 | setup CI and tidy to use typos for spellchecking and fix few typos | klensy | -1/+1 |
| 2025-07-03 | only set host-specific CC; improve and de-duplicate native libs testing logic | Ralf Jung | -25/+18 |
| 2025-07-03 | Rollup merge of #143327 - RalfJung:miri-type-validity-error, r=oli-obk | Matthias Krüger | -62/+27 |
| 2025-07-02 | miri: improve errors for type validity assertion failures | Ralf Jung | -62/+27 |
| 2025-07-02 | use more clever approach for genmc conditional import | Ralf Jung | -12/+3 |
| 2025-07-02 | interpret: move the native call preparation logic into Miri | Ralf Jung | -18/+38 |
| 2025-07-02 | skip env var memory for leak check | Ralf Jung | -50/+9 |
| 2025-07-02 | Merge pull request #4406 from Stypox/tracing | Ralf Jung | -102/+828 |
| 2025-07-02 | rename show_error -> fatal_error | Ralf Jung | -34/+34 |
| 2025-07-02 | Add tracing feature to enable tracing_chrome support | Stypox | -73/+799 |
| 2025-07-02 | Merge from rustc | The Miri Cronjob Bot | -133/+6 |
| 2025-07-02 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2025-07-02 | Auto merge of #142974 - cuviper:stage0-bump, r=Mark-Simulacrum | bors | -22/+2 |
| 2025-07-01 | Remove support for dyn* | Michael Goulet | -107/+0 |
| 2025-07-01 | Update `cfg(bootstrap)` | Josh Stone | -22/+2 |
| 2025-07-01 | Merge pull request #4411 from LorrensP-2158466/remove-leaky-syncobj | Ralf Jung | -184/+148 |
| 2025-07-01 | Remove leaky synchronisation objects. | LorrensP-2158466 | -184/+148 |
| 2025-07-01 | Auto merge of #143013 - bjorn3:split_exported_symbols, r=oli-obk | bors | -4/+4 |
| 2025-07-01 | Merge pull request #4433 from RalfJung/ci-balance | Ralf Jung | -4/+4 |
| 2025-07-01 | Merge pull request #4432 from RalfJung/no-metadata | Ralf Jung | -5/+0 |
| 2025-07-01 | re-balance CI jobs | Ralf Jung | -4/+4 |
| 2025-07-01 | ./miri toolchain: no need to run 'cargo metadata' | Ralf Jung | -5/+0 |
| 2025-07-01 | fmt | The Miri Cronjob Bot | -2/+0 |
| 2025-07-01 | Merge from rustc | The Miri Cronjob Bot | -54/+117 |
| 2025-07-01 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2025-06-30 | Rollup merge of #143140 - RalfJung:ptr-into-parts, r=oli-obk | Matthias Krüger | -9/+7 |
| 2025-06-30 | Auto merge of #143233 - dianqk:rollup-lcx3278, r=dianqk | bors | -44/+109 |
| 2025-06-30 | Rollup merge of #142514 - LorrensP-2158466:miri-float-nondet-pow, r=RalfJung | dianqk | -44/+109 |
| 2025-06-30 | Try increasing the repetition limit | Oli Scherer | -1/+1 |
| 2025-06-30 | linux futex: fix for val > i32::MAX | Ralf Jung | -3/+9 |
| 2025-06-29 | Merge pull request #4397 from tgross35/gettid-shims | Ralf Jung | -12/+312 |
| 2025-06-29 | Add shims for `gettid`-esque functions | Trevor Gross | -12/+312 |
| 2025-06-29 | add a riscv64 test job | Ralf Jung | -0/+5 |
| 2025-06-29 | remove duplicate clippy check | Ralf Jung | -4/+2 |