summary refs log tree commit diff
path: root/src/librustc_mir/interpret/machine.rs
AgeCommit message (Expand)AuthorLines
2018-09-09miri loop detector hashing: fix enum hashing to also consider discriminant; d...Ralf Jung-7/+7
2018-09-03Implement Hash in terms of HashStable for EvalSnapshotBruno Dutra-2/+4
2018-08-29make ptr_op finally reponsible for all ops involving pointers; make ValTy con...Ralf Jung-6/+4
2018-08-27use associated const for machine controlling mutable staticsRalf Jung-14/+9
2018-08-27allow Machine to hook into foreign statics; remove unused HasMemory traitRalf Jung-11/+10
2018-08-27Miri Memory WorkRalf Jung-56/+27
2018-08-23Add license header to CTFE/MIRIBernardo Meurer-0/+10
2018-08-22miri/CTFE refactorRalf Jung-12/+9
2018-08-19mv (mod) codemap source_mapDonato Sciarra-1/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-07 22:19:04 +0000