fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Add Language.v, Conversion.v to _CoqProject	Robert Sloan	2016-06-23
\|
*	Make Assembly modules 8.5-compatible	Robert Sloan	2016-06-22
\|
*	Full automation for relevant parts of pseudo conversion except lets	Robert Sloan	2016-06-22
\|
*	Reorganization of wordize.v	Robert Sloan	2016-06-22
\| \| \| \| \| \| \| \| \| \|	first pseudo conversion lemma Decent machinery for automatic pseudo-conversion Decent machinery for automatic pseudo-conversion Decent machinery for automatic pseudo-conversion
*	Full pipeline working again	Robert Sloan	2016-06-22
\|
*	Huge Language / Conversion refactors	Robert Sloan	2016-06-22
\|
*	More refactors that will make this whole thing very unstable	Robert Sloan	2016-06-22
\|
*	Running PipelineExample	Robert Sloan	2016-06-22
\|
*	Generalized and cleaned up state model	Robert Sloan	2016-06-22
\| \| \| \|	Pseudo conversions
*	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
*	Tuple-ization tactics work	Robert Sloan	2016-06-22
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	Most of Medial, less the conversions Most of Medial, less the conversions Most of Medial, less the conversions Most of Medial, less the conversions More of Medial MedialConversions done
*	Pushed through 2-ary multiplication except conversions	Robert Sloan	2016-06-22
\|
*	Finished first draft of PseudoConversions	Robert Sloan	2016-06-22
\|
*	A little progress on PseudoConversion	Robert Sloan	2016-06-22
\| \| \| \| \| \|	actually-decent PseudoConversion semantics actually-decent PseudoConversion semantics
*	removed float operations + improved pseudo somewhat	Robert Sloan	2016-06-22
\|
*	A little progress on PseudoConversion	Robert Sloan	2016-06-22
\|
*	Pseudo Evaluation Done	Robert Sloan	2016-06-22
\|
*	Part of Pseudo Evaluation	Robert Sloan	2016-06-22
\|
*	Finished string conversions	Robert Sloan	2016-06-22
	Part of Pseudo Evaluation Part of Pseudo Evaluation