| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-03-24 | desperate hack: hard-code bash path on Windows | Ralf Jung | -1/+10 |
| 2024-03-24 | try to fix many-seeds tests on Windows | Ralf Jung | -1/+2 |
| 2024-03-24 | Auto merge of #3398 - tiif:add_libc_fs_test, r=RalfJung | bors | -5/+71 |
| 2024-03-24 | Add libc test for rename and ftruncate | tiif | -5/+71 |
| 2024-03-24 | miri-script/toolchain: make new_commit logic easier to follow | Ralf Jung | -3/+3 |
| 2024-03-24 | many-seeds: propagate failure properly | Ralf Jung | -2/+2 |
| 2024-03-24 | CI tweaks and show which stable Rust we are using | Ralf Jung | -3/+9 |
| 2024-03-24 | miri script: build with stable toolchain | Ralf Jung | -2/+2 |
| 2024-03-24 | Merge from rustc | Ralf Jung | -0/+78 |
| 2024-03-24 | Preparing for merge from rustc | Ralf Jung | -1/+1 |
| 2024-03-23 | Rollup merge of #122762 - RoboSchmied:RoboSchmied-typo, r=workingjubilee | Jubilee | -4/+4 |
| 2024-03-23 | also rename the SIMD intrinsic | Ralf Jung | -3/+3 |
| 2024-03-23 | Auto merge of #122952 - RalfJung:miri, r=RalfJung | bors | -120/+376 |
| 2024-03-23 | disable RUST_BACKTRACE in CI, set it inside the test harness instead | Ralf Jung | -5/+9 |
| 2024-03-23 | when a test fails, repeat the target after the failure report | Ralf Jung | -0/+2 |
| 2024-03-23 | Auto merge of #3385 - Zoxc:read-types, r=RalfJung | bors | -89/+202 |
| 2024-03-23 | Report retags as distinct from real memory accesses for data races | John Kåre Alsaker | -89/+202 |
| 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 | -30/+30 |
| 2024-03-23 | add support for missing SIMD float intrinsics | Ralf Jung | -7/+55 |
| 2024-03-23 | fmt | The Miri Cronjob Bot | -4/+2 |
| 2024-03-23 | Merge from rustc | The Miri Cronjob Bot | -7/+8 |
| 2024-03-23 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2024-03-23 | Auto merge of #119552 - krtab:dead_code_priv_mod_pub_field, r=cjgillot,saethlin | bors | -0/+2 |
| 2024-03-22 | And the tools too | Michael Goulet | -4/+3 |
| 2024-03-22 | Programmatically convert some of the pat ctors | Michael Goulet | -1/+1 |
| 2024-03-22 | Eagerly convert some ctors to use their specialized ctors | Michael Goulet | -2/+2 |
| 2024-03-22 | Preparing for merge from rustc | Ralf Jung | -1/+1 |
| 2024-03-22 | Codegen const panic messages as function calls | Mark Rousskov | -2/+10 |
| 2024-03-21 | Allow `llvm.x86.sse2.pause` instrinsic to be called without SSE2 | Eduardo Sánchez Muñoz | -6/+43 |
| 2024-03-20 | Update target.rs alloc.rs event.rs simd.rs | RoboSchmied | -4/+4 |
| 2024-03-20 | run full mono-item collection on all MIRI_BE_RUSTC=target builds | Ralf Jung | -4/+42 |
| 2024-03-19 | remove duplicate test | Ralf Jung | -5/+0 |
| 2024-03-19 | Merge from rustc | The Miri Cronjob Bot | -74/+16 |
| 2024-03-19 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2024-03-18 | Rollup merge of #122060 - clubby789:stabilize-imported-main, r=lcnr | Matthias Krüger | -6/+0 |
| 2024-03-18 | Rollup merge of #122647 - RalfJung:box-to-raw-retag, r=oli-obk | Matthias Krüger | -65/+13 |
| 2024-03-18 | Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ... | Oli Scherer | -3/+3 |
| 2024-03-18 | remove retag_box_to_raw, it is no longer needed | Ralf Jung | -53/+1 |
| 2024-03-18 | add_retag: ensure box-to-raw-ptr casts are preserved for Miri | Ralf Jung | -12/+12 |
| 2024-03-18 | Auto merge of #3387 - RalfJung:bench, r=RalfJung | bors | -3/+4 |
| 2024-03-18 | rename 'invalidate' bench to something more clear | Ralf Jung | -2/+3 |
| 2024-03-18 | add exposed-provenance example where we miss UB | Ralf Jung | -0/+26 |
| 2024-03-17 | MIRI tests to confirm it's typed | Scott McMurray | -0/+78 |
| 2024-03-17 | Print a backtrace in const eval if interrupted | Ben Kimock | -15/+8 |
| 2024-03-17 | make 'invalidate' benchmark shorter | Ralf Jung | -1/+1 |
| 2024-03-17 | fix Zulip topic for PR-creation message | Ralf Jung | -1/+1 |
| 2024-03-17 | Merge from rustc | The Miri Cronjob Bot | -4/+4 |
| 2024-03-17 | Preparing for merge from rustc | The Miri Cronjob Bot | -1/+1 |
| 2024-03-17 | Auto merge of #121885 - reitermarkus:generic-nonzero-inner, r=oli-obk,wesleyw... | bors | -4/+4 |
