fiat-crypto - fast, formally verified cryptography

	Commit message (Expand)	Author	Age
*	Fixes for Coq 8.4	Jason Gross	2016-10-27
*	Refactors to remove intermediate conversions	Robert Sloan	2016-10-26
*	cbn does not exist in 8.4	Jason Gross	2016-10-22
*	Fix build failure in 8.6	Jason Gross	2016-10-22
*	Merge branch 'master' into pr/84	Jason Gross	2016-10-22
\|\
\| *	Interpret LetIn to Let_In for better control of interp	Jason Gross	2016-10-22
* \|	merge rsloan-phoas refactors into master	Robert Sloan	2016-10-21
\|\\|
* \|	committing unstable refactors to patch master	Robert Sloan	2016-10-21
\| *	Various fixes for Coq 8.4	Jason Gross	2016-10-20
\|/
*	Large-scale refactoring of src/Assembly	Robert Sloan	2016-09-24