aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/Framework/ArithmeticSynthesis
Commit message (Expand)AuthorAge
* Fix another side condition issueGravatar Jason Gross2017-11-08
* Add karatsuba, goldilocks lemmas to rewrite dbsGravatar Jason Gross2017-11-07
* Add a dummy karatsuba parameterGravatar Jason Gross2017-11-07
* Move chained_carries' (now chained_carries_reduce)Gravatar Jason Gross2017-11-07
* Use div_cps and modulo_cps in more placesGravatar Jason Gross2017-11-07
* Fix some namesGravatar Jason Gross2017-11-07
* Add tight and loose bounds, no carry in add, subGravatar Jason Gross2017-10-22
* Fix a scope issue with solve_constant_sigGravatar Jason Gross2017-10-18
* Separate out a24 constant as a ZGravatar Jason Gross2017-10-18
* Saner checking for freeze and ladderstepGravatar Jason Gross2017-10-18
* Better error message on pose_modinv failureGravatar Jason Gross2017-10-18
* Only require half_sz_nonzero in karatsuba (it fails for sz=1)Gravatar Jason Gross2017-10-18
* Add sanity check of base_le_bitwidthGravatar Jason Gross2017-10-18
* Better error messages on m_enc_boundedGravatar Jason Gross2017-10-18
* Karatsuba in gallinaGravatar Jason Gross2017-10-18
* Explicitly specify baseGravatar Jason Gross2017-10-18
* Move more of carry_sig, zero_sig, one_sig, etc to gallinaGravatar Jason Gross2017-10-18
* Add a few more base thingsGravatar Jason Gross2017-10-18
* Add sz2'_nonzeroGravatar Jason Gross2017-10-18
* Move coef, coef_mod to gallinaGravatar Jason Gross2017-10-18
* Add some more helper lemmas to synthesisGravatar Jason Gross2017-10-18
* Better error messages when m_enc_correct_montgomery failsGravatar Jason Gross2017-10-18
* Add chained_carries_cps' lemmasGravatar Jason Gross2017-10-18
* Lemmas about wt_genGravatar Jason Gross2017-10-18
* Stronger pose_proof_tupleGravatar Jason Gross2017-10-18
* Add newline at end of CurveParametersGravatar Jason Gross2017-10-18
* Support p256 / montgomery in json formatGravatar Jason Gross2017-10-18
* Reorganize the curve-specific synthesis frameworkGravatar Jason Gross2017-10-18
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-04 12:42:07 +0000