Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Better specs (F-based) for mulmod | Jason Gross | 2017-06-19 |
* | add 128-bit display file | Jason Gross | 2017-06-17 |
index : fiat-crypto | ||
fast, formally verified cryptography |
aboutsummaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Better specs (F-based) for mulmod | Jason Gross | 2017-06-19 |
* | add 128-bit display file | Jason Gross | 2017-06-17 |