Mark Dickinson <dicki...@gmail.com> added the comment: > 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. ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue7632> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
