aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
* Update display logs and c filesGravatar Jason Gross2017-11-02
* Add more constant notationsGravatar Jason Gross2017-11-02
* Add makefile targets for gmpvar, gmpsecGravatar Jason Gross2017-11-02
* Update gmp{var,sec} to allow passing q, a24 via -DGravatar Jason Gross2017-11-02
* python3 generate_parameters.py primes.txt; pushd src/Specific/CurveParameters...Gravatar Jason Gross2017-11-02
* Fix generation of q hex stringGravatar Jason Gross2017-11-02
* Also define modulus_arrayGravatar Jason Gross2017-11-02
* Pipe output of gmpxx run to log fileGravatar Jason Gross2017-11-02
* python3 generate_parameters.py primes.txt; pushd src/Specific/CurveParameters...Gravatar Jason Gross2017-11-02
* Add gmpxx compilationGravatar Jason Gross2017-11-02
* Add -D compiler arguments for gmpxx.cppGravatar Jason Gross2017-11-02
* Add generated-py-bench targetGravatar Jason Gross2017-11-02
* Add generated py_interpreter.sh filesGravatar Jason Gross2017-11-02
* Generate py_interpreter.shGravatar Jason Gross2017-11-02
* Allow passing -Dq, -Dmodulus_bytes, -Da24 to montladder.pyGravatar Jason Gross2017-11-02
* Update display logs and c filesGravatar Jason Gross2017-11-02
* Update display logs and c filesGravatar Jason Gross2017-11-02
* autogenerated c files don't have corresponding .h filesGravatar Jason Gross2017-11-02
* Update display logs and c filesGravatar Jason Gross2017-11-02
* Add more constant notationsGravatar Jason Gross2017-11-02
* Update display logs and c filesGravatar Jason Gross2017-11-02
* Add more constant notationsGravatar Jason Gross2017-11-02
* Better generation of autogenerated c filesGravatar Jason Gross2017-11-02
* Update display logs and c filesGravatar Jason Gross2017-11-02
* Extract correct bitwidth of functions for c codeGravatar Jason Gross2017-11-02
* Update display logs and c filesGravatar Jason Gross2017-11-02
* Add more constant notationsGravatar Jason Gross2017-11-02
* Update display logsGravatar Jason Gross2017-11-02
* Add more constant notationsGravatar Jason Gross2017-11-02
* Update display logsGravatar Jason Gross2017-11-02
* Update display logsGravatar Jason Gross2017-11-01
* Add more constant notationsGravatar Jason Gross2017-11-01
* Update display logsGravatar Jason Gross2017-11-01
* Add cps versions of id_with_altGravatar Jason Gross2017-11-01
* Update display logsGravatar Jason Gross2017-11-01
* Update display logsGravatar Jason Gross2017-11-01
* Add more constant notationsGravatar Jason Gross2017-11-01
* Update display logsGravatar Jason Gross2017-11-01
* Add more constant notationsGravatar Jason Gross2017-11-01
* Make use of from_associational_cps in more placesGravatar Jason Gross2017-11-01
* More use of Z.eqb_cpsGravatar Jason Gross2017-11-01
* Switch to AddWithGetCarry in ZExtendedGravatar Jason Gross2017-10-31
* Add MapBaseTypeGravatar Jason Gross2017-10-31
* Add unextend_opGravatar Jason Gross2017-10-31
* Generalize MapBaseType a bitGravatar Jason Gross2017-10-31
* Add invert_PairsConst_genGravatar Jason Gross2017-10-31
* add ZToSignedWord, signedWordToZGravatar Jason Gross2017-10-31
* Add wneg_injGravatar Jason Gross2017-10-31
* Fix ZToWord, add wring_eq_ext, speed up some proofsGravatar Jason Gross2017-10-31
* Add Bedrock.Word.ZToWordGravatar Jason Gross2017-10-31
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 13:30:58 +0000