| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-04-25 | fmt | The Miri Cronjob Bot | -1/+2 |
| 2024-04-25 | Merge from rustc | The Miri Cronjob Bot | -2/+2 |
| 2024-04-24 | Error on using `yield` without also using `#[coroutine]` on the closure | Oli Scherer | -2/+2 |
| 2024-04-24 | avoid 'let _' in tests where we actually want the value to be computed | Ralf Jung | -4/+4 |
| 2024-04-23 | Rollup merge of #124003 - WaffleLapkin:dellvmization, r=scottmcm,RalfJung,antoyo | Matthias Krüger | -2/+2 |
| 2024-04-23 | Rollup merge of #124220 - RalfJung:interpret-wrong-vtable, r=oli-obk | Matthias Krüger | -9/+93 |
| 2024-04-21 | Miri: detect wrong vtables in wide pointers | Ralf Jung | -9/+93 |
| 2024-04-20 | Merge from rustc | The Miri Cronjob Bot | -0/+15 |
| 2024-04-18 | when reusing an address, most of the time only reuse from the current thread | Ralf Jung | -4/+78 |
| 2024-04-18 | when suggesting RUST_BACKTRACE=1, add a special note for Miri's env var isola... | Ralf Jung | -0/+15 |
| 2024-04-17 | Merge from rustc | Ralf Jung | -1/+1 |
| 2024-04-17 | Rollup merge of #124030 - RalfJung:adjust_alloc_base_pointer, r=oli-obk | Matthias Krüger | -1/+1 |
| 2024-04-17 | Auto merge of #3480 - RalfJung:alloc_error_handler, r=RalfJung | bors | -80/+100 |
| 2024-04-17 | tests/utils: add fmt::Write implementations for miri's native stdout/stderr | Ralf Jung | -38/+21 |
| 2024-04-17 | alloc_error_handler tests: directly call handle_alloc_error; test more codepaths | Ralf Jung | -59/+96 |
| 2024-04-17 | interpret: rename base_pointer -> root_pointer | Ralf Jung | -1/+1 |
| 2024-04-17 | Merge from rustc | The Miri Cronjob Bot | -2/+2 |
| 2024-04-16 | Auto merge of #3478 - RalfJung:alloc_error_handler, r=RalfJung | bors | -0/+145 |
| 2024-04-16 | implement support for __rust_alloc_error_handler | Ralf Jung | -0/+145 |
| 2024-04-16 | no_std works on Windows now | Ralf Jung | -4/+0 |
| 2024-04-16 | deadlock: show backtrace for all threads | Ralf Jung | -4/+4 |
| 2024-04-16 | Box::into_raw: make Miri understand that this is a box-to-raw cast | Ralf Jung | -2/+2 |
| 2024-04-16 | Miri: adopt to new intrinsic types | Maybe Waffle | -2/+2 |
| 2024-04-06 | make 'missing extern static' error consistent with missing shim | Ralf Jung | -9/+9 |
| 2024-04-06 | chore: fix some typos | findseat | -1/+1 |
| 2024-04-03 | rename `expose_addr` to `expose_provenance` | joboet | -2/+2 |
| 2024-04-02 | Rollup merge of #122935 - RalfJung:with-exposed-provenance, r=Amanieu | Jacob Pratt | -6/+6 |
| 2024-03-29 | Auto merge of #122520 - scottmcm:stabilize_unchecked_math_basics, r=jhpratt | bors | -8/+0 |
| 2024-03-23 | Auto merge of #122952 - RalfJung:miri, r=RalfJung | bors | -11/+23 |
| 2024-03-23 | Auto merge of #3385 - Zoxc:read-types, r=RalfJung | bors | -11/+23 |
| 2024-03-23 | Report retags as distinct from real memory accesses for data races | John Kåre Alsaker | -11/+23 |
| 2024-03-23 | Auto merge of #122582 - scottmcm:swap-intrinsic-v2, r=oli-obk | bors | -0/+78 |
| 2024-03-23 | rename ptr::from_exposed_addr -> ptr::with_exposed_provenance | Ralf Jung | -6/+6 |
| 2024-03-18 | add_retag: ensure box-to-raw-ptr casts are preserved for Miri | Ralf Jung | -2/+2 |
| 2024-03-17 | MIRI tests to confirm it's typed | Scott McMurray | -0/+78 |
| 2024-03-17 | Auto merge of #121885 - reitermarkus:generic-nonzero-inner, r=oli-obk,wesleyw... | bors | -4/+4 |
| 2024-03-14 | Remove `feature(unchecked_math)` from miri | Scott McMurray | -8/+0 |
| 2024-03-10 | Fix `miri` tests. | Markus Reiter | -4/+4 |
| 2024-03-09 | simplify no-std tests | Ralf Jung | -8/+4 |
| 2024-03-06 | Auto merge of #3340 - RalfJung:no-disable-abi-check, r=oli-obk | bors | -35/+5 |
| 2024-03-04 | disable diagnostic deduplication | Ralf Jung | -0/+16 |
| 2024-03-02 | Tree Borrows: print where the forbidden access happens; make tag tracking les... | Ralf Jung | -94/+94 |
| 2024-03-02 | remove the ability to disable ABI checking | Ralf Jung | -35/+5 |
| 2024-03-02 | add option to track all read/write accesses to tracked allocations | Ralf Jung | -0/+1 |
| 2024-03-02 | print thread name in miri error backtraces | Ralf Jung | -143/+162 |
| 2024-02-29 | add regression test | Ralf Jung | -0/+25 |
| 2024-02-27 | Auto merge of #121655 - matthiaskrgr:rollup-qpx3kks, r=matthiaskrgr | bors | -12/+12 |
| 2024-02-26 | miri: rename miri_start_panic → miri_start_unwind | Ralf Jung | -10/+10 |
| 2024-02-26 | rename 'try' intrinsic to 'catch_unwind' | Ralf Jung | -2/+2 |
| 2024-02-25 | fix use of platform_intrinsics in tests | Ralf Jung | -32/+16 |
