coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Add mit-plv/bedrock2-ci to CI	Andres Erbsen	2018-06-27
*	QuickChick CI	Leonidas Lampropoulos	2018-06-02
*	[ci] Add mit-plv/cross-crypto	Jason Gross	2018-05-09
*	[ci] Add a default target to `Makefile.ci`	Emilio Jesus Gallego Arias	2018-05-06
*	[ci]: add pidetop (fix #7336)	Enrico Tassi	2018-05-02
*	updating CI for Mtac2	Beta Ziliani	2018-04-25
*	CI: add fcsl-pcm	Anton Trunov	2018-04-20
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	ci: add elpi	Enrico Tassi	2018-02-19
*	Fix ci-all target	Gaëtan Gilbert	2018-01-10
*	Fix CI with parallel make (messed up dependencies)	Gaëtan Gilbert	2017-12-21
*	Put bignums, math-classes and corn dependencies in Makefile	Gaëtan Gilbert	2017-12-13
*	Add Equations to CI	Matthieu Sozeau	2017-11-20
*	[ci] Add Ltac2	Jason Gross	2017-11-04
*	rename ci-iris-coq -> ci-iris-lambda-rust	Ralf Jung	2017-10-19
*	Merge PR #968: Better error messages on the CI	Maxime Dénès	2017-09-07
\|\
\| *	Move the rest of the ci target to a bash file	Jason Gross	2017-08-15
\| *	Better error messages on the CI	Jason Gross	2017-08-15
* \|	Fix a typo	Jason Gross	2017-08-15
\|/
*	Alternate way of doing timing on ci	Jason Gross	2017-07-21
*	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
* \|	Remove bedrock from test suite.	Maxime Dénès	2017-06-15
* \|	[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
*	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