| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-08-24 | Rollup merge of #129199 - RalfJung:writes_through_immutable_pointer, r=compil... | Matthias Krüger | -7/+10 |
| 2024-08-20 | ctfe: make CompileTimeInterpCx type alias public | Ralf Jung | -2/+5 |
| 2024-08-17 | make writes_through_immutable_pointer a hard error | Ralf Jung | -7/+10 |
| 2024-08-14 | Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errors | bors | -2/+2 |
| 2024-08-11 | Remove struct_tail_no_normalization | Michael Goulet | -1/+1 |
| 2024-08-11 | Rename normalization functions to raw | Michael Goulet | -1/+1 |
| 2024-08-09 | Shrink `TyKind::FnPtr`. | Nicholas Nethercote | -2/+2 |
| 2024-08-06 | interpret: refactor function call handling to be better-abstracted | Ralf Jung | -10/+11 |
| 2024-08-05 | interpret: move nullary-op evaluation into operator.rs | Ralf Jung | -1/+1 |
| 2024-08-03 | Miri: add a flag to do recursive validity checking | Ralf Jung | -1/+1 |
| 2024-08-01 | on a signed deref check, mention the right pointer in the error | Ralf Jung | -2/+2 |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -38/+29 |
| 2024-07-18 | valtree construction: keep track of which type was valtree-incompatible | Ralf Jung | -13/+13 |
| 2024-07-02 | Fix spans | Michael Goulet | -1/+1 |
| 2024-07-02 | Give Instance::expect_resolve a span | Michael Goulet | -0/+1 |
| 2024-06-28 | implement new effects desugaring | Deadbeef | -4/+1 |
| 2024-06-22 | don't ICE when encountering an extern type field during validation | Ralf Jung | -32/+44 |
| 2024-06-16 | Rename InstanceDef -> InstanceKind | Michael Goulet | -5/+5 |
| 2024-06-14 | Use is_lang_item more aggressively | Michael Goulet | -3/+3 |
| 2024-06-13 | const-eval: make lint scope computation consistent | Ralf Jung | -13/+15 |
| 2024-06-13 | rename CompileTimeInterpreter -> CompileTimeMachine, CompileTimeEvalContext -... | Ralf Jung | -27/+27 |
| 2024-06-10 | ScalarInt: size mismatches are a bug, do not delay the panic | Ralf Jung | -4/+4 |
| 2024-06-07 | Revert "Create const block DefIds in typeck instead of ast lowering" | Oli Scherer | -1/+1 |
| 2024-05-29 | Rollup merge of #125633 - RalfJung:miri-no-copy, r=saethlin | 许杰友 Jieyou Xu (Joe) | -2/+2 |
| 2024-05-28 | Create const block DefIds in typeck instead of ast lowering | Oli Scherer | -1/+1 |
| 2024-05-28 | Remove a CTFE check that was only ever used to ICE | Oli Scherer | -13/+1 |
| 2024-05-27 | miri: avoid making a full copy of all new allocations | Ralf Jung | -2/+2 |
| 2024-05-27 | interpret: get rid of 'mir lifetime everywhere | Ralf Jung | -62/+56 |
| 2024-05-27 | interpret: the MIR is actually at lifetime 'tcx | Ralf Jung | -28/+25 |
| 2024-05-24 | Run rustfmt on files that need it. | Nicholas Nethercote | -4/+3 |
| 2024-05-23 | Auto merge of #125434 - nnethercote:rm-more-extern-tracing, r=jackh726 | bors | -0/+4 |
| 2024-05-23 | Allow const eval failures if the cause is a type layout issue | Oli Scherer | -4/+5 |
| 2024-05-23 | Remove `#[macro_use] extern crate tracing` from `rustc_const_eval`. | Nicholas Nethercote | -0/+4 |
| 2024-05-23 | Auto merge of #125359 - RalfJung:interpret-overflowing-ops, r=oli-obk | bors | -3/+3 |
| 2024-05-22 | Auto merge of #117329 - RalfJung:offset-by-zero, r=oli-obk,scottmcm | bors | -5/+15 |
| 2024-05-21 | interpret: make overflowing binops just normal binops | Ralf Jung | -3/+3 |
| 2024-05-17 | Rename Unsafe to Safety | Santiago Pastorino | -2/+2 |
| 2024-05-13 | offset, offset_from: allow zero-byte offset on arbitrary pointers | Ralf Jung | -5/+15 |
| 2024-05-13 | Remove `extern crate rustc_middle` from `rustc_const_eval`. | Nicholas Nethercote | -4/+13 |
| 2024-05-09 | Make builtin_deref just return a Ty | Michael Goulet | -1/+1 |
| 2024-05-07 | replace another Option<Span> by DUMMY_SP | Ralf Jung | -10/+10 |
| 2024-05-04 | interpret, miri: uniform treatments of intrinsics/functions with and without ... | Ralf Jung | -14/+2 |
| 2024-05-03 | Ensure miri only uses fallback bodies that have manually been vetted to prese... | Oli Scherer | -1/+2 |
| 2024-05-03 | Let miri and const eval execute intrinsics' fallback bodies | Oli Scherer | -8/+24 |
| 2024-04-23 | properly fill a promoted's required_consts | Ralf Jung | -19/+2 |
| 2024-04-23 | interpret: sanity-check that required_consts captures all consts that can fail | Ralf Jung | -0/+20 |
| 2024-04-17 | Use less fragile error handling | Oli Scherer | -3/+5 |
| 2024-04-17 | Validate before reporting interning errors. | Oli Scherer | -3/+26 |
| 2024-04-08 | Actually create ranged int types in the type system. | Oli Scherer | -2/+14 |
| 2024-03-27 | chore: fix some comments | xiaoxiangxianzi | -1/+1 |
