coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
...
*	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
\| \|
\| *	Normalize deprecation notices of ./configure	Théo Zimmermann	2017-06-11
\| \| \| \| \| \| \| \|	Always output a warning on stderr when a deprecated option is used.
* \|	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
\| \| \| \| \| \|	This is a first step towards getting Travis build our OSX package, but is also useful immediately (c.f. the recent breakage of the coq_makefile test-suite under OSX).
*	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
\|\