Message 149556 - Python tracker

Message149556

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.0013360763
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?

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:52	skrah	set	recipients: + skrah, rhettinger, amaury.forgeotdarc, mark.dickinson, pitrou, vstinner, casevh, eric.smith, jjconti, ced, brian.curtin, eric.snow
2011-12-15 14:00:52	skrah	set	messageid: <1323957652.29.0.640111460598.issue7652@psf.upfronthosting.co.za>
2011-12-15 14:00:51	skrah	link	issue7652 messages
2011-12-15 14:00:51	skrah	create