fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	fix imports and qualifiers so everything builds	jadep	2019-04-03
\|
*	split up Arithmetic (imports etc. not yet fixed, does not build)	jadep	2019-04-03
\|
*	More minor improvements in docstrings	Jason Gross	2019-02-02
\|
*	Rename docstring generator based on Andres' suggestion	Jason Gross	2019-02-02
\|
*	Update with davidben's and Andres' suggestions	Jason Gross	2019-02-02
\|
*	Address code review comments to improve docstrings	Jason Gross	2019-02-02
\|
*	Add autogenerated docstrings to synthesized code	Jason Gross	2019-02-02
\| \| \| \| \| \| \| \| \|	We now stringify the correctness conditions to generate docstrings for the synthesized code. Closes #512 Time commitment: about 6 hours
*	Also display the carry chain in a comment	Jason Gross	2019-01-26
\|
*	Split up PushButtonSynthesis.v	Jason Gross	2019-01-18
	Closes #497