summary refs log tree commit diff
path: root/src/librustc_mir/interpret/step.rs
AgeCommit message (Expand)AuthorLines
2018-04-17Add a tracking issue for making the warning a lintOliver Schneider-0/+1
2018-04-17Don'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