| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-08-18 | interpret: avoid forcing all integer newtypes into memory during clear_proven... | Ralf Jung | -0/+10 |
| 2025-08-11 | Turn _span into _trace as trace span name | Stypox | -2/+2 |
| 2025-08-03 | Rename `Printer` variables. | Nicholas Nethercote | -6/+7 |
| 2025-07-31 | Add tracing to more functions related to step.rs | Stypox | -0/+12 |
| 2025-07-23 | Remove useless lifetime parameter. | Camille GILLOT | -2/+2 |
| 2025-07-23 | Give an AllocId to ConstValue::Slice. | Camille GILLOT | -2/+1 |
| 2025-06-27 | Add InterpCx::layout_of with tracing, shadowing LayoutOf | Stypox | -1/+1 |
| 2025-06-25 | make `tidy-alphabetical` use a natural sort | Folkert de Vries | -2/+2 |
| 2025-06-05 | Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of None | Oli Scherer | -1/+2 |
| 2025-05-24 | ScalarInt: support conversion with signed int types and cmp::Ordering | Ralf Jung | -1/+1 |
| 2025-02-20 | Remove `BackendRepr::Uninhabited`, replaced with an `uninhabited: bool` field... | Zachary S | -1/+1 |
| 2025-01-07 | Avoid naming variables `str` | Josh Triplett | -2/+2 |
| 2024-12-14 | Rollup merge of #134191 - willcrichton:dev, r=RalfJung,lqd | Matthias Krüger | -9/+18 |
| 2024-12-12 | Make BorrowSet/BorrowData fields accessible via public getters | Will Crichton | -4/+3 |
| 2024-12-11 | Make some types and methods related to Polonius + Miri public. | Will Crichton | -7/+17 |
| 2024-12-09 | interpret: reduce usage of TypingEnv::fully_monomorphized | Ralf Jung | -4/+6 |
| 2024-11-18 | use `TypingEnv` when no `infcx` is available | lcnr | -10/+11 |
| 2024-10-31 | stop using `ParamEnv::reveal` while handling MIR | lcnr | -1/+4 |
| 2024-10-29 | compiler: `rustc_abi::Abi` => `BackendRepr` | Jubilee Young | -21/+32 |
| 2024-10-08 | compiler: Factor rustc_target::abi out of const_eval | Jubilee Young | -7/+8 |
| 2024-10-03 | interpret: Immediate::offset: use shared sanity-check function to ensure inva... | Ralf Jung | -29/+35 |
| 2024-10-02 | Auto merge of #131006 - RalfJung:immediate-sanity, r=saethlin | bors | -0/+1 |
| 2024-10-01 | make InterpResult a dedicated type to avoid accidentally discarding the error | Ralf Jung | -24/+27 |
| 2024-09-29 | interpret: always enable write_immediate sanity checks | Ralf Jung | -0/+1 |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -3/+3 |
| 2024-09-15 | Rollup merge of #129828 - RalfJung:miri-data-race, r=saethlin | Matthias Krüger | -0/+1 |
| 2024-09-13 | interpret: simplify SIMD type handling | Ralf Jung | -24/+0 |
| 2024-09-10 | interpret: mark some hot functions inline(always) | Ralf Jung | -0/+2 |
| 2024-09-10 | miri: treat non-memory local variables properly for data race detection | Ralf Jung | -0/+1 |
| 2024-09-08 | interpret: reset provenance on typed copies | Ralf Jung | -0/+14 |
| 2024-09-08 | interpret: factor out common code for place mutation | Ralf Jung | -0/+26 |
| 2024-09-08 | interpret: make Writeable trait about a to_place operation | Ralf Jung | -1/+1 |
| 2024-09-08 | interpret: remove Readable trait, we can use Projectable instead | Ralf Jung | -33/+7 |
| 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 |
