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