about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/machine.rs
AgeCommit message (Expand)AuthorLines
2025-07-23Remove const deduplication from the interpreter.Camille GILLOT-22/+0
2025-07-16simplfy memory kind handling during interningRalf Jung-0/+1
2025-07-08Make enter_trace_span take a closure for better optimizationStypox-1/+1
2025-07-08Add inline(always) to Machine::enter_trace_spanStypox-0/+1
2025-07-08Replace TRACING_ENABLED with enter_trace_span()Stypox-8/+12
2025-07-07make `Machine::load_mir` infallibleDeadbeef-2/+2
2025-06-29rename Pointer::from_addr_invalid to match strict provenance APIRalf Jung-1/+1
2025-06-29give Pointer::into_parts a more scary name and offer a safer alternativeRalf Jung-2/+1
2025-06-27const-eval: error when initializing a static writes to that staticRalf Jung-1/+5
2025-05-27Rollup merge of #141513 - nia-e:allocbytes-extend, r=RalfJung许杰友 Jieyou Xu (Joe)-0/+4
2025-05-26extend allocbytes with associated typeNia Espera-0/+4
2025-05-22interpret: do not force_allocate all return placesRalf Jung-9/+7
2025-05-13Add TRACING_ENABLED to Machine traitStypox-0/+6
2025-04-29miri: algebraic intrinsics: bring back float non-determinismRalf Jung-0/+8
2025-03-20interpret memory access hooks: also pass through the Pointer used for the accessRalf Jung-0/+9
2025-03-12minor interpret cleanupsRalf Jung-35/+19
2025-02-03Contracts core intrinsics.Felix S. Klock II-0/+10
2025-01-31miri: make float min/max non-deterministicRalf Jung-0/+6
2024-12-19Pass FnAbi to find_mir_or_eval_fntiif-4/+5
2024-12-12Make BorrowSet/BorrowData fields accessible via public gettersWill Crichton-2/+6
2024-12-05extend Miri to correctly pass mutable pointers through FFIStrophox-4/+4
2024-11-03compiler: Directly use rustc_abi in const_evalJubilee Young-5/+4
2024-10-06various fixes for `naked_asm!` implementationFolkert de Vries-1/+1
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-24/+25
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-5/+5
2024-09-10miri: treat non-memory local variables properly for data race detectionRalf Jung-1/+20
2024-09-08interpret: reset padding during validationRalf Jung-1/+11
2024-08-31Rollup merge of #129684 - Strophox:miri-pass-pointer-to-ffi, r=RalfJungMatthias Krüger-11/+1
2024-08-30enable Miri to pass const pointers through FFIStrophox-11/+1
2024-08-28Rollup merge of #129613 - RalfJung:interpret-target-feat, r=saethlinMatthias Krüger-5/+17
2024-08-26interpret: do not make const-eval query result depend on tcx.sessRalf Jung-5/+17
2024-08-26const-eval: do not make UbChecks behavior depend on current crate's flagsRalf Jung-0/+10
2024-08-13Auto merge of #128742 - RalfJung:miri-vtable-uniqueness, r=saethlinbors-1/+17
2024-08-06miri: make vtable addresses not globally uniqueRalf Jung-1/+17
2024-08-06interpret: refactor function call handling to be better-abstractedRalf Jung-1/+1
2024-08-03Miri: add a flag to do recursive validity checkingRalf Jung-0/+7
2024-08-01on a signed deref check, mention the right pointer in the errorRalf Jung-3/+10
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+1
2024-07-07make `StackPop` field names less confusingMaybe Waffle-5/+6
2024-07-07Refactor & fixup interpreter implementation of tail callsMaybe Waffle-0/+3
2024-06-16Rename InstanceDef -> InstanceKindMichael Goulet-1/+1
2024-05-27miri: avoid making a full copy of all new allocationsRalf Jung-17/+41
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-50/+47
2024-05-27interpret: the MIR is actually at lifetime 'tcxRalf Jung-7/+7
2024-05-21interpret: make overflowing binops just normal binopsRalf Jung-1/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-3/+3
2024-05-03Let miri and const eval execute intrinsics' fallback bodiesOli Scherer-1/+4
2024-04-23properly fill a promoted's required_constsRalf Jung-1/+1
2024-04-23interpret: sanity-check that required_consts captures all consts that can failRalf Jung-2/+3
2024-04-17interpret: rename base_pointer -> root_pointerRalf Jung-6/+6
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-13 09:35:29 +0000