HomeIsabelle/Phabricator
Diffusion Poly/ML 7c75068a3724

fromString: fix overflow when exponent is too long but base is zero
7c75068a3724
Actions

Description

fromString: fix overflow when exponent is too long but base is zero

Details

Provenance
quanrong <quanrong@mailbox.org>Authored on May 31 2023, 8:25 PM
Parents
rPOLYML6389f9b0c0e2: fromString: remove possible trailing zeros in il@fl
Branches
Unknown
Tags
Unknown

Event Timeline

quanrong <quanrong@mailbox.org> committed rPOLYML7c75068a3724: fromString: fix overflow when exponent is too long but base is zero (authored by quanrong <quanrong@mailbox.org>).May 31 2023, 8:25 PM

Changes (1)

PathSize
basis/

rPOLYML7c75068a3724

View Options

basis/IEEEReal.sml

Loading...