diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-11-08 11:32:14 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-11-08 11:32:14 -0500 |
| commit | 6773e9415f01113e754b6a7d99a8a5a2954159fe (patch) | |
| tree | 349d50c9b1f2fa862cbe83b6d85221e901696afc /src/Specific/GF25519Reflective | |
| parent | 8e4bb5c439a8b97c2b8ad625bed69e8b2ae10b43 (diff) | |
Fix some qualified name issues with previous commit
Also add lemmas to push_word64ToZ, pull_word64ToZ
Diffstat (limited to 'src/Specific/GF25519Reflective')
0 files changed, 0 insertions, 0 deletions