8000 miri: make NaN generation non-deterministic by RalfJung · Pull Request #116551 · rust-lang/rust · GitHub
[go: up one dir, main page]
Skip to content

miri: make NaN generation non-deterministic#116551

Merged
bors merged 3 commits intorust-lang:masterfrom
RalfJung:nondet-nan
Oct 10, 2023
Merged

miri: make NaN generation non-deterministic#116551
bors merged 3 commits intorust-lang:masterfrom
RalfJung:nondet-nan

Commits

Commits on Oct 8, 2023

Commits on Oct 9, 2023
0