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
\|
*	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
*	multi works with enough time	Robert Sloan	2016-06-22
\| \| \| \| \| \|	Working on medial language Full-pipeline example
*	pushed mul through the pipeline	Robert Sloan	2016-06-22
\| \| \| \| \| \|	multi_bound weird but better multi_bound weird but better
*	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
\| \| \| \| \| \|	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
\|
*	Finished string conversions	Robert Sloan	2016-06-22
	Part of Pseudo Evaluation Part of Pseudo Evaluation