| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2024-02-24 | Rollup merge of #121522 - RalfJung:insert-extract-boundscheck, r=oli-obk | Matthias Krüger | -0/+23 |
| 2024-02-23 | interpret: do no ICE on OOB shuffle/insert/extract indices | Ralf Jung | -0/+23 |
| 2024-02-23 | Get rid of some `#[allow(static_mut_refs)]` | Pavel Grigorenko | -3/+3 |
| 2024-02-21 | rename ptr::invalid -> ptr::without_provenance | Ralf Jung | -5/+5 |
| 2024-02-18 | Dyn erase at call site | David Thomas | -2/+2 |
| 2024-02-18 | Reduce monomorphisation bloat in small_c_string | David Thomas | -0/+1 |
| 2024-02-18 | Improve wording of static_mut_ref | Obei Sideg | -2/+2 |
| 2024-02-13 | Merge from rustc | The Miri Conjob Bot | -0/+2 |
| 2024-02-12 | Allow invalid ref casting in Miri unaligned_ref_addr_of test | Urgau | -0/+2 |
| 2024-02-12 | comment tweaks | Ralf Jung | -3/+3 |
| 2024-02-12 | Merge from rustc | Ralf Jung | -0/+51 |
| 2024-02-10 | interpret/write_discriminant: when encoding niched variant, ensure the stored... | Ralf Jung | -0/+51 |
| 2024-02-08 | fmt | The Miri Conjob Bot | -2/+1 |
| 2024-02-07 | Update tests | r0cky | -0/+7 |
| 2024-02-06 | miri: fix ICE with symbolic alignment check on extern static | Ralf Jung | -0/+26 |
| 2024-01-22 | Revert "Auto merge of #118133 - Urgau:stabilize_trait_upcasting, r=WaffleLapkin" | Oli Scherer | -0/+3 |
| 2024-01-18 | Remove no-longer-needed `allow(dead_code)` from Miri tests | Jake Goulding | -2/+2 |
| 2024-01-11 | std: update miri tests | joboet | -24/+24 |
| 2024-01-09 | Rollup merge of #117556 - obeis:static-mut-ref-lint, r=davidtwco | Guillaume Gomez | -0/+2 |
| 2024-01-07 | Update test for `E0796` and `static_mut_ref` lint | Obei Sideg | -0/+2 |
| 2024-01-06 | fmt | The Miri Conjob Bot | -1/+6 |
| 2024-01-05 | Auto merge of #118297 - shepmaster:warn-dead-tuple-fields, r=WaffleLapkin | bors | -9/+9 |
| 2024-01-04 | Rollup merge of #119574 - RalfJung:miri, r=oli-obk | Matthias Krüger | -121/+22 |
| 2024-01-02 | Allow unused tuple struct fields in Miri tests | Jake Goulding | -9/+9 |
| 2023-12-30 | Auto merge of #3239 - beepster4096:windows_sys_tests, r=RalfJung | bors | -121/+0 |
| 2023-12-27 | fast_math: detect non-finite results | Ralf Jung | -0/+22 |
| 2023-12-26 | custom mir: make it clear what the return block is | Ralf Jung | -30/+30 |
| 2023-12-25 | have windows tests use windows-sys | DrMeepster | -121/+0 |
| 2023-12-17 | do not allow ABI mismatches inside repr(C) types | Ralf Jung | -0/+33 |
| 2023-12-12 | also add a Miri test | Ralf Jung | -0/+43 |
| 2023-12-05 | fix miri_promise_symbolic_alignment for huge alignments | Ralf Jung | -0/+22 |
| 2023-12-05 | Merge from rustc | The Miri Conjob Bot | -19/+14 |
| 2023-12-04 | fmt | The Miri Conjob Bot | -10/+2 |
| 2023-12-04 | Auto merge of #116915 - bend-n:unwet, r=saethlin | bors | -19/+14 |
| 2023-12-04 | use `assume(idx < self.len())` in `[T]::get_unchecked` | bendn | -19/+14 |
| 2023-12-03 | Auto merge of #117840 - RalfJung:miri-promise-align, r=cjgillot | bors | -0/+83 |
| 2023-12-03 | miri: support 'promising' alignment for symbolic alignment check | Ralf Jung | -0/+83 |
| 2023-12-03 | Auto merge of #118567 - RalfJung:miri, r=RalfJung | bors | -10/+14 |
