summary refs log tree commit diff
path: root/src/librustc_mir/interpret/step.rs
AgeCommit message (Expand)AuthorLines
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