| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-10-15 | don't UB on dangling ptr deref, instead check inbounds on projections | Ralf Jung | -0/+1 |
| 2023-10-14 | Auto merge of #115524 - RalfJung:misalign, r=wesleywiser | bors | -11/+2 |
| 2023-10-09 | float-to-float casts also have non-deterministic NaN results | Ralf Jung | -3/+6 |
| 2023-10-08 | miri: make NaN generation non-deterministic | Ralf Jung | -0/+8 |
| 2023-09-26 | const-eval: make misalignment a hard error | Ralf Jung | -11/+2 |
| 2023-09-20 | interpret: more consistently use ImmTy in operators and casts | Ralf Jung | -3/+3 |
| 2023-09-14 | make it more clear which functions create fresh AllocId | Ralf Jung | -1/+1 |
| 2023-09-12 | Introduce Machine::POST_MONO_CHECKS. | Camille GILLOT | -0/+3 |
| 2023-09-04 | interpret: make MemPlace, Place, Operand types private to the interpreter | Ralf Jung | -9/+9 |
| 2023-08-25 | Auto merge of #115184 - saethlin:local-allocated-spans, r=RalfJung | bors | -1/+13 |
| 2023-08-25 | Add a doc comment for the new hook | Ben Kimock | -0/+3 |
| 2023-08-25 | Record allocation spans inside force_allocation | Ben Kimock | -1/+10 |
| 2023-08-24 | when terminating during unwinding, show the reason why | Ralf Jung | -2/+9 |
| 2023-08-20 | interpret: have assert_* intrinsics call the panic machinery instead of a dir... | Ralf Jung | -4/+2 |
| 2023-08-20 | interpret/miri: call panic_cannot_unwind lang item instead of hard-coding the... | Ralf Jung | -0/+8 |
| 2023-07-11 | miri: protect Move() function arguments during the call | Ralf Jung | -5/+25 |
| 2023-04-16 | Report a backtrace for memory leaks under Miri | Ben Kimock | -1/+1 |
| 2023-04-06 | Rename `Abort` terminator to `Terminate` | Gary Guo | -1/+1 |
| 2023-04-06 | Add `UnwindAction::Unreachable` | Gary Guo | -5/+5 |
| 2023-04-06 | Refactor unwind from Option to a new enum | Gary Guo | -1/+1 |
| 2023-03-21 | Add a layout argument to `enforce_validity`. | Oli Scherer | -2/+3 |
| 2023-03-16 | Tweak implementation of overflow checking assertions | Tomasz Miąsko | -2/+2 |
| 2023-02-20 | Minimal changes to make miri work | Rune Tynan | -3/+6 |
| 2023-02-20 | Allow non-`Box` allocations in preparation for aligned const allocations for ... | Rune Tynan | -3/+7 |
| 2023-02-18 | Rename checked_binop_checks_overflow. | Camille GILLOT | -4/+5 |
| 2023-02-14 | interpret: rename Pointer::from_addr → from_addr_invalid | Ralf Jung | -1/+1 |
| 2023-02-07 | miri: fix ICE when running out of address space | Ralf Jung | -3/+3 |
| 2023-01-23 | Add back Machine::before_terminator(...) method | Bryan Garza | -0/+6 |
| 2023-01-23 | Replace terminator-based const eval limit | Bryan Garza | -3/+3 |
| 2023-01-17 | Remove double spaces after dots in comments | Maybe Waffle | -2/+2 |
| 2022-12-15 | Move alignment failure error reporting to machine | Oli Scherer | -1/+8 |
| 2022-12-15 | Make alignment checks a future incompat lint | Oli Scherer | -1/+3 |
| 2022-12-06 | make retagging work even with 'unstable' places | Ralf Jung | -2/+14 |
| 2022-11-27 | Prefer doc comments over `//`-comments in compiler | Maybe Waffle | -2/+2 |
| 2022-10-18 | Remove allow(rustc::potential_query_instability) in rustc_const_eval | CastilloDel | -1/+1 |
| 2022-09-03 | Add a Machine hook for inline assembly | Ben Kimock | -0/+10 |
| 2022-08-30 | Rollup merge of #101101 - RalfJung:read-pointer-as-bytes, r=oli-obk | Dylan DPC | -1/+1 |
| 2022-08-29 | Auto merge of #101167 - matthiaskrgr:rollup-yt3jdmp, r=matthiaskrgr | bors | -0/+1 |
| 2022-08-28 | CTFE: exposing pointers and calling extern fn doesn't need an RFC, it is just... | Ralf Jung | -0/+1 |
| 2022-08-27 | interpret: rename relocation → provenance | Ralf Jung | -1/+1 |
| 2022-08-27 | remove a now-useless machine hook | Ralf Jung | -14/+3 |
| 2022-08-26 | remove enforce_number_init machine hook that Miri no longer needs | Ralf Jung | -8/+0 |
| 2022-08-26 | fix an outdated machine hook name | Ralf Jung | -5/+5 |
| 2022-08-15 | Rename Machine memory hooks to suggest when they run | Ben Kimock | -3/+3 |
| 2022-08-09 | dont rely on old macro-in-trait-impl bug | Ralf Jung | -12/+0 |
| 2022-07-23 | remove some provenance-related machine hooks that Miri no longer needs | Ralf Jung | -23/+0 |
| 2022-07-19 | interpret: rename Tag/PointerTag to Prov/Provenance | Ralf Jung | -54/+53 |
| 2022-07-09 | Rollup merge of #98980 - RalfJung:const-prop-ice, r=oli-obk | Dylan DPC | -5/+5 |
| 2022-07-07 | make a name less ambiguous | Ralf Jung | -5/+5 |
| 2022-07-06 | interpret: remove LocalValue::Unallocated, add Operand::Uninit | Ralf Jung | -8/+11 |
