fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	bump submodules	Andres Erbsen	2019-03-22
\|
*	Define machine model, write prefancy->fancy pass, and prove Montgomery code ↵	Jade Philipoom	2018-05-31
\| \| \| \|	correct
*	Util.Loops: remove non-stdlib dependencies	Andres Erbsen	2018-04-26
\|
*	Bump coq-scripts to fix a bug	Jason Gross	2018-04-15
\|
*	Bump coq-scripts	Jason Gross	2018-04-15
\| \| \| \|	This should speed up the lite target on master
*	git submodule update --remote --recursive	Andres Erbsen	2018-02-24
\|
*	Bump submodule	Jason Gross	2017-12-08
\|
*	Bump submodule	Jason Gross	2017-12-08
\|
*	Bump submodule for timing ordering	Jason Gross	2017-11-13
\|
*	Bump coq submodule	Jason Gross	2017-10-31
\|
*	Bump coq-scripts	Jason Gross	2017-06-06
\|
*	Unrevert the coq-scripts module again	Jason Gross	2017-04-14
\| \| \| \|	cc @andres-erbsen
*	stronger ladderstep correctness proof courtesy Teo	Andres Erbsen	2017-04-14
\|
*	Revert "update coq-scripts"	Jason Gross	2017-04-13
\| \| \| \| \| \| \| \|	This reverts commit 96d5cedb2cd194e15711ff5b284380539b9a9d99. That commit broke the `lite` target and the `printreversedeps` target, and reverted 2ad2524dba1321e3facdba3c1142e7e7fbbe1634, among other commits.
*	update coq-scripts	Andres Erbsen	2017-04-12
\|
*	Fix vo_reverse_closure	Jason Gross	2017-04-09
\|
*	Add printreversedeps	Jason Gross	2017-04-09
\|
*	Bump submodule for better travis timing logs	Jason Gross	2017-01-31
\|
*	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