summary refs log tree commit diff
path: root/src/librustc_mir/interpret/mod.rs
AgeCommit message (Expand)AuthorLines
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
2018-05-24Rename `amt` variables to `shift`Oliver Schneider-4/+4
2018-05-11Add a query to convert from ConstValue to AllocationJohn Kåre Alsaker-0/+1
2018-05-11Introduce ConstValue and use it instead of miri's Value for constant valuesJohn Kåre Alsaker-0/+1
2018-04-24Auto merge of #49933 - oli-obk:miri_rustup, r=eddybbors-1/+1
2018-04-23Auto merge of #49779 - oli-obk:const_err_regression, r=eddybbors-1/+1
2018-04-23Fix the miri toolOliver Schneider-1/+1
2018-04-19Sign extend constants in range patternsOliver Schneider-0/+24
2018-04-15Only warn on erroneous promoted constantsOliver Schneider-1/+1
2018-03-08Address review commentsOliver Schneider-1/+1
2018-03-08Don't use the undefined bytes of PrimVal::BytesOliver Schneider-1/+0
2018-03-08Move the resource limits to the session in preparation for attributes configu...Oliver Schneider-1/+1
2018-03-08Fully use miri in transOliver Schneider-1/+12
2018-03-08Nuke the entire ctfe from orbit, it's the only way to be sureOliver Schneider-1/+1
2018-03-08Produce instead of pointersOliver Schneider-1/+1
2017-12-14Move mir validation out of treeOliver Schneider-6/+0
2017-12-12Move large chunks of miri from rustc::mir::interpret to rustc_mir::interpretOliver Schneider-0/+29
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-26 12:38:35 +0000