Message149556
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: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 | |
|