| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | find . -name "py_interpreter.sh" | xargs chmod +x |  Jason Gross | 2017-11-03 |
| | | |||
| * | python3 generate_parameters.py primes.txt; (cd ↵ | Jason Gross | 2017-11-03 |
| | | | | | src/Specific/CurveParameters/; ./remake_curves.sh -f) | ||
| * | Actually remove trailing whitespace from the prime in primes.txt | Jason Gross | 2017-11-03 |
| | | |||
| * | fibe: Only define bitwidth on the command line | Jason Gross | 2017-11-03 |
| | | | | | | | | | | | We generate the PRI macros and the limb_t type from the bitwidth in the C preprocessor My reasoning here is that generate_parameters.py and the generated *.json files are more user-facing than fibe.c, so we should optimize for cleanliness of that user-facing code. If this is the wrong direction to go in, then this commit should be reverted. | ||
| * | python3 generate_parameters.py primes.txt; (cd ↵ | Jason Gross | 2017-11-03 |
| | | | | | src/Specific/CurveParameters/; ./remake_curves.sh -f) | ||
| * | Add PRI{u,x}limb for printf formats | Jason Gross | 2017-11-03 |
| | | | | | | | | | | | | | | | This is to fix ``` src/Specific/Framework/bench/fibe.c: In function ‘fe_print’: src/Specific/Framework/bench/fibe.c:130:5: warning: format ‘%llx’ expects argument of type ‘long long unsigned int’, but argument 2 has type ‘uint32_t’ [-Wformat=] printf("0x%016llx)<< %lu) + ", x[i], limb_weight_gaps[i-1]); ^ src/Specific/Framework/bench/fibe.c:130:5: warning: format ‘%lu’ expects argument of type ‘long unsigned int’, but argument 3 has type ‘uint32_t’ [-Wformat=] src/Specific/Framework/bench/fibe.c:132:3: warning: format ‘%llx’ expects argument of type ‘long long unsigned int’, but argument 2 has type ‘uint32_t’ [-Wformat=] printf("0x%016llx", x[0]); ^ ``` | ||
| * | Update display logs and c files | Jason Gross | 2017-11-03 |
| | | |||
| * | Fix a printf format specifier mismatch | Jason Gross | 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 | Jason Gross | 2017-11-03 |
| | | |||
| * | Fix a re#definition | Jason Gross | 2017-11-03 |
| | | |||
| * | python3 generate_parameters.py primes.txt; (cd ↵ | Jason Gross | 2017-11-03 |
| | | | | | src/Specific/CurveParameters/; ./remake_curves.sh -f) | ||
| * | Add a24_val, a24_hex compiler params | Jason Gross | 2017-11-03 |
| | | | | | This is so that we pass a24 correctly to gmp{var,sec,xx}. | ||
| * | Add montgomery fesquare files | Jason Gross | 2017-11-03 |
| | | |||
| * | Minor reordering for consistency | Jason Gross | 2017-11-03 |
| | | |||
| * | run some benchmarks |  Andres Erbsen | 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 |
| | | |||
| * | 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 |
| | | |||
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |