aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* Fix scmul bounds issueGravatar jadep2017-06-17
* More eye-catching naming scheme for nm in saturatedGravatar Jason Gross2017-06-17
* make displayGravatar Jason Gross2017-06-17
* Add more simplification to pipelineGravatar Jason Gross2017-06-17
* make displayGravatar Jason Gross2017-06-17
* Make use of non-uniform tuple-based addGravatar Jason Gross2017-06-17
* make displayGravatar Jason Gross2017-06-17
* Enable profiling in integration test mont 256Gravatar Jason Gross2017-06-17
* Add linearization to inline pairs in post-bounds pipelineGravatar Jason Gross2017-06-17
* make displayGravatar Jason Gross2017-06-17
* Add extra simplification to simplifier for adcGravatar Jason Gross2017-06-17
* Make displayGravatar Jason Gross2017-06-17
* Add more constantsGravatar Jason Gross2017-06-17
* Unfold Z.mul_split_at_bitwidth for reificationGravatar Jason Gross2017-06-17
* Make displayGravatar Jason Gross2017-06-17
* Add some more display constantsGravatar Jason Gross2017-06-17
* Add bool into P256Gravatar Jason Gross2017-06-17
* make displayGravatar Jason Gross2017-06-17
* Finish MontgomeryP256 (less conditional subtract)Gravatar Jason Gross2017-06-17
* Remove fails; if we fail too strongly, we miss debugging informationGravatar Jason Gross2017-06-17
* Try to fail a bit faster in bad reificationGravatar Jason Gross2017-06-17
* Add back failure at level 100Gravatar Jason Gross2017-06-17
* Better error messages in reificationGravatar Jason Gross2017-06-17
* Add initial IntegrationTestMontgomeryP256.vGravatar Jason Gross2017-06-17
* Better reification tactic debuggingGravatar Jason Gross2017-06-17
* Fix a typoGravatar Jason Gross2017-06-17
* Define m in p256Gravatar Jason Gross2017-06-17
* Fix spellingGravatar Jason Gross2017-06-17
* fix WWMM partial evaluationGravatar Andres Erbsen2017-06-16
* Unfold more things in src/Specific/MontgomreyP256Gravatar Jason Gross2017-06-16
* finish tuple-ifying Montgomery APIGravatar jadep2017-06-16
* Switch to using tuples for word-by-word montgomeryGravatar Jason Gross2017-06-16
* Fix buildGravatar Jason Gross2017-06-16
* Revert PR #203Gravatar Jason Gross2017-06-16
* update ocq2C sed scriptGravatar Andres Erbsen2017-06-16
* make displayGravatar Jason Gross2017-06-16
* Make use of CArrayNotationsGravatar Jason Gross2017-06-16
* Fix CArrayNotationsGravatar Jason Gross2017-06-16
* Revert "Revert "Add CArrayNotations""Gravatar Jason Gross2017-06-16
* montgomery p256 in Specific WIPGravatar Andres Erbsen2017-06-16
* make displayGravatar Jason Gross2017-06-15
* Revert "Add CArrayNotations"Gravatar Jason Gross2017-06-15
* Finish karatsuba mul, add display file (#199)Gravatar Jason Gross2017-06-15
* ed448 mul: use two carry chains to fix bounds (still silly otherwise)Gravatar Andres Erbsen2017-06-15
* Add CArrayNotationsGravatar Jason Gross2017-06-15
* CPSify montgomery wbw reductionGravatar Jason Gross2017-06-15
* CPSify Saturated API in preparation for CPSifying Montgomery (see #194)Gravatar jadep2017-06-15
* Show the bounds going wrong in karatsubaGravatar Jason Gross2017-06-15
* Display Z operations with ℤ attachedGravatar Jason Gross2017-06-15
* Eliminate well-bounded IdWithAlt from final outputGravatar Jason Gross2017-06-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 03:28:59 +0000