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)
*	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
\|
*	bugfixes from messy rebase; remade json files	jadep	2017-10-16
\|
*	Fix base generation	Jason Gross	2017-10-16
\|
*	Regenerate json files	Jason Gross	2017-10-16
\|
*	Prettier json file generation	Jason Gross	2017-10-14
\|
*	Add generated json files from generate_parameters.py	Jason Gross	2017-10-14