coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Merge PR#784: API additions for coq-dpdgraph	Maxime Dénès	2017-06-19
\|\
\| *	Add coq-dpdgraph to gitlab CI	Gaëtan Gilbert	2017-06-16
\| \|
* \|	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
\|
*	[travis] print failing test suite logs on failure	Gaëtan Gilbert	2017-05-31
\|
*	[gitlab] Artifact test suite logs on failure.	Gaëtan Gilbert	2017-05-30
\|
*	Gitlab CI	Gaëtan Gilbert	2017-05-28