diff options
| author | Yuki Okushi <jtitor@2k36.org> | 2021-06-10 11:02:16 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-10 11:02:16 +0900 |
| commit | a6b7e1c121152a222e732fb71c2eeb1bfb9c1d3d (patch) | |
| tree | cbfcb9c27ad541727eb62e4aeb2fcfe62125870d | |
| parent | f7aea23bd2df97fdc4a4d31a32cacef4408e03c0 (diff) | |
| parent | b757a5e8280acf8f7fa3f3457b6493ddcb0e9954 (diff) | |
| download | rust-a6b7e1c121152a222e732fb71c2eeb1bfb9c1d3d.tar.gz rust-a6b7e1c121152a222e732fb71c2eeb1bfb9c1d3d.zip | |
Rollup merge of #86175 - RalfJung:miri, r=RalfJung
update Miri We had some nice PRs land today, let's ship those. :) Cc `@rust-lang/miri` r? `@ghost`
| m--------- | src/tools/miri | 24 |
1 files changed, 15 insertions, 9 deletions
diff --git a/src/tools/miri b/src/tools/miri -Subproject c8713c2f9fc1e28c90876b9ec9557d8c5729757 +Subproject e5c3af6f516311cc4b1fc017c58d83b7442cbc3 |