Message149559
> 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). |
|
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 | |
|