about summary refs log tree commit diff
path: root/src/librustc/mir/interpret
AgeCommit message (Expand)AuthorLines
2018-05-19Use `Size` instead of `u64` in mir interpretationOliver Schneider-52/+54
2018-05-19Go through an allocation when accessing fields of constantsOliver Schneider-4/+4
2018-05-17Rename trans to codegen everywhere.Irina Popa-2/+2
2018-05-11Introduce ConstValue and use it instead of miri's Value for constant valuesJohn Kåre Alsaker-5/+121
2018-04-30Unify MIR assert messages and const eval errorsOliver Schneider-15/+26
2018-04-30Merge ConstMathError into EvalErrorKindOliver Schneider-58/+26
2018-04-30Remove the `rustc_const_math` crateOliver Schneider-2/+39
2018-04-15Auto merge of #49947 - oli-obk:turing_complete_const_eval, r=nagisabors-3/+0
2018-04-14Get rid of redundant `HashSet`Oliver Schneider-1/+1
2018-04-14Stop referring to statics' AllocIds directlyOliver Schneider-15/+6
2018-04-14Don't recurse into allocations, use a global table insteadOliver Schneider-28/+20
2018-04-13Don't abort const eval due to long running evals, just warnOliver Schneider-3/+0
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