aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
...
* gmpsec.c: generic constant-time montgomery ladder implementation using mpn_se...Gravatar Andres Erbsen2017-10-20
* Allow inlining expressions not returning TbaseGravatar Jason Gross2017-10-20
* Prove flatten_binding_list_interpf_SmartPairf_sameGravatar Jason Gross2017-10-20
* Add wff_SmartPairfGravatar Jason Gross2017-10-20
* Fix bug in previous commitGravatar Jason Gross2017-10-20
* Use div_cps, modulo_cpsGravatar Jason Gross2017-10-20
* Use fold_right_cps2 to get eqb_cps to get the right continuation typeGravatar Jason Gross2017-10-19
* Add more unfolds to basesystem_partial_evaluation_unfolderGravatar Jason Gross2017-10-19
* Switch arithmetic to cps for Z * Z under the hoodGravatar Jason Gross2017-10-19
* Add mul_split_cps'Gravatar Jason Gross2017-10-19
* Move tactics around in src/Arithmetic/CoreUnfolder.vGravatar Jason Gross2017-10-19
* Update ZUtil cps definitionsGravatar Jason Gross2017-10-19
* Pattern over cps lemmas in Arithmetic/CoreGravatar Jason Gross2017-10-19
* Add ZUtil.CPSGravatar Jason Gross2017-10-19
* Unfold more things in basesystem_partial_evaluation_unfolderGravatar Jason Gross2017-10-18
* Add display logsGravatar Jason Gross2017-10-18
* Add more constant notationsGravatar Jason Gross2017-10-18
* 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
* Remake some curvesGravatar Jason Gross2017-10-18
* Use a larger modinv_fuelGravatar 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
* Allow forcing a bitwidth to workGravatar 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
* Run remake_curves.pyGravatar Jason Gross2017-10-18
* Fix make_curve.py to handle files from generate_parametersGravatar Jason Gross2017-10-18
* Add chained_carries_cps' lemmasGravatar Jason Gross2017-10-18
* Extract rexpr_sig from the recordGravatar Jason Gross2017-10-18
* Extract evars from reflective pipelineGravatar Jason Gross2017-10-18
* Add a commentGravatar Jason Gross2017-10-18
* Fix synthesis output recordGravatar Jason Gross2017-10-18
* Package reflective pipeline side-conditions into a recordGravatar Jason Gross2017-10-18
* Remove admitted encode_correct proofGravatar Jason Gross2017-10-18
* Lemmas about wt_genGravatar Jason Gross2017-10-18
* Stronger pose_proof_tupleGravatar Jason Gross2017-10-18
* Update OutputTypeGravatar Jason Gross2017-10-18
* Add final synthesis output typeGravatar Jason Gross2017-10-18
* Turn CurveParameters into a recordGravatar Jason Gross2017-10-18
* Add newline at end of CurveParametersGravatar Jason Gross2017-10-18
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 08:17:17 +0000