]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: aa04ffb 6bda2e8)
Rollup merge of #74241 - RalfJung:miri, r=RalfJung
authorManish Goregaokar <manishsmail@gmail.com>
Sat, 11 Jul 2020 15:53:29 +0000 (08:53 -0700)
committerGitHub <noreply@github.com>
Sat, 11 Jul 2020 15:53:29 +0000 (08:53 -0700)
commit95c5fb850e6b8bf2a5e4a69775b9254812afcfbc
tree0ca16e0243d13bb807b846372dd2d147fc0b95d8tree | snapshot
parentaa04ffb61a3e563eb4555057f897191f3ab49386commit | diff
parent6bda2e8a7dbd5e0c0263b26ab89f9fe62920824ccommit | diff
Rollup merge of #74241 - RalfJung:miri, r=RalfJung

update miri

This incorporates https://github.com/rust-lang/miri/pull/1474. [Last time](https://github.com/rust-lang/rust/pull/74146) that change caused trouble but I fixed xargo since then and [now it should work](https://github.com/rust-lang/rust/pull/74146#issuecomment-657051446).

Cc @rust-lang/miri r? @ghost
Empowering everyone to build reliable and efficient software.