fiat-crypto - fast, formally verified cryptography

	Commit message (Expand)	Author	Age
...
* \| \| \|	Added lemmas to Util/ that are needed for testbit.	jadep	2016-06-22
* \| \| \|	Cleaned up and revised DoubleAndAdd.	jadep	2016-06-22
* \| \| \|	Removed old iter_op version and its last dependency.	jadep	2016-06-22
* \| \| \|	Retrieved updated version of Util/IterAssocOp and modified ExtendedCoordinate...	jadep	2016-06-22
* \| \| \|	Fixed syntax error (missing bracket) in Ed25519 to make merge build	jadep	2016-06-22
* \| \| \|	ed25519: continue derivation	Andres Erbsen	2016-06-22
* \| \| \|	Finished refactor of GF25519 (partial evaluation); code builds but needs to b...	jadep	2016-06-22
* \| \| \|	Reverting Util/IterAssocOp to an earlier version for compatibility with Compl...	jadep	2016-06-22
* \| \| \|	Merge and refactor of GF25519	jadep	2016-06-22
* \| \| \|	Drop second projections in Ed25519	Jason Gross	2016-06-22
* \| \| \|	fix of GF25519 in progress; created instantiation of PseudoMersenneBaseParams	Jade Philipoom	2016-06-22
* \| \| \|	made BaseVector instance global	Jade Philipoom	2016-06-22
* \| \| \|	refactor of Basesystem and ModularBaseSystem; includes general code organizat...	Jade Philipoom	2016-06-22
* \| \| \|	Refactored BaseSystem and ModularBaseSystem.	Jade Philipoom	2016-06-22
* \| \| \|	IterAssocOp: now uses arbitrary representation of scalar that implements testbit	Jade Philipoom	2016-06-22
* \| \| \|	IterAssocOp : now takes a bound argument instead of just using size of exponent	Jade Philipoom	2016-06-22
* \| \| \|	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
* \| \| \|	Parsing portion of StringConversion	Robert Sloan	2016-06-22
* \| \| \|	AlmostConversion and part of StringConversion	Robert Sloan	2016-06-22
* \| \| \|	PseudoMedialConversion done	Robert Sloan	2016-06-22
* \| \| \|	Generalized and cleaned up state model	Robert Sloan	2016-06-22
* \| \| \|	Finished proofs in QhasmEvalCommon for formalizing mappings	Robert Sloan	2016-06-22
* \| \| \|	Major language refactoring to support Memory and AddWithCarry	Robert Sloan	2016-06-22
* \| \| \|	MedialConversions done	Robert Sloan	2016-06-22
* \| \| \|	Tuple-ization tactics work	Robert Sloan	2016-06-22
* \| \| \|	Fixed MultiBoundedWords to use wand_mask	Robert Sloan	2016-06-22
* \| \| \|	Full-pipeline example	Robert Sloan	2016-06-22
* \| \| \|	multi works with enough time	Robert Sloan	2016-06-22
* \| \| \|	pushed mul through the pipeline	Robert Sloan	2016-06-22
* \| \| \|	Pushed through 2-ary multiplication except conversions	Robert Sloan	2016-06-22
* \| \| \|	Finished first draft of PseudoConversions	Robert Sloan	2016-06-22
* \| \| \|	actually-decent PseudoConversion semantics	Robert Sloan	2016-06-22
* \| \| \|	A little progress on PseudoConversion	Robert Sloan	2016-06-22
* \| \| \|	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
* \| \| \|	Hypothesis-based Bounded Words	Robert Sloan	2016-06-22
* \| \| \|	Assembly converted except String and Gallina conversions	Robert Sloan	2016-06-22
* \| \| \|	Simpler QhasmCommon grammar	Robert Sloan	2016-06-22
* \| \| \|	figured out all that crazy joinWords refinement	Robert Sloan	2016-06-22
* \| \| \|	Fix Qhasm and AlmostQhasm with new State machinery	Robert Sloan	2016-06-22
* \| \| \|	Breaking out State into its own file	Robert Sloan	2016-06-22
* \| \| \|	add Assembly to CoqProject	Robert Sloan	2016-06-22
* \| \| \|	Module-based reorganization of Qhasm code	Robert Sloan	2016-06-22
* \| \| \|	ed25519 derivation: pair programming with jgross... slow progress	Andres Erbsen	2016-06-22