about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2018-07-29Update miri submoduleOliver Schneider-0/+6
2018-07-29Sanity-check all constantsOliver Schneider-20/+0
2018-07-17update miriRalf Jung-14/+14
2018-07-17update miri (Windows tests fixed)Ralf Jung-14/+14
2018-07-17update miriRalf Jung-5/+19
2018-07-02Updated miri submodule.Alexander Regueiro-19/+5
2018-06-30Update the miri submoduleOliver Schneider-5/+19
2018-06-03update the miri submodule to masterJorge Aparicio-4/+4
2018-06-03update the miri submoduleJorge Aparicio-2/+2
2018-05-31Update miri submoduleOliver Schneider-5/+5
2018-05-31ScalarPair for two element tuples was treated wrongly in closure callsOliver Schneider-5/+5
2018-05-31Update the miri submoduleOliver Schneider-5/+5
2018-05-11Update the clippy and miri submodulesOliver Schneider-22/+5
2018-05-08Fix thinning pointers to extern types in miriOliver Schneider-18/+19
2018-04-23Fix the miri toolOliver Schneider-18/+18
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 02:48:22 +0000