fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-14
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Revert "first batch benchmarks stash"	Andres Erbsen	2017-11-13
\| \| \| \|	This reverts commit b4a574666c0b7e9a761f95cfdafc7bb2f5e50cfc.
*	first batch benchmarks stash	Andres Erbsen	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-13
\|
*	Update display logs and c files	Jason Gross	2017-11-12
\|
*	Update display logs and c files	Jason Gross	2017-11-12
\|
*	Update display logs and c files	Jason Gross	2017-11-12
\|
*	Update display logs and c files	Jason Gross	2017-11-12
\|
*	Remove outdated C128 files	Jason Gross	2017-11-12
\|
*	add back incorrectly deleted files	jadep	2017-11-12
\|
*	new autogenerated files	jadep	2017-11-12
\|
*	update remake-curves.sh and Makefile	jadep	2017-11-12
\|
*	changes to parameter-generation script	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.
*	Update display logs and c files	Jason Gross	2017-11-10
\|
*	Update display logs and c files	Jason Gross	2017-11-10
\|
*	Update display logs and c files	Jason Gross	2017-11-10
\|
*	first benchmark on 32-bit Android	Andres Erbsen	2017-11-10
\|
*	Update make_curve.py for python3	Jason Gross	2017-11-10
\| \| \| \| \| \|	In python2, we require unicode. In python3, "unicode" as a type doesn't exist. So we do a feature-check-kludge to set unicode to str if it doesn't exist.