aboutsummaryrefslogtreecommitdiff
path: root/src/Curves/Montgomery/XZ.v
Commit message (Expand)AuthorAge
* Import prim token notations before using themGravatar Jason Gross2018-08-24
* Compatibility after Coq PR#262.Gravatar Hugo Herbelin2018-05-14
* move Loops from Experiments to UtilGravatar Andres Erbsen2018-03-27
* Montgomery.XZ, Loops: montladder proof scaffoldingGravatar Andres Erbsen2017-12-22
* Curves.Montgomery.XZ: add+check boringssl ladderstep (#278)Gravatar Andres Erbsen2017-12-05
* use ladderstep from donna (2% faster?)Gravatar Andres Erbsen2017-05-15
* Respond to code review commentsGravatar Jason Gross2017-04-17
* Use the for-loop notation in Montgomery.XZGravatar Jason Gross2017-04-17
* rename-everythingGravatar Andres Erbsen2017-04-06