Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add reduce via partial to Montgomery ZBounded | 2016-08-29 | |
* | Remove unused code (still in vcs history, in case we want it later) | 2016-08-09 | |
* | Specify a type of bounded integers for mod arith | 2016-08-09 |
![]() |
index : fiat-crypto | |
fast, formally verified cryptography |
aboutsummaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add reduce via partial to Montgomery ZBounded | 2016-08-29 | |
* | Remove unused code (still in vcs history, in case we want it later) | 2016-08-09 | |
* | Specify a type of bounded integers for mod arith | 2016-08-09 |