half rust

Total: 120 trials · 0 passed · 120 failed

IEEE 754 binary16 (f16) and bfloat16 support — ETNA workload.

Crate: half
Base commit: bd25b96c3d6c

Per-property results

Propertypassedfailedotherverdict
F16MaxMinNan0400bug found
F16OrdSignMagnitude0400bug found
F16SubnormalRoundtrip0400bug found