HomeIsabelle/Phabricator

Implement conversion to arbitrary precision within ML. There is a separate…

Description

Implement conversion to arbitrary precision within ML. There is a separate implementation for Real32.real rather than converting to Real.real.

Details

Provenance
dcjmAuthored on Nov 16 2023, 6:09 PM
Parents
rPOLYML9e2b0bf6ad06: Bug fix for X86 code-generator. If a work register is required for a JumpLoop…
Branches
Unknown
Tags
Unknown