fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	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