aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* generate_parameters.py: supply dummy a24 of correct lengthGravatar Andres Erbsen2017-11-02
* Update display logs and c filesGravatar Jason Gross2017-11-02
* Update display logs and c 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
* 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
* make update-_CoqProjectGravatar Jason Gross2017-11-02
* python3 generate_parameters.py primes.txt; (cd src/Specific/CurveParameters/;...Gravatar Jason Gross2017-11-02
* Update generate parameters to generate feadd, fesubGravatar Jason Gross2017-11-02
* Add fibe targetGravatar Jason Gross2017-11-02
* Update fibeGravatar Jason Gross2017-11-02
* python3 generate_parameters.py primes.txt; pushd src/Specific/CurveParameters...Gravatar Jason Gross2017-11-02
* Fix generate_parametersGravatar Jason Gross2017-11-02
* Update display logs and c filesGravatar Jason Gross2017-11-02
* Update fibeGravatar Jason Gross2017-11-02
* Move fibe.cGravatar Jason Gross2017-11-02
* Update display logs and c filesGravatar Jason Gross2017-11-02
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 05:22:41 +0000