Rollup merge of #84481 - RalfJung:miri, r=RalfJung · Dylan-DPC-zz/rust@cb196e6

Commit

Rollup merge of rust-lang#84481 - RalfJung:miri, r=RalfJung

update Miri

Cc ```@rust-lang/miri``` r? ```@ghost```

Dylan-DPC authored Apr 25, 2021

2 parents 4db64df + 00c95a3 commit cb196e6

+5 −4		README.md
+54 −79		cargo-miri/bin.rs
+1 −1		rust-version
+6 −0		tests/run-pass/concurrency/tls_lib_drop.rs
+1 −0		tests/run-pass/concurrency/tls_lib_drop.stdout
+7 −0		tests/run-pass/concurrency/tls_lib_drop_single_thread.rs
+1 −0		tests/run-pass/concurrency/tls_lib_drop_single_thread.stderr
+0 −0		tests/run-pass/concurrency/tls_pthread_drop_order.rs