| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-12-23 | Give `DiagnosticBuilder` a default type. | Nicholas Nethercote | -4/+1 |
| 2023-12-15 | Don't pass lint back out of lint decorator | Michael Goulet | -1/+1 |
| 2023-12-07 | also print 'immutable' flag | Ralf Jung | -25/+12 |
| 2023-12-07 | ctfe interpreter: extend provenance so that it can track whether a pointer is... | Ralf Jung | -30/+109 |
| 2023-12-02 | Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`. | Nicholas Nethercote | -2/+2 |
| 2023-11-26 | rustc: `hir().local_def_id_to_hir_id()` -> `tcx.local_def_id_to_hir_id()` cle... | Vadim Petrochenkov | -1/+1 |
| 2023-11-19 | Expand Miri's BorTag GC to a Provenance GC | Ben Kimock | -7/+0 |
| 2023-11-16 | Let Miri see the AllocId for all TyCtxt allocations | Ben Kimock | -0/+7 |
| 2023-10-16 | Auto merge of #114330 - RalfJung:dagling-ptr-deref, r=oli-obk | bors | -10/+25 |
| 2023-10-16 | Auto merge of #116724 - RalfJung:alloc-bytes, r=oli-obk | bors | -13/+5 |
| 2023-10-15 | more precise error for 'based on misaligned pointer' case | Ralf Jung | -8/+18 |
| 2023-10-15 | place evaluation: require the original pointer to be aligned if an access hap... | Ralf Jung | -2/+9 |
| 2023-10-15 | don't UB on dangling ptr deref, instead check inbounds on projections | Ralf Jung | -2/+0 |
| 2023-10-14 | interpret: clean up AllocBytes | Ralf Jung | -13/+5 |
| 2023-10-13 | Format all the let chains in compiler | Michael Goulet | -1/+3 |
| 2023-09-30 | dont call mir.post_mono_checks in codegen | Ralf Jung | -15/+0 |
| 2023-09-20 | Auto merge of #115827 - eduardosm:miri-sse-reduce-code-dup, r=RalfJung | bors | -4/+18 |
| 2023-09-19 | move ConstValue into mir | Ralf Jung | -159/+5 |
| 2023-09-18 | Auto merge of #115748 - RalfJung:post-mono, r=oli-obk | bors | -17/+63 |
| 2023-09-18 | Remove more unused `Lift` impls. | Nicholas Nethercote | -1/+1 |
| 2023-09-18 | Remove unused `Lift` derives. | Nicholas Nethercote | -1/+1 |
| 2023-09-16 | miri: reduce code duplication in SSE/SSE2 bin_op_* functions | Eduardo Sánchez Muñoz | -4/+8 |
| 2023-09-14 | don't point at const usage site for resolution-time errors | Ralf Jung | -13/+40 |
| 2023-09-14 | move required_consts check to general post-mono-check function | Ralf Jung | -8/+27 |
| 2023-09-14 | fix clippy (and MIR printing) handling of ConstValue::Indirect slices | Ralf Jung | -1/+52 |
| 2023-09-14 | don't force all slice-typed ConstValue to be ConstValue::Slice | Ralf Jung | -18/+7 |
| 2023-09-14 | make it more clear which functions create fresh AllocId | Ralf Jung | -7/+8 |
| 2023-09-14 | cleanup op_to_const a bit; rename ConstValue::ByRef → Indirect | Ralf Jung | -6/+8 |
| 2023-09-14 | use AllocId instead of Allocation in ConstValue::ByRef | Ralf Jung | -3/+7 |
| 2023-09-13 | rustc_middle: add `Scalar::from_i8` and `Scalar::from_i16` and use them in Miri | Eduardo Sánchez Muñoz | -0/+10 |
| 2023-09-13 | make the eval() functions on our const types return the resulting value | Ralf Jung | -0/+2 |
| 2023-09-09 | give extra context to ABI mismatch errors | Ralf Jung | -7/+12 |
| 2023-09-04 | interpret: make MemPlace, Place, Operand types private to the interpreter | Ralf Jung | -1/+1 |
| 2023-08-30 | move marking-locals-live out of push_stack_frame, so it happens with argument... | Ralf Jung | -0/+2 |
| 2023-08-09 | Rollup merge of #114587 - ouz-a:smir_allocation, r=oli-obk | Matthias Krüger | -0/+3 |
| 2023-08-09 | Convert Const to Allocation in smir | ouz-a | -0/+3 |
| 2023-08-08 | interpret: remove incomplete protection against invalid where clauses | Ralf Jung | -2/+0 |
| 2023-08-03 | Rollup merge of #114372 - RalfJung:const-pointer-as-int, r=oli-obk | Matthias Krüger | -60/+77 |
| 2023-08-03 | Rollup merge of #114363 - RalfJung:interpret-not-miri, r=jackh726 | Matthias Krüger | -2/+2 |
| 2023-08-02 | const validation: point at where we found a pointer but expected an integer | Ralf Jung | -60/+77 |
| 2023-08-02 | avoid 'miri' when refering to the shared interpreter | Ralf Jung | -2/+2 |
| 2023-08-01 | properly track why we checked whether a pointer is in-bounds | Ralf Jung | -2/+2 |
| 2023-07-30 | inline format!() args up to and including rustc_middle | Matthias Krüger | -13/+9 |
| 2023-07-27 | Remove `constness` from `ParamEnv` | Deadbeef | -7/+2 |
| 2023-07-25 | Auto merge of #113393 - compiler-errors:next-solver-unsize-rhs, r=lcnr | bors | -3/+1 |
| 2023-07-25 | Make everything builtin! | Michael Goulet | -3/+1 |
| 2023-07-25 | add some sanity checks in write_immediate_no_validate | Ralf Jung | -1/+9 |
| 2023-07-25 | interpret: refactor projection code to work on a common trait, and use that f... | Ralf Jung | -2/+6 |
| 2023-07-24 | interpret: support projecting into Place::Local without force_allocation | Ralf Jung | -3/+2 |
| 2023-07-21 | Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk" | David Tolnay | -8/+23 |
