➜

This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Author mark.dickinson
Recipients eric.smith, mark.dickinson, skrah, tim.peters
Date 2010-01-10.21:53:42
SpamBayes Score 4.567605e-05
Marked as misclassified No
Message-id <1263160424.35.0.150803455187.issue7632@psf.upfronthosting.co.za>
In-reply-to
Content 
> Showing once again that a proof of FP code correctness is about as
> compelling as a proof of God's ontological status ;-)

Clearly we need a 1000-page Isabelle/HOL-style machine-checked formal proof, rather than a ten-page TeX proof.  Any takers?

All of the above bugs seem to have been introduced with the new 'bigcomp' code that arrived on March 16, 2009, just a couple of weeks before I downloaded the version that got adapted for Python;  in retrospect, I probably should have used the NO_STRTOD_BIGCOMP #define to bypass the new code.
History
Date User Action Args
2010-01-10 21:53:44mark.dickinsonsetrecipients: + mark.dickinson, tim.peters, eric.smith, skrah
2010-01-10 21:53:44mark.dickinsonsetmessageid: <1263160424.35.0.150803455187.issue7632@psf.upfronthosting.co.za>
2010-01-10 21:53:42mark.dickinsonlinkissue7632 messages
2010-01-10 21:53:42mark.dickinsoncreate