fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Add UniformWeightInstances	Jason Gross	2017-10-09
\|
*	More fine-grained tactics imports	Jason Gross	2017-07-08
\|
*	Remove some admitted lemmas	Jason Gross	2017-07-07
\|
*	Closed under the global context	Andres Erbsen	2017-07-02
\|
*	prove [MontgomeryAPI.small_add]	Andres Erbsen	2017-07-02
\|
*	[small] admits progress...	Andres Erbsen	2017-07-01
\|
*	proved small_sat_add	jadep	2017-07-01
\|
*	change opp to runtime_opp	jadep	2017-07-01
\|
*	proved remaining [eval] admits in MontgomeryAPI	jadep	2017-07-01
\|
*	Prove saturated carrying-subtraction-chain correct	jadep	2017-07-01
\|
*	Prove saturated carrying-addition-chain correct	jadep	2017-06-30
\|
*	Reorganization of saturated arithmetic	jadep	2017-06-29
\|
*	create directory for saturated arithmetic in preparation for splitting into ↵	jadep	2017-06-29
	multiple files