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