aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/GF25519Reflective/Reified
Commit message (Expand)AuthorAge
* Remove the Const constructor of exprfGravatar Jason Gross2017-01-19
* Add reified LadderStep without carriesGravatar Jason Gross2017-01-07
* Fix some problems with previous commitGravatar Jason Gross2016-11-17
* Remove admits, fill templates, copy boundsGravatar Jason Gross2016-11-17
* Update AddCoordinatesGravatar Jason Gross2016-11-17
* Minor change in AddCoordinatesGravatar Jason Gross2016-11-17
* Move util definitions to util folderGravatar Jason Gross2016-11-17
* Add reified mostly-bounds-checked add_coordinatesGravatar Jason Gross2016-11-17
* Remove dead code in rebuild-reified.pyGravatar Jason Gross2016-11-11
* Begin filling in @JasonGross's stubsGravatar jadep2016-11-11
* Freeze stubsGravatar Jason Gross2016-11-11
* Split up GF25519Reflective.Common: faster+parallelGravatar Jason Gross2016-11-09
* Plug in boundedness proofsGravatar Jason Gross2016-11-05
* Add better bounded lemmas to reified thingsGravatar Jason Gross2016-11-05
* Add code for overflow check (disabled bc freeze)Gravatar Jason Gross2016-11-05
* Print out the computed bounds on the various opsGravatar Jason Gross2016-11-01
* Also construct relatedness proofs in reifiedGravatar Jason Gross2016-10-30
* Add reification of various operationsGravatar Jason Gross2016-10-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-18 11:35:54 +0000