| Age | Commit message (Expand) | Author | Lines |
| 2024-08-24 | interpret: ImmTy: tighten sanity checks in offset logic | Ralf Jung | -6/+15 |
| 2024-08-11 | Use assert_matches around the compiler | Michael Goulet | -1/+1 |
| 2024-08-06 | interpret: refactor function call handling to be better-abstracted | Ralf Jung | -0/+1 |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -5/+4 |
| 2024-06-10 | ScalarInt: size mismatches are a bug, do not delay the panic | Ralf Jung | -9/+8 |
| 2024-05-27 | interpret: get rid of 'mir lifetime everywhere | Ralf Jung | -9/+9 |
| 2024-05-23 | Remove `#[macro_use] extern crate tracing` from `rustc_const_eval`. | Nicholas Nethercote | -0/+1 |
| 2024-05-21 | interpret: make overflowing binops just normal binops | Ralf Jung | -1/+21 |
| 2024-05-13 | Remove `extern crate rustc_middle` from `rustc_const_eval`. | Nicholas Nethercote | -3/+4 |
| 2024-04-19 | Auto merge of #124113 - RalfJung:interpret-scalar-ops, r=oli-obk | bors | -2/+22 |
| 2024-04-19 | ScalarInt: add methods to assert being a (u)int of given size | Ralf Jung | -1/+1 |
| 2024-04-18 | interpret/binary_int_op: avoid dropping to raw ints until we determined the sign | Ralf Jung | -2/+22 |
| 2024-04-18 | Auto merge of #124008 - nnethercote:simpler-static_assert_size, r=Nilstrieb | bors | -1/+1 |
| 2024-04-18 | Simplify `static_assert_size`s. | Nicholas Nethercote | -1/+1 |
| 2024-04-17 | interpret: rename base_pointer -> root_pointer | Ralf Jung | -3/+3 |
| 2024-04-03 | Check `x86_64` size assertions on `aarch64`, too | Zalathar | -1/+1 |
| 2024-03-23 | Add+Use `mir::BinOp::Cmp` | Scott McMurray | -0/+7 |
| 2024-03-18 | Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ... | Oli Scherer | -1/+1 |
| 2024-03-09 | remove some frame parameters that are no longer needed | Ralf Jung | -7/+7 |
| 2024-03-09 | interpret: ensure that Place is never used for a different frame | Ralf Jung | -2/+3 |
| 2024-02-12 | Dejargnonize subst | Shoyu Vanilla | -5/+7 |
| 2024-01-26 | add test for GVN issue; cleanup in dataflow_const_prop | Ralf Jung | -1/+5 |
| 2024-01-23 | const prop nonsense eliminated | Oli Scherer | -5/+1 |
| 2023-12-07 | avoid marking as immutable what is already immutable | Ralf Jung | -0/+11 |
| 2023-12-07 | ctfe interpreter: extend provenance so that it can track whether a pointer is... | Ralf Jung | -13/+15 |
| 2023-10-25 | Evaluate computed values to constants. | Camille GILLOT | -0/+10 |
| 2023-10-21 | Make `ty::print::Printer` take `&mut self` instead of `self` | Nilstrieb | -4/+5 |
| 2023-10-15 | place evaluation: require the original pointer to be aligned if an access hap... | Ralf Jung | -37/+23 |
| 2023-10-15 | avoid re-checking the offset while iterating an array/slice | Ralf Jung | -2/+5 |
| 2023-10-15 | don't UB on dangling ptr deref, instead check inbounds on projections | Ralf Jung | -1/+11 |
| 2023-10-03 | print normalized ty | ouz-a | -10/+15 |
| 2023-09-21 | Auto merge of #116010 - RalfJung:more-typed-immediates, r=oli-obk | bors | -10/+20 |
| 2023-09-21 | Rollup merge of #115972 - RalfJung:const-consistency, r=oli-obk | Guillaume Gomez | -1/+1 |
| 2023-09-21 | rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::Const | Ralf Jung | -1/+1 |
| 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 | -6/+2 |
| 2023-09-20 | interpret: more consistently use ImmTy in operators and casts | Ralf Jung | -1/+7 |
| 2023-09-19 | adjust constValue::Slice to work for arbitrary slice types | Ralf Jung | -15/+18 |
| 2023-09-19 | move ConstValue into mir | Ralf Jung | -8/+7 |
| 2023-09-18 | Auto merge of #115748 - RalfJung:post-mono, r=oli-obk | bors | -53/+4 |
| 2023-09-15 | make interpreter type Debug impl independent of Ty debug impl | Ralf Jung | -2/+10 |
| 2023-09-14 | move required_consts check to general post-mono-check function | Ralf Jung | -53/+4 |
| 2023-09-14 | make it more clear which functions create fresh AllocId | Ralf Jung | -1/+1 |
| 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 | -3/+2 |
| 2023-09-04 | interpret: make MemPlace, Place, Operand types private to the interpreter | Ralf Jung | -53/+69 |
| 2023-08-30 | a bit of meta-related cleanup on Projectable | Ralf Jung | -5/+5 |
| 2023-08-30 | move marking-locals-live out of push_stack_frame, so it happens with argument... | Ralf Jung | -18/+25 |
| 2023-08-30 | interpret: fix projecting into an unsized field of a local | Ralf Jung | -34/+22 |
| 2023-08-29 | const_eval and codegen: audit uses of is_zst | Ralf Jung | -0/+1 |