HomeIsabelle/Phabricator
Diffusion Poly/ML 6389f9b0c0e2

fromString: remove possible trailing zeros in il@fl
6389f9b0c0e2
Actions

Description

fromString: remove possible trailing zeros in il@fl

Details

Provenance
quanrong <quanrong@mailbox.org>Authored on May 31 2023, 8:23 PM
Parents
rPOLYMLa5d5fba90286: Reset the save-vec after calls to the objsize function. Includes regression…
Branches
Unknown
Tags
Unknown

Event Timeline

quanrong <quanrong@mailbox.org> committed rPOLYML6389f9b0c0e2: fromString: remove possible trailing zeros in il@fl (authored by quanrong <quanrong@mailbox.org>).May 31 2023, 8:23 PM

Changes (1)

PathSize
basis/

rPOLYML6389f9b0c0e2

View Options

basis/IEEEReal.sml

Loading...