| Age | Commit message (Expand) | 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 |
| 2018-05-12 | minicargo.mk - Support building MMIR (and script to do so) | John Hodge | 1 | -0/+6 |
 |
index : mrust | |
| [no description] | Dyson |
| summaryrefslogtreecommitdiff |
path: root/test_smiri.sh