aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
* Add SmartVarVarf_Pair, SmartPairfSmartVarVarf_SmartVarfGravatar Jason Gross2017-10-20
* Add wff_invert_PairsConstGravatar Jason Gross2017-10-20
* Better typing on postprocess_for_const_and_opGravatar Jason Gross2017-10-20
* Add InlineConstAndOpGravatar Jason Gross2017-10-20
* Add curry{3,4}Gravatar Jason Gross2017-10-20
* Fix arguments of previous commitGravatar Jason Gross2017-10-20
* Add invert_PairsConstGravatar Jason Gross2017-10-20
* Add invert_PairsGravatar Jason Gross2017-10-20
* Allow partial-inlining in the inlinerGravatar Jason Gross2017-10-20
* gmpvar.c: slightly faster montgomery ladder implementation using mpn_* functionsGravatar Andres Erbsen2017-10-20
* 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
* gmpsec: towards an mxladder implementationGravatar Andres Erbsen2017-10-19
* invscratch_szGravatar Andres Erbsen2017-10-19
* indentGravatar Andres Erbsen2017-10-19
* Use fold_right_cps2 to get eqb_cps to get the right continuation typeGravatar Jason Gross2017-10-19
* gmpsec.c: field arithmetic implementation using GMP mpn_sec_*Gravatar Andres Erbsen2017-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
* Add FancyMachine256 to selected-specificGravatar 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
* Don't make autogenerated files in `coq`/default targetGravatar Jason Gross2017-10-18
* 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
* Remove x2555-c128 from buildGravatar Jason Gross2017-10-18
* Fix the lite targetGravatar 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-07 02:55:35 +0000