summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2018-03-16Automatically enable the `clippy` feature of `rls` if clippy buildsOliver Schneider-18/+18
2018-02-05Update clippy and miri submoduleOliver Schneider-16/+18
2017-12-27cargo update and add miri as the rustc workspace member.kennytm-18/+16
2017-12-15Allow easily creating cheap eval context instancesOliver Schneider-18/+18
2017-12-14Move mir validation out of treeOliver Schneider-5/+21
2017-12-06Update miri submoduleOliver Schneider-5/+5
2017-12-06Update miri to rustc changesOliver Schneider-8/+5
2017-09-17Update miri submoduleOliver Schneider-22/+8
2017-09-17Get the miri test suite to run inside the rustc dev environmentOliver Schneider-0/+23