summaryrefslogtreecommitdiff
path: root/tools/standalone_miri/main.cpp
AgeCommit message (Expand)AuthorFilesLines
2018-03-17Standalone MIRI - size_of_val and drop_in_placeJohn Hodge1-67/+169
2018-03-17Standalone MIRI - Coming along slowly.John Hodge1-72/+185
2018-03-17Standalone MIRI - Filled with hacks, but advancingJohn Hodge1-37/+129
2018-03-17Standalone Miri - More work blasting alongJohn Hodge1-14/+114
2018-03-17Standalone MIRI - Fiddling aroundJohn Hodge1-35/+302
2018-02-25Standalone MIRI - __rust_allocate, slice derefJohn Hodge1-2/+34
2018-02-25Standalone MIR - Better drop handling, RValue::Struct, RValue::SizedArray, ...John Hodge1-29/+83
2018-02-24Standalone MIRI + Codegen MMIR - Drop supportJohn Hodge1-8/+58
2018-02-23Standalone MIRI - Slice derefs, pointer comparisons, uni-ops, intrinsics, str...John Hodge1-93/+323
2018-02-18Standalone MIRI - Implement BinOp comparisons and Terminator::IfJohn Hodge1-15/+170
2018-02-18Standalone MIRI - Wrap an external function.John Hodge1-3/+27
2018-02-18Standalone MIRI - "atomic_store" intrinsic, Terminator::Switch, handle ! localsJohn Hodge1-13/+83
2018-02-17Standalone MIRI - Refactor Value/Allocation handling to allow deref to work.John Hodge1-93/+91
2018-02-16Standalone MIRI - Hacking along, hit a blocker that will need some refactor.John Hodge1-19/+210
2018-02-11Standalone MIRI - Working borrow (for now)John Hodge1-6/+11
2018-02-11Standalone MIRI - Implementation sprint, statics in process.John Hodge1-7/+149
2018-01-24standalone_miri - New side-tool to attempt to execute pre-monomorphised MIRJohn Hodge1-0/+325