| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-09-21 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 |
| 2023-09-21 | try to avoid some layout_of calls | Ralf Jung | -34/+33 |
| 2023-09-20 | interpret: more consistently use ImmTy in operators and casts | Ralf Jung | -65/+65 |
| 2023-09-20 | Auto merge of #115870 - RalfJung:const-value-slice, r=oli-obk | bors | -1/+1 |
| 2023-09-20 | Auto merge of #115975 - mkroening:reduce-atty, r=davidtwco | bors | -1/+1 |
| 2023-09-20 | Auto merge of #115827 - eduardosm:miri-sse-reduce-code-dup, r=RalfJung | bors | -521/+318 |
| 2023-09-19 | adjust constValue::Slice to work for arbitrary slice types | Ralf Jung | -1/+1 |
| 2023-09-19 | chore(miri): bump env_logger to 0.10 | Martin Kröning | -1/+1 |
| 2023-09-19 | Auto merge of #3054 - Vanille-N:spurious-fail, r=RalfJung | bors | -146/+917 |
| 2023-09-19 | Issue of the current model: spurious reads are not possible | Neven Villani | -146/+917 |
| 2023-09-19 | Merge from rustc | The Miri Conjob Bot | -6/+5 |
| 2023-09-19 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 |
| 2023-09-18 | Prototype using const generic for simd_shuffle IDX array | Oli Scherer | -2/+36 |
| 2023-09-16 | miri: reduce code duplication in SSE2 pmulh.w and pmulhu.w | Eduardo Sánchez Muñoz | -27/+27 |
| 2023-09-16 | miri: reduce code duplication in SSE2 pavg.b and pavg.w | Eduardo Sánchez Muñoz | -40/+54 |
| 2023-09-16 | miri: fix comment | Eduardo Sánchez Muñoz | -1/+1 |
| 2023-09-16 | miri: reduce code duplication in SSE2 cvtpd2ps/cvtps2pd | Eduardo Sánchez Muñoz | -35/+14 |
| 2023-09-16 | miri: reduce code duplication in SSE/SSE2 cvt{,t}s{s,d}2si{,64} | Eduardo Sánchez Muñoz | -62/+14 |
| 2023-09-16 | miri: use `copy_op` in `unary_op_ss` | Eduardo Sánchez Muñoz | -4/+5 |
| 2023-09-16 | miri: reduce code duplication in SSE cvtsi2ss/cvtsi642ss | Eduardo Sánchez Muñoz | -37/+12 |
| 2023-09-16 | miri: reduce code duplication in SSE/SSE2 bin_op_* functions | Eduardo Sánchez Muñoz | -306/+186 |
| 2023-09-16 | triagebot exclude_labels -> exclude_titles | Peter Jaszkowiak | -4/+4 |
| 2023-09-15 | Merge from rustc | The Miri Conjob Bot | -6/+6 |
| 2023-09-15 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 |
| 2023-09-14 | don't point at const usage site for resolution-time errors | Ralf Jung | -4/+4 |
| 2023-09-14 | move required_consts check to general post-mono-check function | Ralf Jung | -2/+1 |
| 2023-09-14 | make it more clear which functions create fresh AllocId | Ralf Jung | -6/+6 |
| 2023-09-13 | rustc_middle: add `Scalar::from_i8` and `Scalar::from_i16` and use them in Miri | Eduardo Sánchez Muñoz | -9/+5 |
| 2023-09-12 | Auto merge of #3055 - eduardosm:x86-sse2-intrinsics, r=RalfJung | bors | -57/+1894 |
| 2023-09-12 | Implement some `llvm.x86.sse2.*` intrinsics and add tests | Eduardo Sánchez Muñoz | -51/+1869 |
| 2023-09-12 | Ignore all archs except x86 and x86_64 in SSE tests | Eduardo Sánchez Muñoz | -2/+21 |
| 2023-09-12 | Fix a few typos in shims/x86/sse.rs comments | Eduardo Sánchez Muñoz | -4/+4 |
| 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-12 | Merge from rustc | The Miri Conjob Bot | -35/+163 |
| 2023-09-12 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 |
| 2023-09-12 | Auto merge of #115699 - RalfJung:interpret-abi-compat, r=oli-obk | bors | -29/+60 |
| 2023-09-11 | enforce no-merge policy via triagebot | Ralf Jung | -1/+4 |
| 2023-09-11 | add subtree-sync label to rustc update PRs | Peter Jaszkowiak | -1/+5 |
| 2023-09-10 | Remove EarlyErrorHandler argument from after_analysis callback | bjorn3 | -2/+2 |
| 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 | -8/+28 |
| 2023-09-09 | interpret: change ABI-compat test to be type-based, so the test is consistent... | Ralf Jung | -18/+21 |
| 2023-09-08 | Use `#!/usr/bin/env` shebang | Nilstrieb | -1/+1 |
| 2023-09-06 | miri: catch function calls where the argument is caller-invalid / the return ... | Ralf Jung | -4/+101 |
| 2023-09-06 | fmt | Ralf Jung | -13/+9 |
| 2023-09-06 | Merge from rustc | Ralf Jung | -92/+86 |
| 2023-09-06 | Preparing for merge from rustc | Ralf Jung | -1/+1 |
| 2023-09-06 | give josh more time to start | Ralf Jung | -2/+2 |
