| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-09-25 | Auto merge of #3008 - oli-obk:ui_test_progress_bars, r=RalfJung | bors | -1565/+0 |
| 2023-09-23 | Merge from rustc | The Miri Conjob Bot | -25/+25 |
| 2023-09-22 | Move `fail` tests that need dependencies into their own folder, so that wasm ... | Oli Scherer | -1565/+0 |
| 2023-09-21 | adjust how closure/generator types and rvalues are printed | Ralf Jung | -25/+25 |
| 2023-09-21 | deprecate -Zmiri-disable-abi-check | Ralf Jung | -0/+6 |
| 2023-09-19 | Auto merge of #3054 - Vanille-N:spurious-fail, r=RalfJung | bors | -2/+2 |
| 2023-09-19 | Issue of the current model: spurious reads are not possible | Neven Villani | -2/+2 |
| 2023-09-14 | don't point at const usage site for resolution-time errors | Ralf Jung | -4/+4 |
| 2023-09-09 | give extra context to ABI mismatch errors | Ralf Jung | -0/+12 |
| 2023-09-06 | miri: catch function calls where the argument is caller-invalid / the return ... | Ralf Jung | -4/+101 |
| 2023-08-31 | Merge from rustc | Ralf Jung | -10/+89 |
| 2023-08-31 | Merge from rustc | The Miri Conjob Bot | -2/+2 |
| 2023-08-30 | miri function ABI check: specifically look for repr(transparent) | Ralf Jung | -0/+31 |
| 2023-08-30 | organize failing ABI compat tests and add some more | Ralf Jung | -10/+58 |
| 2023-08-30 | storage_live: avoid computing the layout unless necessary | Ralf Jung | -4/+4 |
| 2023-08-30 | move marking-locals-live out of push_stack_frame, so it happens with argument... | Ralf Jung | -5/+5 |
| 2023-08-29 | Merge from rustc | The Miri Conjob Bot | -2/+1 |
| 2023-08-28 | Rollup merge of #115280 - RalfJung:panic-cleanup-triple-backtrace, r=Amanieu | Matthias Krüger | -2/+1 |
| 2023-08-27 | avoid triple-backtrace due to panic-during-cleanup | Ralf Jung | -2/+1 |
| 2023-08-26 | Merge from rustc | The Miri Conjob Bot | -7/+76 |
| 2023-08-25 | Auto merge of #115184 - saethlin:local-allocated-spans, r=RalfJung | bors | -5/+74 |
| 2023-08-25 | Record allocation spans inside force_allocation | Ben Kimock | -5/+74 |
| 2023-08-24 | when terminating during unwinding, show the reason why | Ralf Jung | -2/+2 |
| 2023-08-22 | fix some bad regex capture group references in test normalization | Ralf Jung | -12/+12 |
| 2023-08-20 | interpret: have assert_* intrinsics call the panic machinery instead of a dir... | Ralf Jung | -13/+50 |
| 2023-08-20 | interpret/miri: call panic_cannot_unwind lang item instead of hard-coding the... | Ralf Jung | -39/+119 |
| 2023-08-19 | custom_mir: change Call() terminator syntax to something more readable | Ralf Jung | -34/+34 |
| 2023-08-16 | on out-of-bounds error, show where the allocation was created | Ralf Jung | -7/+45 |
| 2023-08-16 | Auto merge of #2940 - saethlin:use-after-free-spans, r=RalfJung | bors | -14/+169 |
| 2023-08-15 | C string function shims: consistently treat "invalid" pointers as UB | Ralf Jung | -6/+34 |
| 2023-08-11 | Include spans in use-after-free diagnostics | Ben Kimock | -14/+169 |
| 2023-08-11 | Remove `float_to_int_unchecked` and inline it into its call sites | Eduardo Sánchez Muñoz | -2/+2 |
| 2023-08-11 | Add checked float-to-int helper function | Eduardo Sánchez Muñoz | -2/+2 |
| 2023-08-07 | Auto merge of #114560 - RalfJung:miri, r=RalfJung | bors | -115/+253 |
| 2023-08-06 | Add a new `compare_bytes` intrinsic instead of calling `memcmp` directly | Scott McMurray | -4/+4 |
| 2023-08-05 | tree borrows: consider some retags as writes for the purpose of data races | Ralf Jung | -113/+138 |
| 2023-08-05 | fix return place protection when the place is given as a local | Ralf Jung | -0/+69 |
| 2023-08-04 | Merge from rustc | The Miri Conjob Bot | -4/+4 |
| 2023-08-03 | Merge from rustc | The Miri Conjob Bot | -50/+80 |
| 2023-08-02 | const validation: point at where we found a pointer but expected an integer | Ralf Jung | -4/+4 |
| 2023-08-02 | Auto merge of #112431 - Urgau:cast_ref_to_mut_improvments, r=Nilstrieb | bors | -0/+4 |
| 2023-08-02 | Auto merge of #114333 - RalfJung:dangling-ptr-offset, r=oli-obk | bors | -50/+76 |
| 2023-08-02 | Merge from rustc | The Miri Conjob Bot | -17/+34 |
| 2023-08-01 | properly track why we checked whether a pointer is in-bounds | Ralf Jung | -50/+76 |
| 2023-08-01 | Auto merge of #112849 - m-ou-se:panic-message-format, r=thomcc | bors | -17/+34 |
| 2023-07-31 | add some interesting tests for alignment corner cases | Ralf Jung | -0/+44 |
| 2023-07-30 | Auto merge of #2997 - RalfJung:test-utils, r=RalfJung | bors | -2/+2 |
| 2023-07-30 | refactor tests/utils a bit, and move some FS functions there | Ralf Jung | -2/+2 |
| 2023-07-29 | Auto merge of #114211 - RalfJung:miri, r=RalfJung | bors | -30/+30 |
| 2023-07-29 | Adjust some tests for invalid_reference_casting improvements | Urgau | -0/+4 |
