aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/GF25519Reflective.v
Commit message (Expand)AuthorAge
* Switch to fully uncurried form for reflectionGravatar Jason Gross2017-03-01
* Split off some bits of Reflection.SyntaxGravatar Jason Gross2017-01-26
* Remove the Const constructor of exprfGravatar Jason Gross2017-01-19
* Fix some problems with previous commitGravatar Jason Gross2016-11-17
* Split fixedpoint in interpfGravatar Jason Gross2016-11-16
* Support for 128-bit wordsGravatar Jason Gross2016-11-14
* Freeze stubsGravatar Jason Gross2016-11-11
* Plug in boundedness proofsGravatar Jason Gross2016-11-05
* Make it easier to extract word64Gravatar Jason Gross2016-10-31
* Switch to reflective bounded word in Ed25519Gravatar Jason Gross2016-10-31
* Add src/Specific/GF25519Reflective.vGravatar Jason Gross2016-10-31
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 16:09:33 +0000