Diffusion Poly/ML c7b6e24cda93

Merge branch 'IEEERealFixes' into RealNumberConversion
c7b6e24cda93
Actions

Tags

None

Subscribers

None

Description

Merge branch 'IEEERealFixes' into RealNumberConversion

Details

Provenance

dcjm	Authored on Nov 8 2023, 9:01 PM

Parents

rPOLYMLcfcfde9da25a: Move the test code to avoid a merge conflict.
rPOLYML88d447d8261e: Add a regression test for conversion. This currently fails because Real/32.

Branches

Unknown

Tags

Unknown

Event Timeline

dcjm committed rPOLYMLc7b6e24cda93: Merge branch 'IEEERealFixes' into RealNumberConversion (authored by dcjm).Nov 8 2023, 9:01 PM

Merged Changes

cfcfde9da25a Move the test code to avoid a merge conflict.
Author
dcjm
Browse Repository
No Builds
No Audits
e6a7062064b6 Fix test to use "verify" consistently rather than "check".
Author
dcjm
Browse Repository
No Builds
No Audits
5a8a17d34a3e Move tests for IEEEReal.scan from Test017 to Test198. Correct one of the tests…
Author
dcjm
Browse Repository
No Builds
No Audits
4c4c57712caf Add a regression test for real scan and fromString. Currently only contains a…
Author
dcjm
Browse Repository
No Builds
No Audits
ada6599d7835 Define Real.scan and Real.fromString in terms of IEEEReal.scan and IEEEReal.
Author
dcjm
Browse Repository
No Builds
No Audits
6c9cac664894 Merge commit '821b3dd8ed17e3a8cefbcc3418f625cf04e215fd' into IEEERealFixes
Author
dcjm
Browse Repository
No Builds
No Audits
821b3dd8ed17 Fix error in exponent when both leading and trailing are nonempty
Author
quanrong <quanrong@mailbox.org>
Browse Repository
No Builds
No Audits
5318f518687c Add clarifying comment
Author
quanrong <quanrong@mailbox.org>
Browse Repository
No Builds
No Audits
bf1f331926d9 Fix exp calculation according to the Basis spec
Author
quanrong <quanrong@mailbox.org>
Browse Repository
No Builds
No Audits
8cb5a80011ef Refactor the removing of leading and trailing zeros
Author
quanrong <quanrong@mailbox.org>
Browse Repository
No Builds
No Audits
0c6a7c1a7ba5 fromString: remove possible leading zeros in il@fl
Author
quanrong <quanrong@mailbox.org>
Browse Repository
No Builds
No Audits
7c75068a3724 fromString: fix overflow when exponent is too long but base is zero
Author
quanrong <quanrong@mailbox.org>
Browse Repository
No Builds
No Audits
6389f9b0c0e2 fromString: remove possible trailing zeros in il@fl
Author
quanrong <quanrong@mailbox.org>
Browse Repository
No Builds
No Audits

Changes (4)

Path

Size

Tests/

Succeed/

basis/

rPOLYMLc7b6e24cda93

Tests/Succeed/Test017.ML

Loading...

Tests/Succeed/Test200.ML

Loading...

basis/IEEEReal.sml

Loading...

basis/Real.sml

Loading...