coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-07-04
\|\
\| *	Pass GNU Make jobserver on to the ci jobs	Jason Gross	2017-06-16
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Solution found by reading the question [Is it possible to “pass-through” GNU make jobserver environment to a submake served via a 3rd-party (non-make)](https://stackoverflow.com/q/29910944/377022). This, I hope, will fix errors such as ``` make[2]: * write jobserver: Bad file descriptor. Stop. make[2]: * Waiting for unfinished jobs.... make[2]: * write jobserver: Bad file descriptor. Stop. make[1]: * [coqprime] Error 2 make[1]: INTERNAL: Exiting with 1 jobserver tokens available; should be 2! make[1]: Leaving directory `/home/travis/build/JasonGross/coq/_build_ci/fiat-c ``` which result from having a top-level `make` which sets up the jobserver (via `-jN`), which invokes a non-makefile script without passing on the file descriptors for the jobserver, which either invokes a makefile script without `-jN` or invokes a makefile script with `-jN` which itself invokes a submake without `-jN`. This was the case, for example, in fiat-crypto.
* \|	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.
* \|	[travis] extra test ci-bignums (+factorize other scripts)	Pierre Letouzey	2017-06-13
\| \|
* \|	Add coq-dpdgraph CI	Jason Gross	2017-06-02
\| \|
* \|	Reformat Makefile.ci	Jason Gross	2017-05-31
\|/
*	Add bmsherman/topology to the ci	Jason Gross	2017-05-01
\| \| \| \| \|	This development of @bmsherman tests universe polymorphism and setoid rewriting in type, and should build with v8.6 and trunk.
*	Add bedrock targets src and facade	Jason Gross	2017-04-20
\|
*	[travis] Backport from trunk: VST	Emilio Jesus Gallego Arias	2017-03-24
\|
*	[travis] [8.6.only] Backport latest changes from trunk.	Emilio Jesus Gallego Arias	2017-03-22
\|
*	[travis] Backport trunk's travis support.	Emilio Jesus Gallego Arias	2017-03-02