Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | python3 generate_parameters.py primes.txt; pushd ↵ | 2017-11-02 | |
| | | | | src/Specific/CurveParameters/; ./remake_curves.sh -f; popd | ||
* | Add gmpxx compilation | 2017-11-02 | |
| | |||
* | Add -D compiler arguments for gmpxx.cpp | 2017-11-02 | |
| | |||
* | Add generated-py-bench target | 2017-11-02 | |
| | | | | | | This target runs montladder.py for each curve cc @andres-erbsen | ||
* | Add generated py_interpreter.sh files | 2017-11-02 | |
| | |||
* | Generate py_interpreter.sh | 2017-11-02 | |
| | |||
* | Allow passing -Dq, -Dmodulus_bytes, -Da24 to montladder.py | 2017-11-02 | |
| | |||
* | Update display logs and c files | 2017-11-02 | |
| | |||
* | Update display logs and c files | 2017-11-02 | |
| | |||
* | autogenerated c files don't have corresponding .h files | 2017-11-02 | |
| | |||
* | Update display logs and c files | 2017-11-02 | |
| | |||
* | Add more constant notations | 2017-11-02 | |
| | |||
* | Update display logs and c files | 2017-11-02 | |
| | |||
* | Add more constant notations | 2017-11-02 | |
| | |||
* | Better generation of autogenerated c files | 2017-11-02 | |
| | | | | Also move bench framework to src/Specific/Framework/bench/ | ||
* | Update display logs and c files | 2017-11-02 | |
| | |||
* | Extract correct bitwidth of functions for c code | 2017-11-02 | |
| | |||
* | Update display logs and c files | 2017-11-02 | |
| | |||
* | Add more constant notations | 2017-11-02 | |
| | |||
* | Update display logs | 2017-11-02 | |
| | |||
* | Add more constant notations | 2017-11-02 | |
| | |||
* | Update display logs | 2017-11-02 | |
| | |||
* | Update display logs | 2017-11-01 | |
| | |||
* | Add more constant notations | 2017-11-01 | |
| | |||
* | Update display logs | 2017-11-01 | |
| | |||
* | Add cps versions of id_with_alt | 2017-11-01 | |
| | |||
* | Update display logs | 2017-11-01 | |
| | |||
* | Update display logs | 2017-11-01 | |
| | |||
* | Add more constant notations | 2017-11-01 | |
| | |||
* | Update display logs | 2017-11-01 | |
| | |||
* | Add more constant notations | 2017-11-01 | |
| | |||
* | Make use of from_associational_cps in more places | 2017-11-01 | |
| | |||
* | More use of Z.eqb_cps | 2017-11-01 | |
| | |||
* | Switch to AddWithGetCarry in ZExtended | 2017-10-31 | |
| | |||
* | Add MapBaseType | 2017-10-31 | |
| | |||
* | Add unextend_op | 2017-10-31 | |
| | |||
* | Generalize MapBaseType a bit | 2017-10-31 | |
| | |||
* | Add invert_PairsConst_gen | 2017-10-31 | |
| | |||
* | add ZToSignedWord, signedWordToZ | 2017-10-31 | |
| | |||
* | Add wneg_inj | 2017-10-31 | |
| | |||
* | Fix ZToWord, add wring_eq_ext, speed up some proofs | 2017-10-31 | |
| | |||
* | Add Bedrock.Word.ZToWord | 2017-10-31 | |
| | |||
* | Remove trailing spaces | 2017-10-31 | |
| | |||
* | Bump coq submodule | 2017-10-31 | |
| | |||
* | Fix smithers build | 2017-10-31 | |
| | |||
* | fibe: WIP scalarmult for benchmarking field operations | 2017-10-31 | |
| | |||
* | Update display logs | 2017-10-31 | |
| | |||
* | Update display logs | 2017-10-31 | |
| | |||
* | Add more constant notations | 2017-10-31 | |
| | |||
* | Update display logs | 2017-10-29 | |
| |