Author skrah
Recipients amaury.forgeotdarc, brian.curtin, casevh, ced, eric.smith, eric.snow, haypo, jjconti, mark.dickinson, pitrou, rhettinger, skrah
Date 2011-12-15.14:00:50
SpamBayes Score 0.00133608
Marked as misclassified No
Message-id <1323957652.29.0.640111460598.issue7652@psf.upfronthosting.co.za>
In-reply-to
Content
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?
History
Date User Action Args
2011-12-15 14:00:52skrahsetrecipients: + skrah, rhettinger, amaury.forgeotdarc, mark.dickinson, pitrou, haypo, casevh, eric.smith, jjconti, ced, brian.curtin, eric.snow
2011-12-15 14:00:52skrahsetmessageid: <1323957652.29.0.640111460598.issue7652@psf.upfronthosting.co.za>
2011-12-15 14:00:51skrahlinkissue7652 messages
2011-12-15 14:00:51skrahcreate