fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Add curve25519-donna-c64 to etc/third_party	Jason Gross	2017-09-27
\|
*	make bench	Jason Gross	2017-09-12
\|
*	make bench	Andres Erbsen	2017-07-06
\|
*	make bench	Jason Gross	2017-07-06
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	``` make -j test make -j -k bench touch capture.sh make -k bench sudo etc/turboboost.sh off sudo etc/hyperthreading.sh off touch capture.sh make -k bench sudo etc/turboboost.sh on sudo etc/hyperthreading.sh on ```
*	benchmark NISTZ256 with and without adx	Andres Erbsen	2017-07-05
\|
*	make bench	Andres Erbsen	2017-07-05
\|
*	make bench	Andres Erbsen	2017-07-04
\|
*	work around GCC issues 81294 and 81300	Andres Erbsen	2017-07-03
\|
*	X25519 test (passed on first try)	Andres Erbsen	2017-07-02
\|
*	automate P256 integration	Andres Erbsen	2017-07-02
\|
*	Use -std=gnu11 for older versions of gcc	Jason Gross	2017-06-28
\|
*	match C code in Jacobian addition	Andres Erbsen	2017-06-27
\|
*	p256 compilation and benchmarks with manual kludges	Andres Erbsen	2017-06-27
\|
*	make bench	Andres Erbsen	2017-06-23
\|
*	make bench	Jason Gross	2017-06-20
\|
*	sed mulx appropriately	Andres Erbsen	2017-06-20
\|
*	don't key benchmarks on cpu frequency	Andres Erbsen	2017-06-18
\|
*	measurements.txt depends on scripts that generate it	Andres Erbsen	2017-06-18
\|
*	"make bench", currently just X25519-C64 (closes #185)	Andres Erbsen	2017-06-18