fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Fix build process	Robert Sloan	2016-06-22
\| \| \| \| \| \|	Fix build process Fix build process
*	Huge Language / Conversion refactors	Robert Sloan	2016-06-22
\|
*	AlmostConversion and part of StringConversion	Robert Sloan	2016-06-22
\| \| \| \|	Parsing portion of StringConversion
*	Finished proofs in QhasmEvalCommon for formalizing mappings	Robert Sloan	2016-06-22
\| \| \| \| \| \|	Generalized and cleaned up state model Generalized and cleaned up state model
*	Major language refactoring to support Memory and AddWithCarry	Robert Sloan	2016-06-22
\| \| \| \|	Finished proofs in QhasmEvalCommon for formalizing mappings
*	Assembly converted except String and Gallina conversions	Robert Sloan	2016-06-22
\| \| \| \| \| \|	Hypothesis-based Bounded Words Hypothesis-based Bounded Words
*	Fix Qhasm and AlmostQhasm with new State machinery	Robert Sloan	2016-06-22
\|
*	Module-based reorganization of Qhasm code	Robert Sloan	2016-06-22
\|
*	qhasm formal specification + evaluation finished	Robert Sloan	2016-06-22
\|
*	nicer verify() derivation starter	Andres Erbsen	2016-06-22
	Added base types for Qhasm emacs gitignore