diff options
author | Martin <martin.brain@cs.ox.ac.uk> | 2019-05-21 18:49:37 +0100 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2019-05-21 10:49:37 -0700 |
commit | 1c1c178db1755a441792d84465dcb8397f1f2011 (patch) | |
tree | 3c9f0d90bf2aabb0bab790767ad5de5170e985e2 /contrib/get-symfpu | |
parent | 16ade2e20b6fd2afc49b8ea70d128ae665dff409 (diff) |
Update to symfpu 0.0.7, fixes RTI 3/5 issue (#3007)
Fixes #2932. fp.roundToIntegral was rounding some very small subnormals up to
between 1 and 2, which is A. wrong and B. not idempotent. The
corresponding symfpu update fixes this as it was an overflow caused
by the unpacked significand not being able to represent an extra
significand bits.
Diffstat (limited to 'contrib/get-symfpu')
-rwxr-xr-x | contrib/get-symfpu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/get-symfpu b/contrib/get-symfpu index 705e9d873..a31d27e06 100755 --- a/contrib/get-symfpu +++ b/contrib/get-symfpu @@ -9,7 +9,7 @@ if [ -e $wdir ]; then exit 1 fi -commit="1273dc9379b36af1461fe04aa453db82408006cf" +commit="8fbe139bf0071cbe0758d2f6690a546c69ff0053" mkdir $wdir cd $wdir |