summaryrefslogtreecommitdiff
path: root/tools/standalone_miri/value.cpp
AgeCommit message (Expand)AuthorFilesLines
2018-03-17Standalone MIRI - size_of_val and drop_in_placeJohn Hodge1-3/+3
2018-03-17Standalone MIRI - Coming along slowly.John Hodge1-22/+130
2018-03-17Standalone MIRI - Filled with hacks, but advancingJohn Hodge1-6/+31
2018-03-17Standalone Miri - More work blasting alongJohn Hodge1-3/+47
2018-03-17Standalone MIRI - Fiddling aroundJohn Hodge1-2/+22
2018-02-25Standalone MIR - Better drop handling, RValue::Struct, RValue::SizedArray, ...John Hodge1-9/+22
2018-02-23Standalone MIRI - Slice derefs, pointer comparisons, uni-ops, intrinsics, str...John Hodge1-14/+28
2018-02-18Standalone MIRI - "atomic_store" intrinsic, Terminator::Switch, handle ! localsJohn Hodge1-4/+46
2018-02-17Standalone MIRI - Refactor Value/Allocation handling to allow deref to work.John Hodge1-193/+258
2018-02-16Standalone MIRI - Hacking along, hit a blocker that will need some refactor.John Hodge1-25/+140
2018-02-11Standalone MIRI - Working borrow (for now)John Hodge1-3/+9
2018-02-11Standalone MIRI - Implementation sprint, statics in process.John Hodge1-12/+171
2018-01-24standalone_miri - New side-tool to attempt to execute pre-monomorphised MIRJohn Hodge1-0/+178