diff options
author | Jason Gross <jgross@mit.edu> | 2016-11-14 20:47:58 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2016-11-14 20:47:58 -0500 |
commit | e6c07d9cd3cf14ff28b3d3daa9942f9fe2fa90dd (patch) | |
tree | 448b13272bab774e59b38207d582ae4e5bf9e7bb /src/Specific/GF25519Reflective/CommonBinOp.v | |
parent | b68e0ebe9c9064fa90ff47dc794674310d86a8d7 (diff) |
Update sqrtm1 for 3mod4
Diffstat (limited to 'src/Specific/GF25519Reflective/CommonBinOp.v')
0 files changed, 0 insertions, 0 deletions