| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-03-09 | simplify no-std tests | Ralf Jung | -8/+4 | |
| set panic=abort so that we do not need this eh_personality thing | ||||
| 2024-03-06 | Auto merge of #3340 - RalfJung:no-disable-abi-check, r=oli-obk | bors | -35/+5 | |
| remove the ability to disable ABI checking This got deprecated in https://github.com/rust-lang/miri/pull/3071, about half a year ago. `@rust-lang/miri` I think it's fine to remove this now. | ||||
| 2024-03-04 | disable diagnostic deduplication | Ralf Jung | -0/+16 | |
| 2024-03-02 | Tree Borrows: print where the forbidden access happens; make tag tracking ↵ | Ralf Jung | -94/+94 | |
| less verbose | ||||
| 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 | |
| Rollup of 4 pull requests Successful merges: - #121598 (rename 'try' intrinsic to 'catch_unwind') - #121639 (Update books) - #121648 (Update Vec and String `{from,into}_raw_parts`-family docs) - #121651 (Properly emit `expected ;` on `#[attr] expr`) r? `@ghost` `@rustbot` modify labels: rollup | ||||
| 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 | |
| check that simd_insert/extract indices are in-bounds Fixes https://github.com/rust-lang/rust/issues/77477 r? `@oli-obk` | ||||
| 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 | |
| also introduce ptr::dangling matching NonNull::dangling | ||||
| 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 | |
| Rename `static_mut_ref` lint to `static_mut_refs`. | ||||
| 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 ↵ | Ralf Jung | -0/+51 | |
| stored value matches | ||||
| 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 | |
| This reverts commit 6d2b84b3ed7848fd91b8d6151d4451b3103ed816, reversing changes made to 73bc12199ea8c7651ed98b069c0dd6b0bb5fabcf. | ||||
| 2024-01-18 | Remove no-longer-needed `allow(dead_code)` from Miri tests | Jake Goulding | -2/+2 | |
| `repr(transparent)` now silences the lint. | ||||
| 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 | |
| Disallow reference to `static mut` and adding `static_mut_ref` lint Closes #114447 r? `@scottmcm` | ||||
| 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 | |
| Merge `unused_tuple_struct_fields` into `dead_code` This implicitly upgrades the lint from `allow` to `warn` and places it into the `unused` lint group. [Discussion on Zulip](https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/Moving.20.60unused_tuple_struct_fields.60.20from.20allow.20to.20warn) | ||||
| 2024-01-04 | Rollup merge of #119574 - RalfJung:miri, r=oli-obk | Matthias Krüger | -121/+22 | |
| Miri subtree update r? `@ghost` | ||||
| 2024-01-02 | Allow unused tuple struct fields in Miri tests | Jake Goulding | -9/+9 | |
| Otherwise the newly-detected dead code causes new output | ||||
| 2023-12-30 | Auto merge of #3239 - beepster4096:windows_sys_tests, r=RalfJung | bors | -121/+0 | |
| Use `windows-sys` in windows tests This PR adds `windows-sys` to `test_dependencies` so that we don't have to write out windows api bindings for each test. | ||||
| 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 | |
| Add an assume that the index is inbounds to slice::get_unchecked Fixes #116878 | ||||
| 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 | |
| miri: support 'promising' alignment for symbolic alignment check Then use that ability in `slice::align_to`, so that even with `-Zmiri-symbolic-alignment-check`, it no longer has to return spuriously empty "middle" parts. Fixes https://github.com/rust-lang/miri/issues/3068 | ||||
| 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 | |
| Miri subtree update r? `@ghost` | ||||
