Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Update redc algorithm | Jason Gross | 2017-06-10 | |
* | Update word-by-word montgomery with ctx vars | Jason Gross | 2017-06-10 | |
* | Finish proving loop invariant for wbw redc | Jason Gross | 2017-06-09 | |
* | Make it clear that the combined definition/proof file is a work in progress | Jason Gross | 2017-06-09 | |
* | Admit-free proof of cS3_mod_N | Jason Gross | 2017-06-09 | |
* | Fix open sections error | Jason Gross | 2017-06-09 | |
* | More WIP on bounds for redc | Jason Gross | 2017-06-09 | |
* | Minor progress on bounds | Jason Gross | 2017-06-09 | |
* | Add pair-programmed wbw montgomery | Jason Gross | 2017-06-09 | |
* | Clean up implementation | Jason Gross | 2017-05-01 | |
* | Use columns rather than positional | Jason Gross | 2017-05-01 | |
* | Use mod (weight (S i) / weight i), not mod (weight i) | Jason Gross | 2017-05-01 | |
* | Initial stab at word-by-word montgomery | Jason Gross | 2017-05-01 | |
* | rename-everything | Andres Erbsen | 2017-04-06 |