| Commit message (Collapse) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | 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 | |
| | | ||||
| * | 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 | |
| | | ||||
| * | python3 generate_parameters.py primes.txt; (cd ↵ | Jason Gross | 2017-11-02 | |
| | | | | | src/Specific/CurveParameters/; ./remake_curves.sh -f) | |||
| * | 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 | |||
| * | Update display logs and c files | Jason Gross | 2017-11-02 | |
| | | ||||
| * | Update fibe | Jason Gross | 2017-11-02 | |
| | | ||||
| * | Move fibe.c | 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 gmp{var,sec} to allow passing q, a24 via -D | 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 | |||
| * | python3 generate_parameters.py primes.txt; pushd ↵ | Jason Gross | 2017-11-02 | |
| | | | | | src/Specific/CurveParameters/; ./remake_curves.sh -f; popd | |||
| * | Add -D compiler arguments for gmpxx.cpp | Jason Gross | 2017-11-02 | |
| | | ||||
| * | Add generated py_interpreter.sh files | Jason Gross | 2017-11-02 | |
| | | ||||
| * | Generate py_interpreter.sh | Jason Gross | 2017-11-02 | |
| | | ||||
| * | Allow passing -Dq, -Dmodulus_bytes, -Da24 to montladder.py | Jason Gross | 2017-11-02 | |
| | | ||||
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |