Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Fix a printf format specifier mismatch | 2017-11-03 | ||
| | | | | | | | | | The error message is ``` src/Specific/Framework/bench/gmpxx.cpp:23:121: warning: format ‘%x’ expects argument of type ‘unsigned int’, but argument 2 has type ‘long unsigned int’ [-Wformat=] printf(0x); for (size_t i = modulus_bytes-1; i<modulus_bytes; --i) { printf(%02x, mpz_class(x>>(8*i)).get_ui()&0xff); } ^ ``` | |||
* | Fix a re#definition | 2017-11-03 | ||
| | ||||
* | Fix a re#definition | 2017-11-03 | ||
| | ||||
* | python3 generate_parameters.py primes.txt; (cd ↵ | 2017-11-03 | ||
| | | | | src/Specific/CurveParameters/; ./remake_curves.sh -f) | |||
* | Add a24_val, a24_hex compiler params | 2017-11-03 | ||
| | | | | This is so that we pass a24 correctly to gmp{var,sec,xx}. | |||
* | Add montgomery fesquare files | 2017-11-03 | ||
| | ||||
* | 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 | ||
| |