| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-10-16 | Auto merge of #114330 - RalfJung:dagling-ptr-deref, r=oli-obk | bors | -311/+297 |
| 2023-10-16 | Auto merge of #116724 - RalfJung:alloc-bytes, r=oli-obk | bors | -11/+0 |
| 2023-10-15 | separate bounds-check from alignment check | Ralf Jung | -112/+76 |
| 2023-10-15 | more precise error for 'based on misaligned pointer' case | Ralf Jung | -14/+24 |
| 2023-10-15 | avoid computing misalignment if we won't act on it | Ralf Jung | -6/+11 |
| 2023-10-15 | place evaluation: require the original pointer to be aligned if an access hap... | Ralf Jung | -200/+170 |
| 2023-10-15 | avoid re-checking the offset while iterating an array/slice | Ralf Jung | -15/+54 |
| 2023-10-15 | don't UB on dangling ptr deref, instead check inbounds on projections | Ralf Jung | -51/+49 |
| 2023-10-15 | Auto merge of #116688 - compiler-errors:rustfmt-up, r=WaffleLapkin,Nilstrieb | bors | -1/+3 |
| 2023-10-14 | Rollup merge of #116576 - eduardosm:const-eval-wasm-target-features, r=RalfJung | Guillaume Gomez | -4/+6 |
| 2023-10-14 | const-eval: allow calling functions with targat features disabled at compile ... | Eduardo Sánchez Muñoz | -4/+6 |
| 2023-10-14 | interpret: clean up AllocBytes | Ralf Jung | -11/+0 |
| 2023-10-14 | Auto merge of #115524 - RalfJung:misalign, r=wesleywiser | bors | -44/+21 |
| 2023-10-13 | Format all the let chains in compiler | Michael Goulet | -1/+3 |
| 2023-10-13 | add some comments and some cleanup around Miri intptrcast | Ralf Jung | -0/+10 |
| 2023-10-09 | float-to-float casts also have non-deterministic NaN results | Ralf Jung | -7/+29 |
| 2023-10-09 | ensure unary minus propagates NaN payloads exactly | Ralf Jung | -0/+1 |
| 2023-10-08 | miri: make NaN generation non-deterministic | Ralf Jung | -5/+24 |
| 2023-10-06 | Rollup merge of #116277 - RalfJung:post-mono, r=oli-obk | Jubilee | -13/+20 |
| 2023-10-03 | Auto merge of #116376 - matthiaskrgr:rollup-b3d14gq, r=matthiaskrgr | bors | -20/+30 |
| 2023-10-03 | print normalized ty | ouz-a | -20/+30 |
| 2023-10-02 | change is_subtype to relate_types | ouz-a | -2/+2 |
| 2023-10-02 | Add docs, remove code, change subtyper code | ouz-a | -4/+2 |
| 2023-10-02 | subtyping_projections | ouz-a | -0/+4 |
| 2023-09-30 | dont call mir.post_mono_checks in codegen | Ralf Jung | -13/+20 |
| 2023-09-28 | Skip reinterning if nothing changed | Oli Scherer | -1/+3 |
| 2023-09-28 | Strip `OpaqueCast` during `RevealAll`. | Oli Scherer | -1/+1 |
| 2023-09-26 | const-eval: make misalignment a hard error | Ralf Jung | -44/+21 |
| 2023-09-26 | subst -> instantiate | lcnr | -3/+4 |
| 2023-09-23 | Remove GeneratorWitness and rename GeneratorWitnessMIR. | Camille GILLOT | -4/+1 |
| 2023-09-21 | Auto merge of #116010 - RalfJung:more-typed-immediates, r=oli-obk | bors | -175/+181 |
| 2023-09-21 | Rollup merge of #115972 - RalfJung:const-consistency, r=oli-obk | Guillaume Gomez | -2/+2 |
| 2023-09-21 | rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::Const | Ralf Jung | -2/+2 |
| 2023-09-21 | try to avoid some layout_of calls | Ralf Jung | -35/+34 |
| 2023-09-20 | stronger consistency check in ImmTy::from_immediate | Ralf Jung | -3/+11 |
| 2023-09-20 | interpret: less debug-printing of types | Ralf Jung | -39/+29 |
| 2023-09-20 | interpret: more consistently use ImmTy in operators and casts | Ralf Jung | -113/+122 |
| 2023-09-19 | adjust constValue::Slice to work for arbitrary slice types | Ralf Jung | -18/+22 |
| 2023-09-19 | move ConstValue into mir | Ralf Jung | -17/+13 |
| 2023-09-18 | Auto merge of #115748 - RalfJung:post-mono, r=oli-obk | bors | -79/+32 |
| 2023-09-15 | make interpreter type Debug impl independent of Ty debug impl | Ralf Jung | -4/+17 |
| 2023-09-14 | don't point at const usage site for resolution-time errors | Ralf Jung | -12/+2 |
| 2023-09-14 | move required_consts check to general post-mono-check function | Ralf Jung | -72/+35 |
| 2023-09-14 | make it more clear which functions create fresh AllocId | Ralf Jung | -10/+7 |
| 2023-09-14 | cleanup op_to_const a bit; rename ConstValue::ByRef → Indirect | Ralf Jung | -1/+1 |
| 2023-09-14 | use AllocId instead of Allocation in ConstValue::ByRef | Ralf Jung | -8/+11 |
| 2023-09-13 | Auto merge of #115820 - matthiaskrgr:rollup-kyglvpu, r=matthiaskrgr | bors | -32/+7 |
| 2023-09-12 | Introduce Machine::POST_MONO_CHECKS. | Camille GILLOT | -4/+9 |
| 2023-09-12 | add helper method for finding the one non-1-ZST field | Ralf Jung | -32/+7 |
| 2023-09-12 | Auto merge of #115705 - cjgillot:const-prop-aggregate, r=oli-obk | bors | -5/+6 |
