| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2018-01-05 | miri: use AllocId instead of u64. | Eduard-Mihai Burtescu | -3/+3 |
| 2017-12-14 | Move mir validation out of tree | Oliver Schneider | -2/+39 |
| 2017-12-12 | Move large chunks of miri from rustc::mir::interpret to rustc_mir::interpret | Oliver Schneider | -0/+80 |
