about summary refs log tree commit diff
path: root/src/librustc_mir/interpret/mod.rs
AgeCommit message (Expand)AuthorLines
2020-08-01Auto merge of #74717 - davidtwco:issue-74636-polymorphized-closures-inherited...bors-0/+1
2020-07-31interp: needs_subst -> ensure_monomorphic_enoughDavid Wood-0/+1
2020-07-26typos + fmtRalf Jung-1/+1
2020-07-26move getting the initial value of a static into helper functionRalf Jung-1/+1
2020-04-27share some common code for compile-time miri instancesRalf Jung-1/+1
2020-04-02also use mir_assign_valid_types in from_known_layout checkRalf Jung-12/+6
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-1/+1
2020-03-17Remove infinite loop detectorDylan MacKenzie-1/+0
2020-03-14adjust Miri to needs of changed unwinding strategyRalf Jung-1/+1
2020-01-15Promoteds can contain raw pointers, but these must still only point to immuta...Oliver Scherer-1/+1
2020-01-07Poison any `MemPlace` created from a zst Operand (or otherwise via `MPlaceTy:...Oliver Scherer-1/+1
2019-12-22Format the worldMark Rousskov-12/+10
2019-11-11Add hooks for Miri panic unwindingAaron Hill-1/+1
2019-09-17Get rid of special const intrinsic query in favour of `const_eval`Oliver Scherer-2/+2
2019-07-04Add basic support for "other" kinds of values for function pointers, determin...Ralf Jung-1/+1
2019-06-27rename InterpretCx -> InterpCxRalf Jung-1/+1
2019-06-23clean up internals of pointer checks; make get_size_and_align also check for ...Ralf Jung-1/+1
2019-06-19Make interning explicitly care about types and the mutability of memoryOliver Scherer-0/+3
2019-06-02query-fy type_nameMark Mansi-1/+1
2019-05-30Make the `type_name` intrinsic's output deterministicOliver Scherer-0/+2
2019-03-26renames EvalContext to InterpretCx.kenta7777-1/+1
2019-01-30Swap the names of `LocalValue` and `LocalState`Oliver Scherer-1/+1
2019-01-30Merge `locals` and `local_layouts` fieldsOliver Scherer-1/+1
2018-12-25Remove licensesMark Rousskov-10/+0
2018-11-15expose MutValueVisitorRalf Jung-1/+1
2018-11-05generalize the traversal part of validation to a ValueVisitorRalf Jung-0/+3
2018-11-02Rename `Value` to `Immediate` for miriOliver Scherer-1/+1
2018-10-29provide mutable borrows when hooking memory write accessRalf Jung-1/+1
2018-10-18provide machine hooks for creating references and accessing memoryRalf Jung-1/+3
2018-10-18give machine more control over what counts as memory leakRalf Jung-1/+1
2018-10-10abstract mono_hash_map through a trait, only miri actually needs the fancy oneRalf Jung-4/+1
2018-10-10miri engine: basic support for pointer provenance trackingRalf Jung-0/+3
2018-10-09miri validity: make recursive ref checking optionalRalf Jung-0/+2
2018-09-30move ScalarMaybeUndef into the miri engineRalf Jung-1/+1
2018-09-20rename evaluator -> interpreter to make eddyb happyRalf Jung-13/+0
2018-09-20move CTFE engine snapshot state out of miri engine into CTFE machine instanceRalf Jung-1/+1
2018-09-03Move EvalSnapshot into its own moduleBruno Dutra-0/+1
2018-08-27use associated const for machine controlling mutable staticsRalf Jung-1/+1
2018-08-27fix handling of unsized types in validation; validate str to be UTF-8Ralf Jung-1/+1
2018-08-27move const_eval out of rustc_mir::interpretRalf Jung-6/+6
2018-08-27allow Machine to hook into foreign statics; remove unused HasMemory traitRalf Jung-2/+1
2018-08-27Miri Memory WorkRalf Jung-1/+3
2018-08-23Add license header to CTFE/MIRIBernardo Meurer-0/+10
2018-08-22move validation to its own fileRalf Jung-0/+1
2018-08-22finally remove all traces of signs from memoryRalf Jung-2/+1
2018-08-22miri/CTFE refactorRalf Jung-29/+8
2018-08-22Move some value-and-memory related things out of eval_contextRalf Jung-0/+3
2018-08-01Reintroduce `Undef` and properly check constant value sizesOliver Schneider-12/+9
2018-07-29Sanity-check all constantsOliver Schneider-0/+1
2018-06-05Refactor the const eval diagnostic APIOliver Schneider-1/+0
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-16 11:51:37 +0000