summary refs log tree commit diff
path: root/src/librustc/mir/interpret
AgeCommit message (Expand)AuthorLines
2018-04-17Don't abort const eval due to long running evals, just warnOliver Schneider-3/+0
2018-04-17Get rid of redundant `HashSet`Oliver Schneider-1/+1
2018-04-17Stop referring to statics' AllocIds directlyOliver Schneider-15/+6
2018-04-17Don't recurse into allocations, use a global table insteadOliver Schneider-28/+20
2018-03-20Encode/decode extern statics in metadata and incremental cacheOliver Schneider-0/+14
2018-03-19Auto merge of #49079 - oli-obk:cross_miri, r=michaelwoeristerbors-1/+81
2018-03-16Cleanup metadata and incremental cache processing of constantsOliver Schneider-1/+81
2018-03-16Only generate miri backtraces if explicitly requestedOliver Schneider-1/+1
2018-03-08Don't use the undefined bytes of PrimVal::BytesOliver Schneider-29/+1
2018-03-08Const eval will oom together with rustc nowOliver Schneider-10/+0
2018-03-08Step limit is now terminator limitOliver Schneider-1/+1
2018-03-08Const eval error refactoringOliver Schneider-0/+5
2018-03-08Add stack traces to miri errorsOliver Schneider-5/+4
2018-03-08Simplify const prop checks through PlaceContextOliver Schneider-1/+1
2018-03-08Reduce noise in error reportingOliver Schneider-1/+1
2018-03-08Use Mutability enum instead of boolOliver Schneider-3/+6
2018-03-08Wrap the miri ErrorKind in an Rc to reduce work in queriesOliver Schneider-4/+5
2018-03-08Add InterpretInterner to StableHashingContext for AllocId serializationOliver Schneider-0/+2
2018-03-08Fully use miri in transOliver Schneider-2/+5
2018-03-08Produce instead of pointersOliver Schneider-0/+10
2018-03-08Add miri errors to the const eval error enumOliver Schneider-12/+4
2018-03-08Add a variant to ConstVal for storing miri resultsOliver Schneider-8/+11
2018-03-02Run Rustfix on librustcManish Goregaokar-2/+2
2018-02-17fix more typos found by codespell.Matthias Krüger-1/+1
2018-01-05miri: use AllocId instead of u64.Eduard-Mihai Burtescu-1/+1
2017-12-17miri: pass pointer alignments directly instead of contextually.Eduard-Mihai Burtescu-4/+3
2017-12-17miri: use separate Pointer and Align instead of PtrAndAlign.Eduard-Mihai Burtescu-20/+2
2017-12-17miri: track the Align instead of packedness in PtrAndAlign.Eduard-Mihai Burtescu-11/+3
2017-12-12Move large chunks of miri from rustc::mir::interpret to rustc_mir::interpretOliver Schneider-6742/+272
2017-12-06miri: don't use an associated constant for a Machine's own data.Eduard-Mihai Burtescu-13/+9
2017-12-06miri: move param_env from Machine to EvalContext.Eduard-Mihai Burtescu-22/+13
2017-12-06miri: import ty::Ty directly.Eduard-Mihai Burtescu-15/+16
2017-12-06miri: monomorphize types iff they came from MIR.Eduard-Mihai Burtescu-239/+130
2017-12-06Update miri to rustc changesOliver Schneider-2330/+1617
2017-09-29Expose miri <-> ctfe differencesOliver Schneider-4/+9
2017-09-29Adjust imports to librustc::mir::interpretOliver Schneider-101/+101
2017-09-29Move miri base code to rustc::mir::interpretOliver Schneider-0/+8241