fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Refactors to remove intermediate conversions	Robert Sloan	2016-10-26
\|
*	Refactors to remove intermediate conversions in HLConversions	Robert Sloan	2016-10-25
\|
*	More Coq 8.4 fixes	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
\| \|
* \|	Make lower bounds work by using HL conversions	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
\|/
*	Fast bounds-checking machinery but lower-bounds are broken	Robert Sloan	2016-10-18
\|
*	Converting to bounded machinery	Robert Sloan	2016-10-17
\|
*	More of the Conversions.v correctness proofs	Robert Sloan	2016-10-14
\|
*	Making sub bounds actually tight	Robert Sloan	2016-10-14
\|
*	More minor improvements in Conversions.v and Compile.v	Robert Sloan	2016-10-13
\|
*	Minor refactors waiting for the code generation to finish	Robert Sloan	2016-10-13
\|
*	Minor refactors waiting for the code generation to finish	Robert Sloan	2016-10-13
\|
*	Complete example + GF25519 outline in Pipeline.v	Robert Sloan	2016-10-02
\|
*	Most of our refactored compilation infrastructure	Rob Sloan	2016-10-02
\|
*	Large-scale refactoring of src/Assembly	Robert Sloan	2016-09-24