fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Update display logs and c files	Jason Gross	2017-11-03
\|
*	python3 generate_parameters.py primes.txt; (cd ↵	Jason Gross	2017-11-03
\| \| \| \|	src/Specific/CurveParameters/; ./remake_curves.sh -f)
*	Update display logs and c files	Jason Gross	2017-11-03
\|
*	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
\|
*	Add generated py_interpreter.sh files	Jason Gross	2017-11-02
\|
*	autogenerated c files don't have corresponding .h 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
\|
*	Update display logs and c files	Jason Gross	2017-11-02
\|
*	Add tight and loose bounds, no carry in add, sub	Jason Gross	2017-10-22
\| \| \| \| \| \| \| \|	Following Andres' suggestions to allow making ladderstep from other synthesis things. It went though mostly without a hitch, though there were a number of boilerplate changes needed.
*	Saner checking for freeze and ladderstep	Jason Gross	2017-10-18
\|
*	Remake some curves	Jason Gross	2017-10-18