| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2018-01-05 | miri: use AllocId instead of u64. | Eduard-Mihai Burtescu | -42/+42 |
| 2017-12-17 | miri: pass pointer alignments directly instead of contextually. | Eduard-Mihai Burtescu | -121/+71 |
| 2017-12-17 | miri: use separate Pointer and Align instead of PtrAndAlign. | Eduard-Mihai Burtescu | -10/+4 |
| 2017-12-17 | miri: track the Align instead of packedness in PtrAndAlign. | Eduard-Mihai Burtescu | -34/+32 |
| 2017-12-14 | Move mir validation out of tree | Oliver Schneider | -401/+8 |
| 2017-12-12 | Move large chunks of miri from rustc::mir::interpret to rustc_mir::interpret | Oliver Schneider | -0/+1534 |
