fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	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
\|
*	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
\|