coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Update the lower-bound of the lablgtk dependency.	Théo Zimmermann	2018-01-04
\| \| \| \|	Closes #6509.
*	Fix CI with parallel make (messed up dependencies)	Gaëtan Gilbert	2017-12-21
\| \| \| \| \| \| \| \| \|	When invoking through Makefile we always rebuild dependencies. To skip dependencies, invoke ci-wrapper directly. We make Circle CI do this. In order to properly support invoking ci-wrapper directly we replace "make" in ci-common by a bash function which adds -j to the make invocation outside submakes. We also set TIMED in the ci-wrapper.
*	Compatibility of the Coq macOS package with OS X 10.11.	Théo Zimmermann	2017-12-15
\| \| \| \| \| \|	Travis has moved on to macOS 10.12 but this makes the package incompatible with earlier versions. This fix should restore the compatibility with OS X 10.11.
*	CI: use -byte-only in [warnings] jobs.	Gaëtan Gilbert	2017-11-28
\| \| \| \| \| \|	This avoids mixing native and byte compilation as the debug printers are always byte compiled and the tools have no .byte rule, only the OCAMLBEST rule.
*	Travis: do not build stdlib in [warnings] jobs.	Gaëtan Gilbert	2017-11-28
\|
*	Add Equations to CI	Matthieu Sozeau	2017-11-20
\|
*	[ci] [coq] Complete 4.06.0 support.	Emilio Jesus Gallego Arias	2017-11-13
\| \| \| \| \| \| \| \| \| \| \| \| \|	Due to an API change in laglgtk, we need to update CoqIDE. We use a makefile hack so it can compile with lablgtk < 2.8.16, another option would be to require 2.8.16 as a minimal dependency. We also refactor travis to test more lablgtk versions. We also need to account for improved attribute handling in 4.06.0, in particular module aliases will propagate the deprecation status. Fixes #6140.
*	Merge PR #6071: [ci] Add Ltac2	Maxime Dénès	2017-11-13
\|\
* \	Merge PR #1139: Add a linter.	Maxime Dénès	2017-11-06
\|\ \
\| \| *	[ci] Add Ltac2	Jason Gross	2017-11-04
\| \|/ \|/\|
* \|	[ocaml] [travis] Add preliminary 4.06 CI testing.	Emilio Jesus Gallego Arias	2017-10-27
\| \| \| \| \| \| \| \|	We are still missing an updated LABLGTK.
\| *	Put linter at the top of the tests.	Théo Zimmermann	2017-10-25
\| \|
\| *	Linter: check that files end with newlines.	Gaëtan Gilbert	2017-10-25
\| \| \| \| \| \| \| \|	We use git check-attr to look at the same files as git diff --check.
\| *	Add linter.	Gaëtan Gilbert	2017-10-25
\| \|
* \|	Merge PR #5995: Revert "Add debug output to brew update."	Maxime Dénès	2017-10-25
\|\ \
* \ \	Merge PR #5971: [travis] Add flambda testing.	Maxime Dénès	2017-10-25
\|\ \ \
\| \| * \|	Revert "Add debug output to brew update."	Théo Zimmermann	2017-10-20
\| \|/ / \|/\| \| \| \| \| \| \| \|	This reverts commit c7465d2ecb69e64613dd38b262f5e78ecad99de1.
* \| \|	rename ci-iris-coq -> ci-iris-lambda-rust	Ralf Jung	2017-10-19
\| \| \|
\| * \|	[travis] Add flambda testing.	Emilio Jesus Gallego Arias	2017-10-18
\|/ /
* \|	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
\| \|/ \| \| \| \| \| \|	IS is intended for testing nullity.
* /	Revert "Switch Travis to OSX 10.12 and Xcode 8.3.3."	Théo Zimmermann	2017-10-07
\|/ \| \| \| \| \|	This reverts commit 587e556a909fcd2e1507a9230d9cdaffa3f9394e from PR #1024. This commit did not solve any issue at the time it was merged but made the macOS package we produce compatible only with macOS 10.12 and later.
*	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
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	This is inconvenient because it can only be tested on tags and it didn't work for V8.7+beta1.
* \| \|	Remove GeoCoq from allowed failures.	Théo Zimmermann	2017-10-03
\| \|/ \|/\|
\| *	[doc] Update INSTALL to match reality.	Emilio Jesus Gallego Arias	2017-09-25
\| \| \| \| \| \| \| \|	[c.f] https://coq.inria.fr/bugs/show_bug.cgi?id=4270
* \|	Do not run Travis OS X packaging job on PRs	Théo Zimmermann	2017-09-21
\|/ \| \| \|	This job was useless anyway because the depoly and pre-deploy phases were not run.
*	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
\| \| \| \| \| \| \| \| \| \|	Deployment doesn't work on PRs, so I have to push it directly, sorry for the noise.
* \|	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
\| \| \| \| \| \| \| \| \| \|	The packages will be built only for main branches (not pull requests), and are accessible via bintray: https://bintray.com/coq/coq
\| *	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
\| \|/ \|/\| \| \| \| \|	This puts the boilerplate all in one place
* \|	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
\| \|/ / \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \|	This is made necessary by the fact that the displayed commit in the header of the build can be outdated if the build was restarted or took a long time to start. Sometimes, it is so old that the link to GitHub is a 404.
\| * \|	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
\|/ \| \| \|	It shouldn't be failing.
*	Move Fiat to allowed failures.	Maxime Dénès	2017-06-15
\| \| \| \|	For now, Fiat still relies on 8.4 compatibility.
*	Remove bedrock from test suite.	Maxime Dénès	2017-06-15
\| \| \| \| \| \|	Bedrock relies on the 8.4 compat flag that we are removing, and we heard from MIT that they did not plan to port bedrock to more recent versions of Coq.
*	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
\| \|