Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update display logs and c files | Jason Gross | 2017-11-03 |
| | |||
* | Add more constant notations | Jason Gross | 2017-11-03 |
| | |||
* | Better version of ZBounded.modulo, with a proof | Jason Gross | 2017-11-03 |
| | |||
* | Add ZBounded.modulo | Jason Gross | 2017-11-03 |
| | |||
* | Add type of bounded Z | Jason Gross | 2017-11-02 |
| | |||
* | Update display logs and c files | Jason Gross | 2017-11-02 |
| | |||
* | Add more constant notations | Jason Gross | 2017-11-02 |
| | |||
* | fibe.c: stop using intrinsics (#263) | Andres Erbsen | 2017-11-02 |
| | |||
* | Update display logs and c files | Jason Gross | 2017-11-02 |
| | |||
* | python3 generate_parameters.py primes.txt; (cd ↵ | Andres Erbsen | 2017-11-02 |
| | | | | src/Specific/CurveParameters/; ./remake_curves.sh -f) | ||
* | benchmarks build WIP | Andres Erbsen | 2017-11-02 |
| | |||
* | Update display logs and c files | Jason Gross | 2017-11-02 |
| | |||
* | Update display logs and c files | Jason Gross | 2017-11-02 |
| | |||
* | Add more constant notations | Jason Gross | 2017-11-02 |
| | |||
* | generate_parameters.py: supply dummy a24 of correct length | Andres Erbsen | 2017-11-02 |
| | |||
* | Update display logs and c files | Jason Gross | 2017-11-02 |
| | |||
* | Update display logs and c files | Jason Gross | 2017-11-02 |
| | |||
* | Update display logs and c files | Jason Gross | 2017-11-02 |
| | |||
* | Add more constant notations | Jason Gross | 2017-11-02 |
| | |||
* | Update display logs and c files | Jason Gross | 2017-11-02 |
| | |||
* | Update display logs and c files | Jason Gross | 2017-11-02 |
| | |||
* | Add more constant notations | Jason Gross | 2017-11-02 |
| | |||
* | Update display logs and c files | Jason Gross | 2017-11-02 |
| | |||
* | Add more constant notations | Jason Gross | 2017-11-02 |
| | |||
* | make update-_CoqProject | Jason Gross | 2017-11-02 |
| | |||
* | python3 generate_parameters.py primes.txt; (cd ↵ | Jason Gross | 2017-11-02 |
| | | | | src/Specific/CurveParameters/; ./remake_curves.sh -f) | ||
* | Update generate parameters to generate feadd, fesub | Jason Gross | 2017-11-02 |
| | |||
* | Add fibe target | Jason Gross | 2017-11-02 |
| | |||
* | Update fibe | Jason Gross | 2017-11-02 |
| | |||
* | python3 generate_parameters.py primes.txt; pushd ↵ | Jason Gross | 2017-11-02 |
| | | | | src/Specific/CurveParameters/; ./remake_curves.sh -f; popd | ||
* | Fix generate_parameters | Jason Gross | 2017-11-02 |
| | |||
* | Update display logs and c files | Jason Gross | 2017-11-02 |
| | |||
* | Update fibe | Jason Gross | 2017-11-02 |
| | |||
* | Move fibe.c | Jason Gross | 2017-11-02 |
| | |||
* | Update display logs and c files | Jason Gross | 2017-11-02 |
| | |||
* | Update display logs and c files | Jason Gross | 2017-11-02 |
| | |||
* | Add more constant notations | Jason Gross | 2017-11-02 |
| | |||
* | Add makefile targets for gmpvar, gmpsec | Jason Gross | 2017-11-02 |
| | |||
* | Update gmp{var,sec} to allow passing q, a24 via -D | Jason Gross | 2017-11-02 |
| | |||
* | python3 generate_parameters.py primes.txt; pushd ↵ | Jason Gross | 2017-11-02 |
| | | | | src/Specific/CurveParameters/; ./remake_curves.sh -f; popd | ||
* | Fix generation of q hex string | Jason Gross | 2017-11-02 |
| | |||
* | Also define modulus_array | Jason Gross | 2017-11-02 |
| | |||
* | Pipe output of gmpxx run to log file | Jason Gross | 2017-11-02 |
| | |||
* | python3 generate_parameters.py primes.txt; pushd ↵ | Jason Gross | 2017-11-02 |
| | | | | src/Specific/CurveParameters/; ./remake_curves.sh -f; popd | ||
* | Add gmpxx compilation | Jason Gross | 2017-11-02 |
| | |||
* | Add -D compiler arguments for gmpxx.cpp | Jason Gross | 2017-11-02 |
| | |||
* | Add generated-py-bench target | Jason Gross | 2017-11-02 |
| | | | | | | This target runs montladder.py for each curve cc @andres-erbsen | ||
* | Add generated py_interpreter.sh files | Jason Gross | 2017-11-02 |
| | |||
* | Generate py_interpreter.sh | Jason Gross | 2017-11-02 |
| | |||
* | Allow passing -Dq, -Dmodulus_bytes, -Da24 to montladder.py | Jason Gross | 2017-11-02 |
| |