about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/float_nan.rs
AgeCommit message (Expand)AuthorLines
2023-12-04use `assume(idx < self.len())` in `[T]::get_unchecked`bendn-2/+2
2023-10-12fmtRalf Jung-5/+2
2023-10-09float-to-float casts also have non-deterministic NaN resultsRalf Jung-0/+90
2023-10-09ensure unary minus propagates NaN payloads exactlyRalf Jung-0/+8
2023-10-08miri: make NaN generation non-deterministicRalf Jung-0/+316