fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Don't let travis kill us in 10 minutes of silence	Jason Gross	2016-11-18
\|
*	Also redact mit-plv and fiat-crypto	Jason Gross	2016-11-15
\|
*	Add author-blacklist for repo anonymizer	Jason Gross	2016-11-14
\|
*	GF25519: add optimized addition chain	Andres Erbsen	2016-11-11
\|
*	Bump submodule for better timing	Jason Gross	2016-09-07
\|
*	Bump submodule	Jason Gross	2016-07-19
\|
*	Bump submodule	Jason Gross	2016-07-19
\|
*	Add coq-scripts submodule for timing scripts	Jason Gross	2016-06-22
\|
*	Fix freshen-bedrock-files.sh	Jason Gross	2016-04-03
\| \| \| \|	Previously, it was not actually recording when it found things.
*	Add etc/freshen-bedrock-files.sh	Jason Gross	2016-02-23
	It is used on smithers to remove .vo files which are older than relevant Bedrock .vo files. This prevents version mismatches when updating Bedrock on smithers.