| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-09-07 | Auto merge of #101522 - oli-obk:miriup, r=oli-obk | bors | -1/+3 |
| 2022-09-07 | Update miri submodule | Oli Scherer | -1/+3 |
| 2022-09-07 | Auto merge of #98332 - oli-obk:assume, r=wesleywiser | bors | -19/+50 |
| 2022-09-06 | Update docs | Oli Scherer | -2/+2 |
| 2022-09-06 | Generalize the Assume intrinsic statement to a general Intrinsic statement | Oli Scherer | -32/+50 |
| 2022-09-06 | Lower the assume intrinsic to a MIR statement | Oli Scherer | -0/+13 |
| 2022-09-06 | Add more size assertions for MIR types. | Nicholas Nethercote | -8/+14 |
| 2022-09-01 | tracing::instrument cleanup | Oli Scherer | -14/+8 |
| 2022-08-31 | Fix a bunch of typo | Dezhi Wu | -4/+4 |
| 2022-08-30 | Auto merge of #99102 - JakobDegen:reorder-generators, r=oli-obk | bors | -55/+102 |
| 2022-08-30 | Refactor MIR phases | Jakob Degen | -55/+102 |
| 2022-08-30 | Rollup merge of #101101 - RalfJung:read-pointer-as-bytes, r=oli-obk | Dylan DPC | -191/+180 |
| 2022-08-29 | Rollup merge of #99027 - tmiasko:basic-blocks, r=oli-obk | Matthias Krüger | -19/+14 |
| 2022-08-28 | improve OFFSET_IS_ADDR docs | Ralf Jung | -2/+6 |
| 2022-08-27 | interpret: make read-pointer-as-bytes *always* work in Miri | Ralf Jung | -96/+84 |
| 2022-08-27 | interpret: rename relocation → provenance | Ralf Jung | -114/+111 |
| 2022-08-26 | remove now-unused ScalarMaybeUninit | Ralf Jung | -134/+1 |
| 2022-08-26 | make read_immediate error immediately on uninit, so ImmTy can carry initializ... | Ralf Jung | -17/+8 |
| 2022-08-26 | remove some now-unnecessary parameters from check_bytes | Ralf Jung | -19/+4 |
| 2022-08-26 | Replace `Body::basic_blocks()` with field access | Tomasz Miąsko | -19/+14 |
| 2022-08-25 | Inline trivial `From<Local> for Place<'_>` impl | Tomasz Miąsko | -0/+1 |
| 2022-08-23 | Remove support for adding statement to all successors | Tomasz Miąsko | -17/+0 |
| 2022-08-23 | Elide storage markers when elaborating deref projections | Tomasz Miąsko | -3/+6 |
| 2022-08-19 | use <[u8]>::escape_ascii instead of core::ascii::escape_default | KaDiWa | -9/+1 |
| 2022-08-19 | Rollup merge of #100081 - RalfJung:unused-unsafe-in-unsafe-fn, r=jackh726 | Dylan DPC | -20/+2 |
| 2022-08-18 | Rollup merge of #99966 - RalfJung:try-dont-panic, r=lcnr | Matthias Krüger | -1/+3 |
| 2022-08-09 | Add option to `mir::MutVisitor` to not invalidate CFG. | Jakob Degen | -63/+92 |
| 2022-08-04 | Rollup merge of #100095 - jackh726:early-binder, r=lcnr | Matthias Krüger | -0/+6 |
| 2022-08-03 | Add bound_impl_subject and bound_return_ty | Jack Huey | -0/+6 |
| 2022-08-02 | Avoid invalidating the CFG in MirPatch. | Jakob Degen | -35/+30 |
| 2022-08-02 | remove some unused code and types | Ralf Jung | -20/+2 |
| 2022-08-01 | Rollup merge of #100003 - nnethercote:improve-size-assertions, r=lqd | Matthias Krüger | -17/+12 |
| 2022-08-01 | Improve size assertions. | Nicholas Nethercote | -17/+12 |
| 2022-07-30 | avoid assertion failures in try_to_scalar_int | Ralf Jung | -1/+3 |
| 2022-07-30 | Use LocalDefId for closures more | Cameron Steffen | -47/+45 |
| 2022-07-28 | Use line numbers relative to function in mir opt tests | Nilstrieb | -6/+12 |
| 2022-07-26 | Rollup merge of #97077 - ouz-a:Optimize-backend, r=oli-obk | Yuki Okushi | -0/+14 |
| 2022-07-24 | make sure has_deref is correct | ouz-a | -0/+2 |
| 2022-07-23 | now we can make scalar_to_ptr a method on Scalar | Ralf Jung | -0/+18 |
| 2022-07-22 | has_deref: simpler comparison, ty fix | ouz-a | -10/+2 |
| 2022-07-22 | simplify more, ret_deref -> has_deref | ouz-a | -6/+6 |
| 2022-07-22 | simplify some code that depend on Deref | ouz-a | -0/+20 |
| 2022-07-22 | Rollup merge of #98868 - tmiasko:unreachable-coverage, r=wesleywiser | Dylan DPC | -0/+16 |
| 2022-07-22 | Auto merge of #99420 - RalfJung:vtable, r=oli-obk | bors | -27/+67 |
| 2022-07-20 | Auto merge of #99058 - michaelwoerister:remove-stable-set-and-map, r=nagisa | bors | -2/+2 |
| 2022-07-20 | various nits from review | Ralf Jung | -1/+1 |
| 2022-07-20 | consistently use VTable over Vtable (matching stable stdlib API RawWakerVTable) | Ralf Jung | -18/+20 |
| 2022-07-20 | incorporate some review feedback | Ralf Jung | -1/+1 |
| 2022-07-20 | make use of symbolic vtables in interpreter | Ralf Jung | -18/+9 |
| 2022-07-20 | rename get_global_alloc to try_get_global_alloc | Ralf Jung | -7/+16 |
