fiat-crypto - fast, formally verified cryptography

	Commit message (Expand)	Author	Age
*	merging with master	Robert Sloan	2016-06-06
\|\
* \	merging with master	Robert Sloan	2016-06-06
\|\ \
* \| \|	Full pipeline working again	Robert Sloan	2016-06-06
* \| \|	Huge Language / Conversion refactors	Robert Sloan	2016-06-04
* \| \|	More refactors that will make this whole thing very unstable	Robert Sloan	2016-06-03
* \| \|	Running PipelineExample	Robert Sloan	2016-06-02
* \| \|	Running PipelineExample	Robert Sloan	2016-06-01
* \| \|	Running PipelineExample	Robert Sloan	2016-06-01
* \| \|	Running PipelineExample	Robert Sloan	2016-06-01
* \| \|	Parsing portion of StringConversion	Robert Sloan	2016-06-01
* \| \|	Parsing portion of StringConversion	Robert Sloan	2016-06-01
* \| \|	AlmostConversion and part of StringConversion	Robert Sloan	2016-05-31
* \| \|	PseudoMedialConversion done	Robert Sloan	2016-05-31
* \| \|	Pseudo conversions	Robert Sloan	2016-05-31
* \| \|	Generalized and cleaned up state model	Robert Sloan	2016-05-31
* \| \|	Generalized and cleaned up state model	Robert Sloan	2016-05-30
* \| \|	Generalized and cleaned up state model	Robert Sloan	2016-05-28
* \| \|	Finished proofs in QhasmEvalCommon for formalizing mappings	Robert Sloan	2016-05-27
* \| \|	Finished proofs in QhasmEvalCommon for formalizing mappings	Robert Sloan	2016-05-27
* \| \|	Major language refactoring to support Memory and AddWithCarry	Robert Sloan	2016-05-26
* \| \|	Major language refactoring to support Memory and AddWithCarry	Robert Sloan	2016-05-26
* \| \|	MedialConversions done	Robert Sloan	2016-05-25
* \| \|	MedialConversions done	Robert Sloan	2016-05-25
\| \| *	Merge branch 'master' of github.mit.edu:plv/fiat-crypto	jadep	2016-05-25
\| \| \|\
\| \| * \|	Fixed Encoding/PointEncodingTheorems; imports had been deleted, but for some ...	jadep	2016-05-25
* \| \| \|	More of Medial	Robert Sloan	2016-05-24
\| \| \| *	ed25519: indentation fix	Andres Erbsen	2016-05-24
\| \| \| *	ed25519: integrate FRepPow and FRepInv	Andres Erbsen	2016-05-24
\| \| \| *	ed25519: continue refactor	Andres Erbsen	2016-05-24
\| \| \| *	PrimeFieldTheorems fermat inverse lemma: prove admit	Andres Erbsen	2016-05-24
\| \| \| *	Factor some rewrites into a single [autorewrite]	Jason Gross	2016-05-24
\| \| \| *	Remove unfolding, rewrite -> setoid_rewrite	Jason Gross	2016-05-24
\| \| \| *	Fix some issues in Ed25519 tactics	Jason Gross	2016-05-24
\| \| \| *	F,Ed25519: integrate F representation for mul,add,sub. Ed25519 even more brok...	Andres Erbsen	2016-05-24
* \| \| \|	Most of Medial, less the conversions	Robert Sloan	2016-05-23
* \| \| \|	Most of Medial, less the conversions	Robert Sloan	2016-05-23
* \| \| \|	Most of Medial, less the conversions	Robert Sloan	2016-05-21
* \| \| \|	Most of Medial, less the conversions	Robert Sloan	2016-05-21
\| \| * \|	First stage of canonicalization proofs complete; proved 3 carry loops reduce ...	jadep	2016-05-20
* \| \| \|	Tuple-ization tactics work	Robert Sloan	2016-05-18
\| \| \| *	F: pow_nat_iter_op_correct	Andres Erbsen	2016-05-18
\| \| \| *	F: fermat inversion lemma refactor	Andres Erbsen	2016-05-18
\| \| \| *	unifiedAddM1Rep_sig: almost there	Andres Erbsen	2016-05-18
\| \| \| *	slightly nicer edwards curve extended coordinates addition	Andres Erbsen	2016-05-18
\| \| \|/
* \| \|	Tuple-ization tactics work	Robert Sloan	2016-05-17
* \| \|	Fixed MultiBoundedWords to use wand_mask	Robert Sloan	2016-05-17
* \| \|	Full-pipeline example	Robert Sloan	2016-05-16
* \| \|	Full-pipeline example	Robert Sloan	2016-05-16
* \| \|	Working on medial language	Robert Sloan	2016-05-16
* \| \|	multi works with enough time	Robert Sloan	2016-05-16