fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	new autogenerated files	jadep	2017-11-12
\|
*	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)
*	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)
*	python3 generate_parameters.py primes.txt; (cd ↵	Jason Gross	2017-11-03
\| \| \| \|	src/Specific/CurveParameters/; ./remake_curves.sh -f)
*	python3 generate_parameters.py primes.txt; (cd ↵	Andres Erbsen	2017-11-02
\| \| \| \|	src/Specific/CurveParameters/; ./remake_curves.sh -f)
*	python3 generate_parameters.py primes.txt; (cd ↵	Jason Gross	2017-11-02
\| \| \| \|	src/Specific/CurveParameters/; ./remake_curves.sh -f)
*	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