summary refs log tree commit diff
path: root/src/librustc_mir/interpret/step.rs
AgeCommit message (Expand)AuthorLines
2018-09-14Rollup merge of #54076 - RalfJung:miri-snapshot, r=oli-obkkennytm-1/+4
2018-09-10add the `AscribeUserType` statement kindNiko Matsakis-1/+1
2018-09-09miri loop detector hashing: fix enum hashing to also consider discriminant; d...Ralf Jung-1/+4
2018-09-03Use EvalContext's TyCtx for the purpose of hashing the evaluation contextBruno Dutra-1/+6
2018-09-03Promote EvalSnapshot to newtypeBruno Dutra-1/+1
2018-08-29move some Scalar helpers from miri here, and use them where appropriateRalf Jung-16/+7
2018-08-27fix handling of unsized types in validation; validate str to be UTF-8Ralf Jung-3/+3
2018-08-27validate enum discriminant whenever it is readRalf Jung-3/+3
2018-08-27without all those copies of constants, we can finally make eval_operand take ...Ralf Jung-5/+5
2018-08-27Miri Memory WorkRalf Jung-4/+12
2018-08-25Auto merge of #53609 - bemeurer:tidy-ctfe, r=RalfJungbors-2/+12
2018-08-24support user-given types in adtsNiko Matsakis-1/+1
2018-08-23Reflow and fixup commentsBernardo Meurer-2/+2
2018-08-23Add license header to CTFE/MIRIBernardo Meurer-0/+10
2018-08-22also avoid recomputing the layout for unary and binary ops, where possibleRalf Jung-6/+38
2018-08-22in a Use statement, exploit the fact that type and hence layout are the same ...Ralf Jung-4/+5
2018-08-22Tweak loggingRalf Jung-3/+3
2018-08-22miri/CTFE refactorRalf Jung-89/+48
2018-08-22Move some value-and-memory related things out of eval_contextRalf Jung-3/+197
2018-08-01Reintroduce `Undef` and properly check constant value sizesOliver Schneider-1/+1
2018-07-04Move `Eq + Hash + Clone` bounds to `Machine`Dylan MacKenzie-5/+1
2018-07-04Avoid overflow in step counterDylan MacKenzie-13/+13
2018-07-04Rename `bloom` to `hashes`Dylan MacKenzie-2/+2
2018-07-04Enable loop detector in step loopDylan MacKenzie-8/+25
2018-07-04Revert "Refactor EvalContext stack and heap into inner struct"Dylan MacKenzie-7/+11
2018-07-04Add miri infinite loop detectionDylan MacKenzie-5/+9
2018-07-04Refactor EvalContext stack and heap into inner structDylan MacKenzie-5/+5
2018-05-29Review feedback: update fixme comment to reflect reality.Felix S. Klock II-3/+2
2018-05-29rust-lang/rust#27282: Add `StatementKind::ReadForMatch` to MIR.Felix S. Klock II-0/+5
2018-04-15Add a tracking issue for making the warning a lintOliver Schneider-0/+1
2018-04-13Don't abort const eval due to long running evals, just warnOliver Schneider-7/+6
2018-03-25Rollup merge of #49274 - oli-obk:slow_miri, r=michaelwoerister,eddybkennytm-2/+2
2018-03-23Simplify local accessorsOliver Schneider-2/+2
2018-03-22Added UserAssertTy statement.David Wood-0/+2
2018-03-08Step limit is now terminator limitOliver Schneider-1/+2
2018-03-08Report tcx errors with the span of the currently evaluating statementOliver Schneider-0/+4
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-234/+7
2018-01-05miri: use AllocId instead of u64.Eduard-Mihai Burtescu-2/+2
2017-12-18normalize the results of `tcx.type_of` after substitutingAriel Ben-Yehuda-3/+1
2017-12-17miri: pass pointer alignments directly instead of contextually.Eduard-Mihai Burtescu-2/+2
2017-12-17miri: track the Align instead of packedness in PtrAndAlign.Eduard-Mihai Burtescu-2/+2
2017-12-17rustc: don't track whether layouts are "packed".Eduard-Mihai Burtescu-15/+3
2017-12-14Move mir validation out of treeOliver Schneider-2/+2
2017-12-12Move large chunks of miri from rustc::mir::interpret to rustc_mir::interpretOliver Schneider-0/+349
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-11 06:41:04 +0000