]> git.lizzy.rs Git - rust.git/commit
Auto merge of #61673 - RalfJung:miri-no-hard-float, r=eddyb,oli-obk
authorbors <bors@rust-lang.org>
Tue, 11 Jun 2019 08:15:12 +0000 (08:15 +0000)
committerbors <bors@rust-lang.org>
Tue, 11 Jun 2019 08:15:12 +0000 (08:15 +0000)
commit912d22e36965d3c9f6d7f14ca18657182aa1fe54
tree3f434240e7a09d49bcd6b88b084ddea93b71da6c
parent9d9c7ad323f95612d933106d65e3057ca9a0434f
parent8dfc8db235e205c60b56e0753996399a6f66f3e1
Auto merge of #61673 - RalfJung:miri-no-hard-float, r=eddyb,oli-obk

Miri: convert to/from apfloat instead of host floats

Cc @oli-obk @eddyb