fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	pick best implementation, not first	jadep	2017-12-01
\|
*	change how input data is gathered and tweak tables	jadep	2017-11-16
\|
*	table formatting tweaks	jadep	2017-11-16
\|
*	remove old aggregate file	jadep	2017-11-16
\|
*	krail -> krait	Andres Erbsen	2017-11-16
\|
*	excplicit, sorted list of failures on haswell	Andres Erbsen	2017-11-16
\|
*	clean benchmarks on android	Andres Erbsen	2017-11-16
\|
*	android benchmarking script in new format	Andres Erbsen	2017-11-16
\|
*	actual measurements on Haswell	Andres Erbsen	2017-11-16
\|
*	clean Haswell benchmarks	Andres Erbsen	2017-11-16
\|
*	make latex tables	jadep	2017-11-15
\|
*	rename a couple files	jadep	2017-11-15
\|
*	change error format on parameter generation script	jadep	2017-11-15
\|
*	remove bad curve25519 representation from benchmark results	jadep	2017-11-15
\|
*	modify parameter-generation script to raise errors on missing datapoints	jadep	2017-11-14
\|
*	new graph tweaks (incl. aggregating new benchmark data)	jadep	2017-11-13
\|
*	run benchmarks on Android	Andres Erbsen	2017-11-13
\|
*	run benchmarks	Andres Erbsen	2017-11-13
\|
*	update to graph generation	jadep	2017-11-12
\|
*	generate LaTeX tables from some of the benchmarks	jadep	2017-11-12
\|
*	andres doesn't know what year it is	jadep	2017-11-12
\|
*	benchmark montgomery32, gmpvar, and gmpsec on 32-bit android	Andres Erbsen	2017-11-11
\| \| \| \| \| \| \| \|	Despite significant effort, I did not manage to compiler gmpxx in a way that would allow it to be dynamically linked with the c++ standard library on android, or statically link the library in a way that would result in a file executable on Android. Somebody who understands C and Android dynamic linking might be able to do better.
*	benchmark solinas32 on a 32-bit processor	Andres Erbsen	2017-11-10
\|
*	first benchmark on 32-bit Android	Andres Erbsen	2017-11-10
\|
*	table for yesterday's benchmarks	Andres Erbsen	2017-11-06
\|
*	benchmark on clang6	Andres Erbsen	2017-11-03
\|
*	run some benchmarks	Andres Erbsen	2017-11-03