coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fix coqdoc test-suite target on Windows.	Théo Zimmermann	2017-08-21
*	Merge PR #880: Fix coqdoc bug #5648 on user idents colliding with keywords wr...	Maxime Dénès	2017-08-16
\|\
* \|	fake_ide: do as coqide to find out coqtop path	Enrico Tassi	2017-07-20
* \|	Remove trailing CR before diff in output and misc tests.	Maxime Dénès	2017-07-20
* \|	Print failure logs on appveyor.	Maxime Dénès	2017-07-20
* \|	Make coqlib relative in test suite (revert 024a7ab20b0)	Maxime Dénès	2017-07-20
\| *	Adding a coqdoc target to test-suite.	Hugo Herbelin	2017-07-17
\|/
*	Fix Travis sectioning	Jason Gross	2017-06-10
*	Better sectioning on travis log printing in test-suite	Jason Gross	2017-06-09
*	Merge PR#711: [gitlab] Artifact test suite logs on failure.	Maxime Dénès	2017-06-02
\|\
* \	Merge PR#704: Fix empty parentheses display in test-suite	Maxime Dénès	2017-06-01
\|\ \
\| \| *	[travis] print failing test suite logs on failure	Gaëtan Gilbert	2017-05-31
\| * \|	Fix empty parentheses display in test-suite	Jason Gross	2017-05-30
\| \|/
* /	[readlink -f] doesn't work on OSX	Gaëtan Gilbert	2017-05-30
\|/
*	Merge PR#687: Gitlab CI	Maxime Dénès	2017-05-29
\|\
\| *	Gitlab CI	Gaëtan Gilbert	2017-05-28
* \|	add Show test with -emacs flag	Paul Steckler	2017-05-25
\|/
*	test suite for coq_makefile2	Enrico Tassi	2017-05-23
*	test suite for coq_makefile	Enrico Tassi	2017-05-23
*	Re-adding explicit dependency of misc universe test into all_stdlib.v.	Hugo Herbelin	2017-05-19
*	Moving code for miscellaneous tests to specific files.	Hugo Herbelin	2017-05-10
*	A more regular naming of variables in test-suite Makefile.	Hugo Herbelin	2017-05-10
*	Adding tests for testing exit status and #use"include".	Hugo Herbelin	2017-05-10
*	Rename lia.cache into .lia.cache in the test-suite Makefile.	Maxime Dénès	2016-10-24
*	Merge branch 'v8.5' into v8.6	Hugo Herbelin	2016-10-24
*	Merge remote-tracking branch 'gforge/v8.5' into v8.6	Matthieu Sozeau	2016-10-21
\|\
\| *	Adding dependency of the test-suite subsystems in prerequisite (fixing #5150).	Hugo Herbelin	2016-10-20
* \|	test-suite/output-modulo-time made more robust	Enrico Tassi	2016-09-30
* \|	Merge remote-tracking branch 'github/pr/303' into v8.6	Maxime Dénès	2016-09-30
\|\ \
* \ \	Merge remote-tracking branch 'github/pr/302' into v8.6	Maxime Dénès	2016-09-30
\|\ \ \
* \| \| \|	Restore code ignoring <W> lines in output (camlp5 warnings)	Enrico Tassi	2016-09-30
* \| \| \|	Ignore file names in warning emitted by test-suite/output/* (#5111)	Enrico Tassi	2016-09-30
\| \| * \|	LtacProf cutoff is for total percent, not time	Jason Gross	2016-09-29
\| \|/ / \|/\| \|
\| * \|	Set the default LtacProf cutoff to 2%	Jason Gross	2016-09-29
\|/ /
* \|	test-suite: fix sed on OS X, does not handle +	Matthieu Sozeau	2016-09-29
* \|	test-suite/output-modulo-time made more robust	Enrico Tassi	2016-09-13
* \|	Add support for testing output mod timing changes	Jason Gross	2016-09-11
* \|	Add a test for 4836	Jason Gross	2016-09-11
* \|	Merge branch 'v8.5' into trunk	Maxime Dénès	2016-07-04
\|\\|
\| *	test-suite: test checking of libraries checksum.	Maxime Dénès	2016-07-04
* \|	fix test-suite/ide Makefile (stupid typo)	Enrico Tassi	2016-06-15
* \|	test-suiet: run fake_id as before pr/173 was merged	Enrico Tassi	2016-06-14
* \|	STM: code cleanup	Enrico Tassi	2016-05-10
* \|	Do that "make" in test-suite writes failures as a default together	Hugo Herbelin	2016-04-19
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-12-08
\|\\|
\| *	Fix some typos.	Guillaume Melquiond	2015-12-07
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-12-03
\|\\|
\| *	Adding a target report to test-suite's Makefile to get a short summary.	Hugo Herbelin	2015-12-02
* \|	New algorithm for universe cycle detections.	Jacques-Henri Jourdan	2015-12-01
\|/
*	Univs: the stdlib now needs 5 universes	Matthieu Sozeau	2015-10-02