fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	update import statements	jadep	2019-04-03
\|
*	rename some things	jadep	2019-04-03
\|
*	fix montgomery	jadep	2019-03-25
\|
*	finish porting barrett and montgomery code to new glue style	jadep	2019-02-21
\|
*	fix cast admits in Fancy	jadep	2019-02-15
\|
*	cleanup	jadep	2019-02-08
\|
*	fix Montgomery proof and clean up a little	jadep	2019-02-08
\|
*	Split up PushButtonSynthesis.v	Jason Gross	2019-01-18
\| \| \| \|	Closes #497
*	Move print statements to Barrett and Montgomery files	jadep	2019-01-17
\|
*	prune dependencies from Barrett256 and Montgomery256	jadep	2019-01-17
\|
*	Fix up Montgomery	jadep	2019-01-17
\|
*	separate toplevel2 into several files; fix up final barrett proof	jadep	2019-01-17