fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Remove an unneeded require import	Jason Gross	2017-05-13
\|
*	Generalize linearize a bit more	Jason Gross	2017-04-15
\| \| \| \|	Now we will (I hope) inline let-bound pairs
*	Add a bit more power to side conditions in reflective_interp rewrite db	Jason Gross	2017-04-15
\|
*	Better version of linearize without a-normal form	Jason Gross	2017-04-14
\| \| \| \|	Now we no longer let-bind arguments to Op (oops)
*	Split off a-normal form from flattening	Jason Gross	2017-04-14
\| \| \| \|	Now we can flatten let binders without putting operations in a-normal form
*	Remove useless import	Jason Gross	2017-04-14
\|
*	rename-everything	Andres Erbsen	2017-04-06