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