| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2018-03-08 | Allow writing mutable statics in miri by adding them to the Machine | Oliver Schneider | -1/+8 |
| 2018-03-08 | Fully use miri in trans | Oliver Schneider | -12/+16 |
| 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 |
