| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-04-23 | properly fill a promoted's required_consts | Ralf Jung | -23/+4 |
| 2024-04-23 | interpret: sanity-check that required_consts captures all consts that can fail | Ralf Jung | -13/+36 |
| 2024-04-23 | Auto merge of #124302 - matthiaskrgr:rollup-2aya8n8, r=matthiaskrgr | bors | -10/+21 |
| 2024-04-23 | Rollup merge of #124003 - WaffleLapkin:dellvmization, r=scottmcm,RalfJung,antoyo | Matthias Krüger | -10/+21 |
| 2024-04-23 | Rollup merge of #122598 - Nadrieril:full-derefpats, r=matthewjasper | León Orell Valerian Liehr | -4/+4 |
| 2024-04-23 | Rollup merge of #124220 - RalfJung:interpret-wrong-vtable, r=oli-obk | Matthias Krüger | -33/+70 |
| 2024-04-23 | Auto merge of #121801 - zetanumbers:async_drop_glue, r=oli-obk | bors | -0/+1 |
| 2024-04-22 | Rollup merge of #124230 - reitermarkus:generic-nonzero-stable, r=dtolnay | Guillaume Gomez | -1/+0 |
| 2024-04-22 | Stabilize generic `NonZero`. | Markus Reiter | -1/+0 |
| 2024-04-21 | Address PR feedback | Scott McMurray | -15/+12 |
| 2024-04-21 | Use it in the library, and `InstSimplify` it away in the easy places | Scott McMurray | -1/+27 |
| 2024-04-21 | Add an intrinsic that lowers to AggregateKind::RawPtr | Scott McMurray | -1/+4 |
| 2024-04-21 | Add `AggregateKind::RawPtr` and enough support to compile | Scott McMurray | -0/+38 |
| 2024-04-21 | Miri: detect wrong vtables in wide pointers | Ralf Jung | -33/+70 |
| 2024-04-20 | Add a non-shallow fake borrow | Nadrieril | -4/+4 |
| 2024-04-19 | Auto merge of #124113 - RalfJung:interpret-scalar-ops, r=oli-obk | bors | -58/+82 |
| 2024-04-19 | ScalarInt: add methods to assert being a (u)int of given size | Ralf Jung | -7/+6 |
| 2024-04-18 | interpret/binary_int_op: avoid dropping to raw ints until we determined the sign | Ralf Jung | -56/+81 |
| 2024-04-18 | Auto merge of #124008 - nnethercote:simpler-static_assert_size, r=Nilstrieb | bors | -2/+2 |
| 2024-04-18 | Simplify `static_assert_size`s. | Nicholas Nethercote | -2/+2 |
| 2024-04-18 | Auto merge of #122684 - oli-obk:delay_interning_errors_to_after_validaiton, r... | bors | -87/+129 |
| 2024-04-17 | Rollup merge of #124030 - RalfJung:adjust_alloc_base_pointer, r=oli-obk | Matthias Krüger | -26/+39 |
| 2024-04-17 | Use less fragile error handling | Oli Scherer | -18/+16 |
| 2024-04-17 | Validate before reporting interning errors. | Oli Scherer | -23/+52 |
| 2024-04-17 | Simplify alloc id mutability check | Oli Scherer | -10/+15 |
| 2024-04-17 | Deduplicate logic for checking the mutability of allocations | Oli Scherer | -79/+75 |
| 2024-04-17 | Run the "is this static mutable" logic the same way as in `in_mutable_memory` | Oli Scherer | -14/+16 |
| 2024-04-17 | Validate nested static items | Oli Scherer | -7/+19 |
| 2024-04-17 | interpret: rename base_pointer -> root_pointer | Ralf Jung | -18/+18 |
| 2024-04-17 | interpret: pass MemoryKind to adjust_alloc_base_pointer | Ralf Jung | -11/+24 |
| 2024-04-17 | Rollup merge of #122813 - nnethercote:nicer-quals, r=compiler-errors | Matthias Krüger | -6/+7 |
| 2024-04-17 | Rollup merge of #123675 - oli-obk:static_wf_ice, r=compiler-errors | Guillaume Gomez | -0/+5 |
| 2024-04-16 | Add simple async drop glue generation | zetanumbers | -0/+1 |
| 2024-04-16 | Rollup merge of #124024 - RalfJung:interpret-comment, r=oli-obk | Matthias Krüger | -3/+0 |
| 2024-04-16 | interpret: remove outdated comment | Ralf Jung | -3/+0 |
| 2024-04-16 | interpret: pass MemoryKind to before_memory_deallocation | Ralf Jung | -0/+2 |
| 2024-04-16 | Add an assertion in const eval | Maybe Waffle | -2/+8 |
| 2024-04-16 | Change intrinsic types to use `u32` instead of `T` to match stable reexports | Maybe Waffle | -8/+13 |
| 2024-04-16 | Taint const qualifs if a static is referenced that didn't pass wfcheck | Oli Scherer | -0/+5 |
| 2024-04-16 | Rename a tiny module. | Nicholas Nethercote | -5/+5 |
| 2024-04-16 | Always use `ty::` qualifier for `TyKind` enum variants. | Nicholas Nethercote | -4/+5 |
| 2024-04-08 | Actually create ranged int types in the type system. | Oli Scherer | -2/+22 |
| 2024-04-06 | Put checks that detect UB under their own flag below debug_assertions | Ben Kimock | -1/+1 |
| 2024-04-03 | Rollup merge of #123401 - Zalathar:assert-size-aarch64, r=fmease | Jacob Pratt | -2/+2 |
| 2024-04-03 | rename `expose_addr` to `expose_provenance` | joboet | -5/+5 |
| 2024-04-03 | Check `x86_64` size assertions on `aarch64`, too | Zalathar | -2/+2 |
| 2024-04-02 | Rollup merge of #122935 - RalfJung:with-exposed-provenance, r=Amanieu | Jacob Pratt | -5/+5 |
| 2024-04-02 | Auto merge of #123385 - matthiaskrgr:rollup-v69vjbn, r=matthiaskrgr | bors | -1/+13 |
| 2024-04-02 | Auto merge of #118310 - scottmcm:three-way-compare, r=davidtwco | bors | -2/+36 |
| 2024-04-02 | Forbid implicit nested statics in thread local statics | Oli Scherer | -1/+13 |
