| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Fix some names |  Jason Gross | 2017-11-07 |
| | | |||
| * | Generalize extended version of IdWithAlt | Jason Gross | 2017-11-06 |
| | | |||
| * | Deduplicate some code | Jason Gross | 2017-11-06 |
| | | |||
| * | More id_with_alt_cps updates | Jason Gross | 2017-11-06 |
| | | |||
| * | primes.txt: remove a curve25519 alias, add 64-bit secp256 |  Andres Erbsen | 2017-11-06 |
| | | |||
| * | Make use of id_tuple_with_alt_cps' | Jason Gross | 2017-11-06 |
| | | |||
| * | Update versions of id_with_alt_cps | Jason Gross | 2017-11-06 |
| | | | | | These type signatures allow better reification | ||
| * | fibe.c: fix type error from 99376c66e4ff240915455d75cf5901f2d38d8ef6 | Andres Erbsen | 2017-11-06 |
| | | |||
| * | Add IdWithAlt to ZExtended | Jason Gross | 2017-11-04 |
| | | |||
| * | Move type argument to id_tuple_with_alt outside the fixpoint | Jason Gross | 2017-11-04 |
| | | |||
| * | Update display logs and c files | Jason Gross | 2017-11-03 |
| | | |||
| * | Add Zsub to extended syntax | 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 |
| | | |||
| * | 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 |
| | | |||
| * | Update display logs and c files | Jason Gross | 2017-11-03 |
| | | |||
| * | Add more constant notations | Jason Gross | 2017-11-03 |
| | | |||
| * | Fix error in generated C notations | Jason Gross | 2017-11-03 |
| | | | | | | It's the final argument, not the second-to-final argument, that needs to be a particular size | ||
| * | Update display logs and c files | Jason Gross | 2017-11-03 |
| | | |||
| * | Add preformatting for casts of mulx | 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 |
| | | |||
| * | Add notations for mulx involving uint8_t | Jason Gross | 2017-11-03 |
| | | |||
| * | clang -fbracket-depth=999999 | Andres Erbsen | 2017-11-03 |
| | | |||
| * | use clang | Andres Erbsen | 2017-11-03 |
| | | |||
| * | python3 generate_parameters.py primes.txt; (cd ↵ | Jason Gross | 2017-11-03 |
| | | | | | src/Specific/CurveParameters/; ./remake_curves.sh -f) | ||
| * | 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) | ||
| * | 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 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 |
| | | |||
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |