Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Minor reordering for consistency | 2017-11-03 | |
| | |||
* | run some benchmarks | 2017-11-03 | |
| | |||
* | Update display logs and c files | 2017-11-03 | |
| | |||
* | Add more constant notations | 2017-11-03 | |
| | |||
* | Update display logs and c files | 2017-11-03 | |
| | |||
* | Update display logs and c files | 2017-11-03 | |
| | |||
* | Add more constant notations | 2017-11-03 | |
| | |||
* | Update display logs and c files | 2017-11-03 | |
| | |||
* | Add more constant notations | 2017-11-03 | |
| | |||
* | Update display logs and c files | 2017-11-03 | |
| | |||
* | Add more constant notations | 2017-11-03 | |
| | |||
* | Update display logs and c files | 2017-11-03 | |
| | |||
* | Update display logs and c files | 2017-11-03 | |
| | |||
* | Add more constant notations | 2017-11-03 | |
| | |||
* | Update display logs and c files | 2017-11-03 | |
| | |||
* | Fix missing cases in previous commit | 2017-11-03 | |
| | |||
* | Add SubWithGetBorrow with ZExtended | 2017-11-03 | |
| | |||
* | Add Zpow_sub_1_nat_pow | 2017-11-03 | |
| | |||
* | Add value_modulo_in_range | 2017-11-03 | |
| | |||
* | Update display logs and c files | 2017-11-03 | |
| | |||
* | Add more constant notations | 2017-11-03 | |
| | |||
* | Better version of ZBounded.modulo, with a proof | 2017-11-03 | |
| | |||
* | Add ZBounded.modulo | 2017-11-03 | |
| | |||
* | Add type of bounded Z | 2017-11-02 | |
| | |||
* | Update display logs and c files | 2017-11-02 | |
| | |||
* | Add more constant notations | 2017-11-02 | |
| | |||
* | fibe.c: stop using intrinsics (#263) | 2017-11-02 | |
| | |||
* | Update display logs and c files | 2017-11-02 | |
| | |||
* | python3 generate_parameters.py primes.txt; (cd ↵ | 2017-11-02 | |
| | | | | src/Specific/CurveParameters/; ./remake_curves.sh -f) | ||
* | benchmarks build WIP | 2017-11-02 | |
| | |||
* | Update display logs and c files | 2017-11-02 | |
| | |||
* | Update display logs and c files | 2017-11-02 | |
| | |||
* | Add more constant notations | 2017-11-02 | |
| | |||
* | generate_parameters.py: supply dummy a24 of correct length | 2017-11-02 | |
| | |||
* | Update display logs and c files | 2017-11-02 | |
| | |||
* | Update display logs and c 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 | |
| | |||
* | 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 | |
| | |||
* | make update-_CoqProject | 2017-11-02 | |
| | |||
* | python3 generate_parameters.py primes.txt; (cd ↵ | 2017-11-02 | |
| | | | | src/Specific/CurveParameters/; ./remake_curves.sh -f) | ||
* | Update generate parameters to generate feadd, fesub | 2017-11-02 | |
| | |||
* | Add fibe target | 2017-11-02 | |
| | |||
* | Update fibe | 2017-11-02 | |
| | |||
* | python3 generate_parameters.py primes.txt; pushd ↵ | 2017-11-02 | |
| | | | | src/Specific/CurveParameters/; ./remake_curves.sh -f; popd | ||
* | Fix generate_parameters | 2017-11-02 | |
| |