fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	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
\|
*	generate_parameters.py: supply dummy a24 of correct length	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
\|
*	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
\|
*	make update-_CoqProject	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 generate parameters to generate feadd, fesub	Jason Gross	2017-11-02
\|
*	Add fibe target	Jason Gross	2017-11-02
\|
*	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
*	Fix generate_parameters	Jason Gross	2017-11-02
\|
*	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
\|
*	Add makefile targets for gmpvar, gmpsec	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
*	Fix generation of q hex string	Jason Gross	2017-11-02
\|
*	Also define modulus_array	Jason Gross	2017-11-02
\|
*	Pipe output of gmpxx run to log file	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
*	Add gmpxx compilation	Jason Gross	2017-11-02
\|
*	Add -D compiler arguments for gmpxx.cpp	Jason Gross	2017-11-02
\|
*	Add generated-py-bench target	Jason Gross	2017-11-02
\| \| \| \| \| \|	This target runs montladder.py for each curve cc @andres-erbsen
*	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
\|
*	Update display logs and c files	Jason Gross	2017-11-02
\|
*	Update display logs and c 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
\|
*	Add more constant notations	Jason Gross	2017-11-02
\|
*	Update display logs and c files	Jason Gross	2017-11-02
\|