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 |
| | |||
* | Update display logs and c files | Jason Gross | 2017-11-03 |
| | |||
* | Update display logs and c files | Jason Gross | 2017-11-03 |
| | |||
* | Add more constant notations | Jason Gross | 2017-11-03 |
| | |||
* | Update display logs and c files | Jason Gross | 2017-11-03 |
| | |||
* | Add more constant notations | Jason Gross | 2017-11-03 |
| | |||
* | Update display logs and c files | Jason Gross | 2017-11-03 |
| | |||
* | Add more constant notations | Jason Gross | 2017-11-03 |
| | |||
* | Update display logs and c files | Jason Gross | 2017-11-03 |
| | |||
* | Update display logs and c files | Jason Gross | 2017-11-03 |
| | |||
* | Add more constant notations | Jason Gross | 2017-11-03 |
| | |||
* | Update display logs and c files | Jason Gross | 2017-11-03 |
| | |||
* | Fix missing cases in previous commit | Jason Gross | 2017-11-03 |
| | |||
* | Add SubWithGetBorrow with ZExtended | Jason Gross | 2017-11-03 |
| | |||
* | Add Zpow_sub_1_nat_pow | Jason Gross | 2017-11-03 |
| | |||
* | Add value_modulo_in_range | Jason Gross | 2017-11-03 |
| | |||
* | 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 |
| |