LOG/LOGP1 decision, correct-rounding returns different results, so keep both
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 12 Aug 2019 13:47:30 +0000 (14:47 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 12 Aug 2019 13:47:30 +0000 (14:47 +0100)
commita609bd9d9b4d057d2b642e3c062100684fffd461
tree02c60428932eda29076cea051a04a7f2f8bf26df
parentfd803c6486375375f50230a8574987c09556bba4
LOG/LOGP1 decision, correct-rounding returns different results, so keep both
also add half_recip/native_recip and point at synthesis
ztrans_proposal.mdwn