coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
* \|	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
\|/
*	Move Fiat to allowed failures.	Maxime Dénès	2017-06-15
*	Remove bedrock from test suite.	Maxime Dénès	2017-06-15
*	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
* \|	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
*	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
\|\
* \|	Travis: add -warn-error targets (standard and 4.04.1 ocaml)	Gaetan Gilbert	2017-05-17
* \|	Travis: deduplicate package list for coqide+documentation targets	Gaetan Gilbert	2017-05-17
* \|	Travis: do not run the tests if building Coq fails	Gaetan Gilbert	2017-05-17
* \|	[travis] Update OCaml to 4.04.1	Emilio Jesus Gallego Arias	2017-05-13
* \|	[travis] Move VST to required suite.	Emilio Jesus Gallego Arias	2017-05-13
\| *	Put .travis.yml in alphabetical order	Jason Gross	2017-05-09
\| *	Add bmsherman/topology to the ci	Jason Gross	2017-05-01
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-04-27
\|\\|
* \|	[travis] Pin camlp5 to the minimal version 6.14 for 4.02.3	Emilio Jesus Gallego Arias	2017-04-24
\| *	Add bedrock targets src and facade	Jason Gross	2017-04-20
* \|	[travis] Add webhook to Gitter.	Théo Zimmermann	2017-04-06
\| *	[travis] Backport from trunk: VST	Emilio Jesus Gallego Arias	2017-03-24
* \|	[travis] Add VST	Emilio Jesus Gallego Arias	2017-03-24
\| *	[travis] [8.6.only] Backport latest changes from trunk.	Emilio Jesus Gallego Arias	2017-03-22
* \|	[ci] Document that sudo: false is slower	Tej Chajed	2017-03-10
\| *	[travis] Move GeoCoq to allow fail.	Emilio Jesus Gallego Arias	2017-03-10
* \|	[travis] Move GeoCoq to allow fail.	Emilio Jesus Gallego Arias	2017-03-09
\| *	[travis] Backport trunk's travis support.	Emilio Jesus Gallego Arias	2017-03-02
*	[travis] [External CI] fiat-parsers	Emilio Jesus Gallego Arias	2017-02-24
*	[travis] [External CI] CompCert official 8.6 support + UniMath	Emilio Jesus Gallego Arias	2017-02-15
*	[travis] [External CI] GeoCoq	Emilio Jesus Gallego Arias	2017-02-07
*	[travis] Enable 32bit test-suite + validate.	Emilio Jesus Gallego Arias	2017-02-07
*	[travis] [External CI] C-Corn color coquelicot cpdt fiat-crypto floqc iris-co...	Emilio Jesus Gallego Arias	2017-02-07
*	[travis] [External CI] Script renaming.	Emilio Jesus Gallego Arias	2017-02-07
*	[travis] Improvements to main script	Emilio Jesus Gallego Arias	2017-02-07
*	[travis] [External CI] compcert HoTT math-comp	Emilio Jesus Gallego Arias	2017-02-07
*	[travis] Run tests using a parallel matrix.	Emilio Jesus Gallego Arias	2017-02-06
*	[travis] : more apt deps + parallel jobs + non-container based	Pierre-Yves Strub	2017-02-04
*	[travis] CoqIde + doc + last available LST	Pierre-Yves Strub	2017-02-04
*	Travis CI configuration. Runs validate & test-suite.	Pierre-Yves Strub	2017-02-03