| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-09-21 | Implement `llvm.ctpop.v*` intrinsics | Eduardo Sánchez Muñoz | -0/+257 |
| 2023-09-21 | deprecate -Zmiri-disable-abi-check | Ralf Jung | -0/+8 |
| 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-12 | Auto merge of #3055 - eduardosm:x86-sse2-intrinsics, r=RalfJung | bors | -2/+849 |
| 2023-09-12 | Implement some `llvm.x86.sse2.*` intrinsics and add tests | Eduardo Sánchez Muñoz | -0/+828 |
| 2023-09-12 | Ignore all archs except x86 and x86_64 in SSE tests | Eduardo Sánchez Muñoz | -2/+21 |
| 2023-09-12 | extra ABI tests, in particular for DispatchFromDyn | Ralf Jung | -6/+16 |
| 2023-09-12 | fmt | The Miri Conjob Bot | -1/+3 |
| 2023-09-09 | implement and test ABI compatibility for transparent wrappers around NPO types | Ralf Jung | -5/+8 |
| 2023-09-09 | implement and test fn ptr ABI compatibility rules | Ralf Jung | -0/+5 |
| 2023-09-09 | give extra context to ABI mismatch errors | Ralf Jung | -0/+12 |
| 2023-09-09 | interpret: change ABI-compat test to be type-based, so the test is consistent... | Ralf Jung | -18/+21 |
| 2023-09-06 | miri: catch function calls where the argument is caller-invalid / the return ... | Ralf Jung | -4/+101 |
| 2023-09-02 | Rollup merge of #115443 - epage:os_str, r=cuviper | Matthias Krüger | -1/+1 |
| 2023-09-01 | fix(std): Rename os_str_bytes to encoded_bytes | Ed Page | -1/+1 |
| 2023-08-31 | miri ABI check: fix handling of 1-ZST; don't accept sign differences | Ralf Jung | -11/+15 |
| 2023-08-31 | update abi_compat.rs | Ralf Jung | -12/+3 |
| 2023-08-31 | more ABI compat tests | Ralf Jung | -12/+48 |
| 2023-08-31 | fmt | Ralf Jung | -1/+1 |
| 2023-08-31 | Merge from rustc | Ralf Jung | -12/+117 |
| 2023-08-31 | Merge from rustc | The Miri Conjob Bot | -2/+26 |
| 2023-08-30 | miri function ABI check: specifically look for repr(transparent) | Ralf Jung | -0/+35 |
| 2023-08-30 | organize failing ABI compat tests and add some more | Ralf Jung | -10/+58 |
| 2023-08-30 | interpret: make sure we accept transparent newtypes as ABI-compatible | Ralf Jung | -1/+23 |
| 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-30 | interpret: fix projecting into an unsized field of a local | Ralf Jung | -0/+24 |
| 2023-08-29 | fmt | The Miri Conjob Bot | -4/+6 |
| 2023-08-29 | Merge from rustc | The Miri Conjob Bot | -2/+28 |
| 2023-08-28 | Auto merge of #115182 - RalfJung:abi-compat-sign, r=b-naber | bors | -0/+27 |
| 2023-08-28 | add tests for track_caller in closures and generators | Ralf Jung | -5/+148 |
| 2023-08-28 | move basic track_caller test into their own fn | Ralf Jung | -36/+39 |
| 2023-08-28 | Auto merge of #3039 - RalfJung:catch_panic, r=RalfJung | bors | -17/+19 |
| 2023-08-28 | tests/catch_panic: make output easier to interpret | Ralf Jung | -17/+19 |
| 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 | miri ABI compatibility check: accept u32 and i32 | Ralf Jung | -0/+27 |
| 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 | -14/+14 |
| 2023-08-22 | respect CARGO_EXTRA_FLAGS in more places | Ralf Jung | -3/+10 |
| 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 | -35/+35 |
| 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 |
