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 skrah
Recipients amaury.forgeotdarc, brian.curtin, casevh, ced, eric.smith, eric.snow, jjconti, mark.dickinson, pitrou, rhettinger, skrah, vstinner
Date 2011-12-15.14:00:50
SpamBayes Score 0.00133608
Marked as misclassified No
Message-id <>
Amaury has asked for more comments (and I agree). However, I'm not sure what 
level of detail would be appropriate. As an example, I've posted the full
proof of the x87 modular multiplication in umodarith.h.

Even with the Coq parts stripped, this would still be a massive comment.

Would you prefer that level of detail or should I just post the core
of the algorithm?
Date User Action Args
2011-12-15 14:00:52skrahsetrecipients: + skrah, rhettinger, amaury.forgeotdarc, mark.dickinson, pitrou, vstinner, casevh, eric.smith, jjconti, ced, brian.curtin, eric.snow
2011-12-15 14:00:52skrahsetmessageid: <>
2011-12-15 14:00:51skrahlinkissue7652 messages
2011-12-15 14:00:51skrahcreate