HomeIsabelle/Phabricator

Implement floating point comparisons. Check overflow on floating-point to int…

Description

Implement floating point comparisons. Check overflow on floating-point to int conversion.

Details

Provenance
dcjmAuthored on Mar 3 2021, 4:46 PM
Parents
rPOLYML45c3b121901b: Convert int directly to Real32.real rather than via Real.real. Implement…
Branches
Unknown
Tags
Unknown