summaryrefslogtreecommitdiff
path: root/tools/standalone_miri/hir_sim.cpp
AgeCommit message (Expand)AuthorFilesLines
2019-08-18Standalone MIRI - Correct handling of function typesJohn Hodge1-28/+40
2019-08-08Standalone MIRI - Downgrade an error based on observed patternsJohn Hodge1-0/+1
2019-08-05Standalone MIRI - Various improvementsJohn Hodge1-0/+48
2019-07-14standalone_miri - Fix after MIR refactorJohn Hodge1-4/+3
2018-05-19Standalone MIRI - Clean up more direct uses of TypeRef.wrappersJohn Hodge1-96/+111
2018-05-19Standalone MIRI - Remove direct uses of TypeRef.wrappersJohn Hodge1-5/+35
2018-05-19Standalone MIRI - Use some more helpersJohn Hodge1-5/+9
2018-05-13Standalone MIRI - Better vtable handling, fix to offset with null pointersJohn Hodge1-12/+18
2018-03-17Standalone MIRI - size_of_val and drop_in_placeJohn Hodge1-0/+30
2018-03-17Standalone MIRI - Coming along slowly.John Hodge1-2/+39
2018-02-25Standalone MIR - Better drop handling, RValue::Struct, RValue::SizedArray, ...John Hodge1-3/+12
2018-02-23Standalone MIRI - Slice derefs, pointer comparisons, uni-ops, intrinsics, str...John Hodge1-0/+19
2018-02-18Standalone MIRI - "atomic_store" intrinsic, Terminator::Switch, handle ! localsJohn Hodge1-1/+3
2018-02-17Standalone MIRI - Refactor Value/Allocation handling to allow deref to work.John Hodge1-2/+0
2018-02-16Standalone MIRI - Hacking along, hit a blocker that will need some refactor.John Hodge1-0/+16
2018-02-11Standalone MIRI - Working borrow (for now)John Hodge1-1/+0
2018-02-11Standalone MIRI - Implementation sprint, statics in process.John Hodge1-1/+25
2018-01-28standalone_miri - Up to attempting to run `hello`John Hodge1-5/+11
2018-01-26standalone_miri - Lots of work with parser.John Hodge1-3/+50
2018-01-24standalone_miri - New side-tool to attempt to execute pre-monomorphised MIRJohn Hodge1-0/+201