fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	[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
\|
*	Work around travis bugs	Jason Gross	2018-01-29
\| \| \| \| \| \| \|	https://github.com/travis-ci/travis-ci/issues/8507 We use a script and travis_retry to work around "failed to fetch" with launchpad
*	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.
*	Also build non-specific on smithers	Jason Gross	2017-12-13
\|
*	Add missing file from previous commit	Jason Gross	2017-12-13
\|
*	Print coq version on smithers	Jason Gross	2017-11-04
\|
*	Fix smithers build	Jason Gross	2017-10-31
\|
*	Add nonautogenerated-specific{,-display} targets	Jason Gross	2017-10-23
\|
*	Update smithers script	Jason Gross	2017-10-13
\|
*	Smithers doesn't support -o pipefail	Jason Gross	2017-10-11
\|
*	Add etc/ci/smithers.sh for smithers testing	Jason Gross	2017-10-10
\|
*	Don't let travis kill us in 10 minutes of silence	Jason Gross	2016-11-18