aboutsummaryrefslogtreecommitdiff
path: root/src/Util/Notations.v
diff options
context:
space:
mode:
authorGravatar Andres Erbsen <andreser@google.com>2017-12-22 09:52:53 -0500
committerGravatar Andres Erbsen <andreser@mit.edu>2017-12-22 12:55:33 -0500
commit7363dad9516855597ba144232b86c4e7c577ad8f (patch)
tree7feeb18565cfcc4ce2e09382766eda094370ea31 /src/Util/Notations.v
parentfc61ab5b877cc1ca3960df1f38bbbf9b9a3d349c (diff)
restore fastpath logic in Curves.Montgomery.XZProofs
Diffstat (limited to 'src/Util/Notations.v')
0 files changed, 0 insertions, 0 deletions