coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fix #7704: get_toplevel_path needs normalised argv.(0)	Gaëtan Gilbert	2018-06-22
*	test suite: make target to regenerate failing output tests	Gaëtan Gilbert	2018-06-04
*	Allow make clean to work on a fresh clone	Jason Gross	2018-05-25
*	Modify make system to include Makefile.common in the test suite	Gaëtan Gilbert	2018-05-16
*	add unit tests to test suite	Paul Steckler	2018-05-16
*	[ssr] import ssreflect test suite from math-comp	Enrico Tassi	2018-05-15
*	test suite: clean more things (glob, MExtraction.out, distclean aux)	Gaëtan Gilbert	2018-04-22
*	test suite: print message for failing tests as they come	Gaëtan Gilbert	2018-04-22
*	test suite Makefile: do not use %.stamp for subsystem targets	Gaëtan Gilbert	2018-04-22
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	Fix undefined variables in test-suite/Makefile + add PRINT_LOGS	Gaëtan Gilbert	2018-01-11
*	Merge PR #6234: Make the micromega extraction check a regular output test.	Maxime Dénès	2017-12-20
\|\
* \|	Circle CI: cat failed test suite logs	Gaëtan Gilbert	2017-12-14
\| *	Make the micromega extraction check a regular output test.	Gaëtan Gilbert	2017-11-28
\|/
*	Universe binders survive sections, modules and compilation.	Gaëtan Gilbert	2017-11-25
*	Merge PR #6123: Nix file	Maxime Dénès	2017-11-23
\|\
* \|	Fixing encoding in coqdoc output tests.	Hugo Herbelin	2017-11-13
\| *	Introduce default.nix for Nix users.	Théo Zimmermann	2017-11-09
\|/
*	add coqwc tests	Paul Steckler	2017-10-03
*	Avoid running interactive tests on Windows.	Maxime Dénès	2017-08-29
*	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
\|\ \ \