summary refs log tree commit diff
path: root/src/librustc_mir/interpret/machine.rs
AgeCommit message (Expand)AuthorLines
2018-07-04Move `Eq + Hash + Clone` bounds to `Machine`Dylan MacKenzie-1/+1
2018-07-04Implement Clone, Eq and Hash for the heap and stackDylan MacKenzie-1/+3
2018-05-24Rename MemoryPointer to PointerOliver Schneider-2/+2
2018-05-24Rename PrimVal to ScalarOliver Schneider-4/+4
2018-05-19Use `Size` instead of `u64` in mir interpretationOliver Schneider-1/+2
2018-03-08Allow writing mutable statics in miri by adding them to the MachineOliver Schneider-1/+8
2018-03-08Fully use miri in transOliver Schneider-12/+16
2018-01-05miri: use AllocId instead of u64.Eduard-Mihai Burtescu-3/+3
2017-12-14Move mir validation out of treeOliver Schneider-2/+39
2017-12-12Move large chunks of miri from rustc::mir::interpret to rustc_mir::interpretOliver Schneider-0/+80