diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-11-14 22:18:51 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-11-14 22:18:51 -0500 |
| commit | 1c4ab0f67cf8350add23b8feff5df563ceded904 (patch) | |
| tree | 70d83605f46f11aaf718fed86b35b3117fa40a5e /src/SpecificGen/GF41417_32BoundedCommon.v | |
| parent | 43c5265c24bd1df125f8de00d1f89379a920659a (diff) | |
Speed up some GF25519 tactics
Diffstat (limited to 'src/SpecificGen/GF41417_32BoundedCommon.v')
0 files changed, 0 insertions, 0 deletions