| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-03-22 | Add `CastKind::Transmute` to MIR | Scott McMurray | -4/+0 |
| 2023-03-04 | Rollup merge of #108669 - Nilstrieb:query-my-uninitness, r=compiler-errors | Dylan DPC | -0/+1 |
| 2023-03-03 | Don't put integers into backticks during formatting | est31 | -2/+2 |
| 2023-03-03 | Match end user facing unmatched backticks in compiler/ | est31 | -1/+1 |
| 2023-03-02 | Allow checking whether a type allows being uninitialized | Nilstrieb | -0/+1 |
| 2023-02-27 | Unify all validity check intrinsics | Nilstrieb | -48/+26 |
| 2023-02-27 | Rollup merge of #108364 - Nilstrieb:validity-checks-refactor, r=compiler-errors | Matthias Krüger | -3/+6 |
| 2023-02-24 | Rename many interner functions. | Nicholas Nethercote | -1/+1 |
| 2023-02-23 | Unify validity checks into a single query | Nilstrieb | -3/+6 |
| 2023-02-18 | Stop implementing _with_overflow intrinsics in codegen backends. | Camille GILLOT | -11/+0 |
| 2023-02-18 | Adapt interpreter. | Camille GILLOT | -3/+1 |
| 2023-02-16 | Auto merge of #108096 - matthiaskrgr:rollup-ncexzf6, r=matthiaskrgr | bors | -16/+16 |
| 2023-02-15 | Use target instead of machine for mir interpreter integer handling. | Oli Scherer | -16/+16 |
| 2023-02-14 | Make permit_uninit/zero_init fallible | Michael Goulet | -2/+8 |
| 2023-01-27 | Introduce GeneratorWitnessMIR. | Camille GILLOT | -0/+1 |
| 2023-01-26 | Auto merge of #105582 - saethlin:instcombine-assert-inhabited, r=cjgillot | bors | -2/+2 |
| 2023-01-23 | Thread a ParamEnv down to might_permit_raw_init | Ben Kimock | -2/+2 |
| 2023-01-17 | `rustc_const_eval`: remove `ref` patterns (+some pattern matching imps) | Maybe Waffle | -3/+1 |
| 2022-12-22 | Auto merge of #106023 - JohnTitor:rollup-k8mettz, r=JohnTitor | bors | -4/+4 |
| 2022-12-22 | Rollup merge of #105602 - RalfJung:read-convenience, r=oli-obk | Yuki Okushi | -4/+4 |
| 2022-12-21 | Auto merge of #105613 - Nilstrieb:rename-assert_uninit_valid, r=RalfJung | bors | -2/+4 |
| 2022-12-13 | Combine identical alias arms | Michael Goulet | -5/+3 |
| 2022-12-13 | Combine projection and opaque into alias | Michael Goulet | -2/+2 |
| 2022-12-13 | squash OpaqueTy and ProjectionTy into AliasTy | Michael Goulet | -1/+1 |
| 2022-12-13 | Use ty::OpaqueTy everywhere | Michael Goulet | -1/+1 |
| 2022-12-13 | Rename `assert_uninit_valid` intrinsic | Nilstrieb | -2/+4 |
| 2022-12-12 | interpret: add read_machine_[ui]size convenience methods | Ralf Jung | -4/+4 |
| 2022-12-10 | compiler: remove unnecessary imports and qualified paths | KaDiWa | -2/+0 |
| 2022-11-19 | constify `exact_div` intrinsic | Lukas Markeffsky | -0/+5 |
| 2022-11-16 | cleanup and dedupe CTFE and Miri error reporting | Ralf Jung | -2/+3 |
| 2022-11-13 | add is_sized method on Abi and Layout, and use it | Ralf Jung | -1/+1 |
| 2022-10-31 | interpret: move type_name implementation to an interpreter-independent helper... | Ralf Jung | -3/+11 |
| 2022-09-12 | Plumb dyn trait representation through ty::Dynamic | Eric Holk | -1/+1 |
| 2022-09-08 | bound variables during ctfe are a bug | lcnr | -1/+1 |
| 2022-09-06 | Move CTFE handling of nondiverging intrinsics to intrinsics.rs | Oli Scherer | -1/+27 |
| 2022-09-06 | Lower the assume intrinsic to a MIR statement | Oli Scherer | -6/+0 |
| 2022-08-31 | Fix a bunch of typo | Dezhi Wu | -1/+1 |
| 2022-08-27 | interpret: make read-pointer-as-bytes *always* work in Miri | Ralf Jung | -4/+17 |
| 2022-08-26 | make read_immediate error immediately on uninit, so ImmTy can carry initializ... | Ralf Jung | -6/+6 |
| 2022-07-24 | interpret, ptr_offset_from: refactor and test too-far-apart check | Ralf Jung | -24/+48 |
| 2022-07-20 | add intrinsic to access vtable size and align | Ralf Jung | -0/+12 |
| 2022-07-19 | interpret: rename Tag/PointerTag to Prov/Provenance | Ralf Jung | -20/+20 |
| 2022-07-19 | Auto merge of #99309 - RalfJung:no-large-copies, r=oli-obk | bors | -2/+5 |
| 2022-07-18 | interpret: make some large types not Copy | Ralf Jung | -2/+5 |
| 2022-07-17 | Auto merge of #99033 - 5225225:interpreter-validity-checks, r=oli-obk | bors | -29/+27 |
| 2022-07-14 | Use constant eval to do strict validity checks | 5225225 | -29/+27 |
| 2022-07-14 | Remove comment referring to constness.rs | Daniel Bevenius | -2/+0 |
| 2022-07-13 | Rename `debugging_opts` to `unstable_opts` | Joshua Nelson | -2/+2 |
| 2022-07-06 | deduplicate some copy_op code | Ralf Jung | -5/+9 |
| 2022-07-04 | interpret: fix CheckedBinOp behavior when overflow checking is disabled | Ralf Jung | -1/+3 |
