Printing floating points

Ola Fosheim Grøstad ola.fosheim.grostad at gmail.com
Tue Jan 26 16:31:35 UTC 2021


On Monday, 25 January 2021 at 21:40:01 UTC, Bruce Carneal wrote:
> If I'm wrong, if it really is as you say "no problem", then the 
> RYU author sure wasted a lot of time on the proof in his PLDI 
> 2018 paper.

Why is that? If the proof is for the algorithm then it has 
nothing to do with proving your implementation to be correct.



More information about the Digitalmars-d mailing list