diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-03-18 05:21:57 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-18 05:21:57 +0100 |
| commit | d3dc65be66d5abac5f017ce673d5aa600e46e55e (patch) | |
| tree | f876d4cafb06bc299d96c053ef5961744a824200 /src | |
| parent | 7ec0c2f633112f6425a65b7bfde2eb0d894237f6 (diff) | |
| parent | 9e187211199f2697792f3833e7b88fe2a07de828 (diff) | |
| download | rust-d3dc65be66d5abac5f017ce673d5aa600e46e55e.tar.gz rust-d3dc65be66d5abac5f017ce673d5aa600e46e55e.zip | |
Rollup merge of #95048 - RalfJung:miri, r=RalfJung
update Miri Let's get those SIMD intrinsics out there. :) r? `@ghost`
Diffstat (limited to 'src')
| m--------- | src/tools/miri | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/tools/miri b/src/tools/miri -Subproject 7bc0c986217629e6c831edcb133532023a5aec6 +Subproject 8e818ffa1b85f4e740c4096fd38c62b2b73f4d8 |