aboutsummaryrefslogtreecommitdiff
path: root/src/Galois/GaloisField.v
Commit message (Expand)AuthorAge
* Remove vestigal GaloisField machineryGravatar Robert Sloan2016-06-23
* EdDSA25519 : wrote and proved optimized PointEncoding, which encodes y and th...Gravatar Jade Philipoom2016-06-22
* asdfGravatar Robert Sloan2016-02-08
* simple refactor of makefile; commentsGravatar varomodt2016-01-09
* pull changes from desktopGravatar Robert Sloan2015-10-19
* gfPlus abstractionGravatar Robert Sloan2015-10-16
* overlflow-checking ZToGF functionGravatar Andres Erbsen2015-09-17
* Removed dependency on proof irrelevance (it turns out we had a redundant exis...Gravatar Adam Chlipala2015-09-17
* Got most of the way through new GaloisField codeGravatar Adam Chlipala2015-09-17
* fix module structure + add assembly placeholderGravatar Robert Sloan2015-09-17
* redo module structure + init curve25519Gravatar Robert Sloan2015-09-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-13 21:44:51 +0000