about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/float_nan.rs
AgeCommit message (Expand)AuthorLines
2025-09-22share check_all_outcomes impl, and increase max iteration countsRalf Jung-31/+6
2025-09-10this apparently needs more test roundsRalf Jung-1/+5
2025-09-10also use nicer check_all_outcomes in float_nanRalf Jung-177/+142
2025-06-29add float_nan test for powfRalf Jung-0/+26
2024-02-25fix use of platform_intrinsics in testsRalf Jung-7/+1
2024-01-06implement the rounding intrinsics using apfloat roundingRalf Jung-0/+8
2023-12-28don't test unspecified caseRalf Jung-22/+0
2023-12-28NaN non-determinism for SIMD intrinsicsRalf Jung-1/+57
2023-12-28add NaN-nondet to libm functionsRalf Jung-0/+40
2023-12-28make float intrinsics return non-deterministic NaNRalf Jung-0/+98
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