about summary refs log tree commit diff
path: root/src/tools/miri
AgeCommit message (Expand)AuthorLines
2019-04-18Update miriTim Diekmann-14/+14
2019-04-18update miriRalf Jung-14/+14
2019-04-14update miriRalf Jung-14/+14
2019-04-09submodules: update miri from 0e4f963 to 28f2e5bMatthias Krüger-14/+14
2019-04-06Update miriMatthew Jasper-14/+14
2019-04-03update miriRalf Jung-14/+14
2019-04-03update miriRalf Jung-14/+14
2019-03-14update miriRalf Jung-14/+14
2019-03-02Update miriSantiago Pastorino-14/+14
2019-02-24update miriMatthew Jasper-14/+14
2019-02-19update miriRalf Jung-14/+14
2019-02-19update miriRalf Jung-14/+14
2019-01-30update miriRalf Jung-14/+14
2019-01-21update miriRalf Jung-14/+14
2019-01-09update miriRalf Jung-14/+14
2018-12-28Update cargo, rls, miriEric Huss-14/+14
2018-12-08update miriRalf Jung-13/+15
2018-12-03update miriRalf Jung-15/+13
2018-12-03update miriRalf Jung-5/+19
2018-12-03update miriRalf Jung-5/+5
2018-11-24Rebase falloutOliver Scherer-0/+6
2018-11-24update miri submoduleOliver Scherer-0/+0
2018-11-24Update miri submoduleOliver Scherer-6/+0
2018-10-21update miriRalf Jung-19/+5
2018-10-14update miriRalf Jung-5/+19
2018-10-13update miriRalf Jung-5/+5
2018-10-09update miriRalf Jung-5/+5
2018-09-29update miriRalf Jung-5/+5
2018-09-17update miriRalf Jung-5/+5
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-23 01:57:17 +0000