fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Make [reflect] a typeclass and add a bunch of lemmas	Jason Gross	2019-03-04
\|
*	Don't rely on autogenerated names	Jason Gross	2017-06-05
\| \| \| \| \| \|	This fixes all of the private-names warnings emitted by compiling fiat-crypto with https://github.com/coq/coq/pull/268 (minus the ones in coqprime, which I didn't touch).
*	Don't change sumbool eq hypothesis unless both sides are constructors	Jason Gross	2017-01-30
\|
*	Fix typos	Jason Gross	2017-01-30
\|
*	Add Util.Sumbool	Jason Gross	2017-01-30
\|
*	Fully qualify [Require]s	Jason Gross	2016-09-08
\| \| \| \|	This way they won't become ambiguous if we add new files
*	Add decidable instances for sumwise and fieldwise	Jason Gross	2016-06-27
\|
*	Add a tactic for dealing with equalities of [sum]	Jason Gross	2016-06-27
\|
*	Add equality on sum types	Jason Gross	2016-06-23