coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #1140: Fix Travis OSX deploy conditional.	Maxime Dénès	2017-10-10
\|\
\| *	Fix Travis OSX deploy conditional.	Gaëtan Gilbert	2017-10-09
* \|	Revert "Switch Travis to OSX 10.12 and Xcode 8.3.3."	Théo Zimmermann	2017-10-07
\|/
*	Merge PR #1123: [ci] Remove deploy to GitHub of OS X package.	Maxime Dénès	2017-10-06
\|\
* \	Merge PR #1093: [doc] Update INSTALL to match reality.	Maxime Dénès	2017-10-05
\|\ \
\| \| *	[ci] Remove deploy to GitHub of OS X package.	Théo Zimmermann	2017-10-05
* \| \|	Remove GeoCoq from allowed failures.	Théo Zimmermann	2017-10-03
\| \|/ \|/\|
\| *	[doc] Update INSTALL to match reality.	Emilio Jesus Gallego Arias	2017-09-25
* \|	Do not run Travis OS X packaging job on PRs	Théo Zimmermann	2017-09-21
\|/
*	Add debug output to brew update.	Maxime Dénès	2017-09-15
*	Switch Travis to OSX 10.12 and Xcode 8.3.3.	Maxime Dénès	2017-09-15
*	Merge PR #971: Don't allow coq-dpdgraph to fail	Maxime Dénès	2017-08-31
\|\
* \|	Fix deployment to multiple providers.	Maxime Dénès	2017-08-29
* \|	Trying to fix deployment of master on bintray, and deploy tags to github.	Maxime Dénès	2017-08-29
* \|	Separate jobs for test-suite and package building under OSX.	Maxime Dénès	2017-08-18
* \|	Make Travis generate OSX packages.	Maxime Dénès	2017-08-17
\| *	Don't allow coq-dpdgraph to fail	Jason Gross	2017-08-15
\|/
*	Merge PR #746: Timing on ci via coq_makefile for various projects	Maxime Dénès	2017-07-31
\|\
* \	Merge PR #782: Update API for fiat	Maxime Dénès	2017-07-28
\|\ \
\| \| *	Alternate way of doing timing on ci	Jason Gross	2017-07-21
\| \|/ \|/\|
* \|	Merge PR #877: Travis+4.05.0	Maxime Dénès	2017-07-20
\|\ \
* \ \	Merge branch 'v8.7'	Maxime Dénès	2017-07-20
\|\ \ \
\| \| * \|	[travis] Update testing to 4.05.0 + Camlp5 7.01	Emilio Jesus Gallego Arias	2017-07-13
* \| \| \|	[travis] Display info on tested commit for PR builds.	Théo Zimmermann	2017-07-11
\| \|/ / \|/\| \|
\| * \|	Also install gnu-time on travis on Mac OSX	Jason Gross	2017-07-08
\|/ /
* \|	Fix OS X Travis by pinning OCaml version.	Théo Zimmermann	2017-06-30
\| *	Remove ci-fiat-parsers from allowed_failures	Jason Gross	2017-06-15
\|/
*	Move Fiat to allowed failures.	Maxime Dénès	2017-06-15
*	Remove bedrock from test suite.	Maxime Dénès	2017-06-15
*	Merge PR#749: Normalize deprecation notices of ./configure	Maxime Dénès	2017-06-14
\|\
* \|	[travis] extra test ci-bignums (+factorize other scripts)	Pierre Letouzey	2017-06-13
\| *	Normalize deprecation notices of ./configure	Théo Zimmermann	2017-06-11
* \|	Make coq-dpdgraph allow-fail	Jason Gross	2017-06-02
* \|	Add coq-dpdgraph CI	Jason Gross	2017-06-02
\|/
*	[travis] Add OSX test-suite checking.	Maxime Dénès	2017-06-01
*	travis: coq_makefile needs the tipa package	Enrico Tassi	2017-05-23
*	Travis: do not cache opam logs (+prettier spacing)	Gaetan Gilbert	2017-05-19
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-05-17
\|\
* \|	Travis: add -warn-error targets (standard and 4.04.1 ocaml)	Gaetan Gilbert	2017-05-17
* \|	Travis: deduplicate package list for coqide+documentation targets	Gaetan Gilbert	2017-05-17
* \|	Travis: do not run the tests if building Coq fails	Gaetan Gilbert	2017-05-17
* \|	[travis] Update OCaml to 4.04.1	Emilio Jesus Gallego Arias	2017-05-13
* \|	[travis] Move VST to required suite.	Emilio Jesus Gallego Arias	2017-05-13
\| *	Put .travis.yml in alphabetical order	Jason Gross	2017-05-09
\| *	Add bmsherman/topology to the ci	Jason Gross	2017-05-01
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-04-27
\|\\|
* \|	[travis] Pin camlp5 to the minimal version 6.14 for 4.02.3	Emilio Jesus Gallego Arias	2017-04-24
\| *	Add bedrock targets src and facade	Jason Gross	2017-04-20
* \|	[travis] Add webhook to Gitter.	Théo Zimmermann	2017-04-06
\| *	[travis] Backport from trunk: VST	Emilio Jesus Gallego Arias	2017-03-24