aboutsummaryrefslogtreecommitdiff
path: root/src/Arithmetic/MontgomeryReduction/WordByWord/Definition.v
Commit message (Expand)AuthorAge
* remove old pipelineGravatar Andres Erbsen2019-01-09
* Switch arithmetic to cps for Z * Z under the hoodGravatar Jason Gross2017-10-19
* Reorganization of saturated arithmeticGravatar jadep2017-06-29
* Adapt to new arguments of saturated thingsGravatar Jason Gross2017-06-29
* Add nonzero synthesisGravatar Jason Gross2017-06-26
* Fixes #219Gravatar jadep2017-06-25
* Clean up some montgomery wbw instantiation, make displayGravatar Jason Gross2017-06-24
* Fill in axioms for sub_then_maybe_add; this required fiddling with updated ar...Gravatar jadep2017-06-24
* P256: Partial work on add, sub, oppGravatar Jason Gross2017-06-22
* Make use of new conditional_subtractGravatar Jason Gross2017-06-20
* Update wbw to work with new apiGravatar Jason Gross2017-06-18
* Make use of non-uniform tuple-based addGravatar Jason Gross2017-06-17
* fix WWMM partial evaluationGravatar Andres Erbsen2017-06-16
* Switch to using tuples for word-by-word montgomeryGravatar Jason Gross2017-06-16
* CPSify montgomery wbw reductionGravatar Jason Gross2017-06-15
* Update WBW montgomery commentsGravatar Jason Gross2017-06-13
* Fill in mul_split to wbw montgomeryGravatar Jason Gross2017-06-13
* WBW-montgomery: Fill in most context variablesGravatar Jason Gross2017-06-13
* Add proofs about numlimbsGravatar Jason Gross2017-06-10
* Update context to not need eval_nonnegGravatar Jason Gross2017-06-10
* More work in progress on montgomery proofsGravatar Jason Gross2017-06-10
* Switch from t to T to match #157Gravatar Jason Gross2017-06-10
* Update redc algorithmGravatar Jason Gross2017-06-10
* Update word-by-word montgomery with ctx varsGravatar Jason Gross2017-06-10
* Clean up implementationGravatar Jason Gross2017-05-01
* Use columns rather than positionalGravatar Jason Gross2017-05-01
* Use mod (weight (S i) / weight i), not mod (weight i)Gravatar Jason Gross2017-05-01
* Initial stab at word-by-word montgomeryGravatar Jason Gross2017-05-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-09 01:52:31 +0000