fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Pseudize Lemmas for Dual Operations	Robert Sloan	2016-06-23
\|
*	Make Assembly modules 8.5-compatible	Robert Sloan	2016-06-22
\|
*	Fix build process	Robert Sloan	2016-06-22
\| \| \| \| \| \|	Fix build process Fix build process
*	Full pipeline working again	Robert Sloan	2016-06-22
\|
*	Huge Language / Conversion refactors	Robert Sloan	2016-06-22
\|
*	Running PipelineExample	Robert Sloan	2016-06-22
\|
*	Parsing portion of StringConversion	Robert Sloan	2016-06-22
\| \| \| \| \| \| \| \|	Running PipelineExample Running PipelineExample Running PipelineExample
*	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
*	MedialConversions done	Robert Sloan	2016-06-22
\| \| \| \|	Major language refactoring to support Memory and AddWithCarry
*	Fixed MultiBoundedWords to use wand_mask	Robert Sloan	2016-06-22
\| \| \| \|	Tuple-ization tactics work
*	multi works with enough time	Robert Sloan	2016-06-22
\| \| \| \| \| \|	Working on medial language Full-pipeline example
*	Finished string conversions	Robert Sloan	2016-06-22
\| \| \| \| \| \|	Part of Pseudo Evaluation Part of Pseudo Evaluation
*	Hypothesis-based Bounded Words	Robert Sloan	2016-06-22
\| \| \| \|	Most of string conversions
*	Simpler QhasmCommon grammar	Robert Sloan	2016-06-22
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	updating QhasmCommon Pushing through changes Pushing through changes Pushing through changes Pushing through changes Pushing through changes Pushing through changes
*	add Assembly to CoqProject	Robert Sloan	2016-06-22
\| \| \| \| \| \|	very unstable, but interesting commit very unstable, but interesting commit
*	Module-based reorganization of Qhasm code	Robert Sloan	2016-06-22