| Age | Commit message (Expand) | Author | Lines |
| 2023-09-30 | Auto merge of #115933 - oli-obk:simd_shuffle_const, r=workingjubilee | bors | -1/+20 |
| 2023-09-28 | Merge from rustc | The Miri Conjob Bot | -4/+16 |
| 2023-09-27 | Auto merge of #109597 - cjgillot:gvn, r=oli-obk | bors | -4/+16 |
| 2023-09-26 | Add tests for simd_shuffle{_generic} | Oli Scherer | -1/+20 |
| 2023-09-25 | fix normalization in backtrace-api tests | Ralf Jung | -5/+33 |
| 2023-09-25 | Auto merge of #3008 - oli-obk:ui_test_progress_bars, r=RalfJung | bors | -57/+48 |
| 2023-09-25 | Explain single element vector | Oli Scherer | -0/+2 |
| 2023-09-25 | remove some dead code | Ralf Jung | -0/+1 |
| 2023-09-25 | Auto merge of #3075 - eduardosm:x86-addcarry-subborrow, r=RalfJung | bors | -1753/+1840 |
| 2023-09-25 | Use `cfg` gates in x86 SSE and SSE2 tests | Eduardo Sánchez Muñoz | -1752/+1762 |
| 2023-09-25 | Implement `llvm.x86.subborrow.32` and `llvm.x86.subborrow.64` | Eduardo Sánchez Muñoz | -0/+42 |
| 2023-09-25 | Fix the carry semantics of `_addcarry_u32` and `_addcarry_u64` | Eduardo Sánchez Muñoz | -2/+14 |
| 2023-09-25 | Implement `llvm.x86.addcarry.32` by refactoring `llvm.x86.addcarry.64` to mak... | Eduardo Sánchez Muñoz | -0/+23 |
| 2023-09-24 | Put AVX512 tests together | Eduardo Sánchez Muñoz | -126/+85 |
| 2023-09-24 | Complete miri test. | Camille GILLOT | -3/+16 |
| 2023-09-24 | Do not assume anything about repeated reification of generic functions. | Camille GILLOT | -1/+0 |
| 2023-09-23 | Merge from rustc | The Miri Conjob Bot | -25/+25 |
| 2023-09-23 | Auto merge of #3072 - eduardosm:llvm.ctpop, r=saethlin | bors | -0/+257 |
| 2023-09-22 | Bump ui_test crate | Oli Scherer | -29/+31 |
| 2023-09-22 | Allow limiting the number of threads running in parallel | Oli Scherer | -1/+5 |
| 2023-09-22 | Move `fail` tests that need dependencies into their own folder, so that wasm ... | Oli Scherer | -0/+6 |
| 2023-09-22 | Bump ui test crate | Oli Scherer | -43/+20 |
| 2023-09-21 | adjust how closure/generator types and rvalues are printed | Ralf Jung | -25/+25 |
| 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 |