summaryrefslogtreecommitdiff
path: root/vsproject/standalone_miri
AgeCommit message (Expand)AuthorFilesLines
2019-10-26All - Compilation fixes on VS2015 (constructors, warnings, missing files, cla...John Hodge2-2/+10
2018-09-09Msvc compile fixesJohn Hodge2-0/+4
2018-02-18Standalone MIRI - Implement BinOp comparisons and Terminator::IfJohn Hodge1-2/+2
2018-02-16Standalone MIRI - Hacking along, hit a blocker that will need some refactor.John Hodge2-3/+10
2018-02-11Standalone MIRI - Implementation sprint, statics in process.John Hodge1-0/+5
2018-01-24standalone_miri - New side-tool to attempt to execute pre-monomorphised MIRJohn Hodge3-0/+238