fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Remove bbv dependency	Benjamin Barenblat	2019-04-26
\| \| \| \| \| \|	No code in fiat-crypto depends on bbv anymore, so delete it. Closes https://github.com/mit-plv/fiat-crypto/issues/481.
*	[travis] Always display the diff, but don't display _CoqProject	Jason Gross	2018-10-25
\| \| \| \| \|	Because remove_autogenerated.sh updates _CoqProject, and we don't want to see the churn from that.
*	[travis] Only run git diff on failure	Jason Gross	2018-08-09
\|
*	Add git diff for better debugging of C-file issues	Jason Gross	2018-07-21
\|
*	Die early if we can't create the archive	Jason Gross	2018-03-22
\| \| \| \|	This would have caught the issue fixed by the previous commit much earlier.
*	Update travis caching script	Jason Gross	2018-03-22
\| \| \| \|	We no longer have a Bedrock directory; we instead have a bbv directory
*	Fix an issue where travis was not building quite the right targets	Jason Gross	2018-02-12
\|
*	Attempt to build travis in stages	Jason Gross	2018-01-16
	Hopefully this will lead to overall faster builds Also: - try to allow failures - Version-specific vo caches - Make archives stage-specific This way, if multiple branches are running stages at the same time, they don't have as much a chance of clobbering each others builds.