summary refs log tree commit diff
path: root/src/librustc_mir/interpret/memory.rs
AgeCommit message (Expand)AuthorLines
2018-01-05miri: use AllocId instead of u64.Eduard-Mihai Burtescu-42/+42
2017-12-17miri: pass pointer alignments directly instead of contextually.Eduard-Mihai Burtescu-121/+71
2017-12-17miri: use separate Pointer and Align instead of PtrAndAlign.Eduard-Mihai Burtescu-10/+4
2017-12-17miri: track the Align instead of packedness in PtrAndAlign.Eduard-Mihai Burtescu-34/+32
2017-12-14Move mir validation out of treeOliver Schneider-401/+8
2017-12-12Move large chunks of miri from rustc::mir::interpret to rustc_mir::interpretOliver Schneider-0/+1534