aboutsummaryrefslogtreecommitdiff
path: root/src/Curves
Commit message (Expand)AuthorAge
...
* | fix the makefile to not rebuild + module renamingGravatar Robert Sloan2015-10-22
| * disable Curve25519 until PointFormats is parametric or we give up and retryGravatar Andres Erbsen2015-10-22
| * refactor pointformats to use have a module type of correct implementationsGravatar Andres Erbsen2015-10-22
|/
* pull changes from desktopGravatar Robert Sloan2015-10-19
* pull changes from desktopGravatar Robert Sloan2015-10-19
* Small PointFormats tweaks while reading throughGravatar Adam Chlipala2015-10-12
* comment out edwards<->montgomery conversionGravatar Andres Erbsen2015-10-08
* refactor point formats to use modules and prove some lemmasGravatar Andres Erbsen2015-10-07
* in case of not-on-curve points, extended coordinate addition and twisted coor...Gravatar Andres Erbsen2015-09-21
* montgomery ladder definitionGravatar Andres Erbsen2015-09-21
* make ring decidable + define constantsGravatar Robert Sloan2015-09-19
* Curves: elliptic curve point format record declarations and some invariantsGravatar Andres Erbsen2015-09-18
* fix module structure + add assembly placeholderGravatar Robert Sloan2015-09-17
* redo module structure + init curve25519Gravatar Robert Sloan2015-09-16
* init our centralized repoGravatar Robert Sloan2015-09-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-24 13:54:58 +0000