fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	partition -> Partition.partition to prevent confusion with List.partition	jadep	2019-04-03
\|
*	update import statements	jadep	2019-04-03
\|
*	remove extraneous module identifiers	jadep	2019-04-03
\|
*	split up Arithmetic (imports etc. not yet fixed, does not build)	jadep	2019-04-03
\|
*	finish proofs	jadep	2019-03-25
\|
*	Get new Barrett proofs to generate Fancy code as before	jadep	2019-03-25
\|
*	adapt barrett to new glue code	jadep	2019-02-21
\|
*	Make Qed not take forever	jadep	2019-02-21
\|
*	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
*	Split up PushButtonSynthesis.v	Jason Gross	2019-01-18
	Closes #497