Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2019-10-13 | test_smiri - Tweaks from use for debugging | John Hodge | 1 | -3/+4 | |
2018-06-03 | Standalone MIRI - Fix parse errors from mrustc changes, add recursion limit | John Hodge | 1 | -0/+1 | |
2018-05-19 | Standalone MIRI - Use some more helpers | John Hodge | 1 | -1/+3 | |
2018-05-19 | Standalone MIRI - Better logging (can redirect to a file, leaving stdout for ↵ | John Hodge | 1 | -1/+1 | |
the program) | |||||
2018-05-12 | minicargo.mk - Support building MMIR (and script to do so) | John Hodge | 1 | -0/+6 | |