| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2019-08-05 | Standalone MIRI - Various improvements | John Hodge | 1 | -0/+2 |
| 2019-08-04 | Standalone MIRI - Properly tagged FFI pointers | John Hodge | 1 | -3/+4 |
| 2019-08-04 | Standalone MIRI - Restructure so `0` is never a valid pointer value | John Hodge | 1 | -3/+3 |
| 2019-07-20 | Standalone MIRI - Name tags on allocations | John Hodge | 1 | -2/+2 |
| 2019-05-15 | standalone_miri - Fix for MIR changes, fiddling with FFI | John Hodge | 1 | -2/+2 |
| 2018-06-03 | Standalone MIRI - Fix parse errors from mrustc changes, add recursion limit | John Hodge | 1 | -1/+22 |
| 2018-05-19 | Standalone MIRI - Remove direct uses of TypeRef.wrappers | John Hodge | 1 | -3/+1 |
| 2018-05-19 | Standalone MIRI - Use some more helpers | John Hodge | 1 | -11/+7 |
| 2018-05-19 | Standalone MIRI - Better logging (can redirect to a file, leaving stdout for ... | John Hodge | 1 | -12/+49 |
| 2018-05-19 | Standalone MIRI - Pass argv to the target | John Hodge | 1 | -2/+44 |
| 2018-05-16 | Standalone MIRI - Split interpreter into its own file | John Hodge | 1 | -2364/+5 |
| 2018-05-15 | Standalone MIRI - Split AllocationPtr into AllocationHandle and RelocationPtr | John Hodge | 1 | -51/+43 |
| 2018-05-13 | Standalone MIRI - Refactor to remove linkage of host and VM stack | John Hodge | 1 | -1127/+1263 |
| 2018-05-13 | Standalone MIRI - Working hello.rs | John Hodge | 1 | -3/+32 |
| 2018-05-13 | Standalone MIRI - Shallow drops and better tracing | John Hodge | 1 | -10/+66 |
| 2018-05-13 | Standalone MIRI - Misc cleanups | John Hodge | 1 | -10/+18 |
| 2018-05-13 | Standalone MIRI - memrchr and better null checking | John Hodge | 1 | -0/+22 |
| 2018-05-13 | Standalone MIRI - Better vtable handling, fix to offset with null pointers | John Hodge | 1 | -15/+16 |
| 2018-05-13 | Standalone MIRI - Atomic add, catch_panic | John Hodge | 1 | -22/+72 |
| 2018-05-12 | Standalone MIRI - TLS and some other messing about | John Hodge | 1 | -24/+120 |
| 2018-05-12 | Standalone MIRI - Fiddling around | John Hodge | 1 | -5/+9 |
| 2018-05-12 | Standalone MIRI - Better handling of statics | John Hodge | 1 | -3/+20 |
| 2018-05-12 | Standalone MIRI - Get type for statics, add some pthread_* FFI stubs | John Hodge | 1 | -10/+33 |
| 2018-05-12 | Standalone Miri - More implementation work | John Hodge | 1 | -9/+42 |
| 2018-05-12 | Standalone Miri - Linux build support | John Hodge | 1 | -1/+48 |
| 2018-03-17 | Standalone MIRI - size_of_val and drop_in_place | John Hodge | 1 | -67/+169 |
| 2018-03-17 | Standalone MIRI - Coming along slowly. | John Hodge | 1 | -72/+185 |
| 2018-03-17 | Standalone MIRI - Filled with hacks, but advancing | John Hodge | 1 | -37/+129 |
| 2018-03-17 | Standalone Miri - More work blasting along | John Hodge | 1 | -14/+114 |
| 2018-03-17 | Standalone MIRI - Fiddling around | John Hodge | 1 | -35/+302 |
| 2018-02-25 | Standalone MIRI - __rust_allocate, slice deref | John Hodge | 1 | -2/+34 |
| 2018-02-25 | Standalone MIR - Better drop handling, RValue::Struct, RValue::SizedArray, ... | John Hodge | 1 | -29/+83 |
| 2018-02-24 | Standalone MIRI + Codegen MMIR - Drop support | John Hodge | 1 | -8/+58 |
| 2018-02-23 | Standalone MIRI - Slice derefs, pointer comparisons, uni-ops, intrinsics, str... | John Hodge | 1 | -93/+323 |
| 2018-02-18 | Standalone MIRI - Implement BinOp comparisons and Terminator::If | John Hodge | 1 | -15/+170 |
| 2018-02-18 | Standalone MIRI - Wrap an external function. | John Hodge | 1 | -3/+27 |
| 2018-02-18 | Standalone MIRI - "atomic_store" intrinsic, Terminator::Switch, handle ! locals | John Hodge | 1 | -13/+83 |
| 2018-02-17 | Standalone MIRI - Refactor Value/Allocation handling to allow deref to work. | John Hodge | 1 | -93/+91 |
| 2018-02-16 | Standalone MIRI - Hacking along, hit a blocker that will need some refactor. | John Hodge | 1 | -19/+210 |
| 2018-02-11 | Standalone MIRI - Working borrow (for now) | John Hodge | 1 | -6/+11 |
| 2018-02-11 | Standalone MIRI - Implementation sprint, statics in process. | John Hodge | 1 | -7/+149 |
| 2018-01-24 | standalone_miri - New side-tool to attempt to execute pre-monomorphised MIR | John Hodge | 1 | -0/+325 |
