Message 149559 - Python tracker

➜

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	pitrou
Recipients	amaury.forgeotdarc, brian.curtin, casevh, ced, eric.smith, eric.snow, jjconti, mark.dickinson, pitrou, rhettinger, skrah, vstinner
Date	2011年12月15日.14:12:24
SpamBayes Score	7.285171e-05
Marked as misclassified	No
Message-id	<1323958323.3345.3.camel@localhost.localdomain>
In-reply-to	<1323957652.29.0.640111460598.issue7652@psf.upfronthosting.co.za>

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. You could ship it as a separate .txt file (like we have e.g. Objects/dict_notes.txt).

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.
You could ship it as a separate .txt file (like we have e.g.
Objects/dict_notes.txt).

History
Date	User	Action	Args
2011年12月15日 14:12:25	pitrou	set	recipients: + pitrou, rhettinger, amaury.forgeotdarc, mark.dickinson, vstinner, casevh, eric.smith, jjconti, ced, brian.curtin, skrah, eric.snow
2011年12月15日 14:12:24	pitrou	link	issue7652 messages
2011年12月15日 14:12:24	pitrou	create

homepage