coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[ci] Fix another issue with the timing tests	Jason Gross	2018-04-26
*	Improve shell scripts	zapashcanon	2018-04-05
*	Update coq_makefile timing test	Jason Gross	2018-04-02
*	Merge PR #6756: Fix issue with spurious timing test failures	Maxime Dénès	2018-02-28
\|\
\| *	[test-suite] Move sed scripts into bash arrays	Jason Gross	2018-02-24
* \|	Merge PR #1073: new quick2vo target: like vio2vo, but smarter	Maxime Dénès	2018-02-15
\|\ \
\| * \|	disable tests: vio2vo is broken in Windows	Ralf Jung	2018-02-15
\| * \|	also test vio2vo	Ralf Jung	2018-02-15
\| * \|	test "make quick2vo"	Ralf Jung	2018-02-15
* \| \|	coq_makefile: Support "" as the prefix in _CoqProject	Joachim Breitner	2018-02-15
\|/ /
\| *	Fix issue with spurious timing test failures	Jason Gross	2018-02-13
\|/
*	Merge PR #6516: Add TIMING_SORT_BY and --sort-by to timing scripts	Maxime Dénès	2018-01-08
\|\
* \|	Trim more trailing whitespace in coq-makefile timing test	Jason Gross	2017-12-31
\| *	Add TIMING_SORT_BY and --sort-by to timing scripts	Jason Gross	2017-12-27
* \|	[API] remove large file containing duplicate interfaces	Enrico Tassi	2017-12-27
\|/
*	Do dependencies in 1 command per file class.	Gaëtan Gilbert	2017-12-15
*	Merge PR #6235: Fixing failing mkdir in test-suite for coq-makefile.	Maxime Dénès	2017-11-28
\|\
* \	Merge PR #6237: coq_makefile tests: build in easily removed temporary subdire...	Maxime Dénès	2017-11-27
\|\ \
\| * \|	coq_makefile tests: build in easily removed temporary subdirectory.	Gaëtan Gilbert	2017-11-24
\| \| *	Fixing failing mkdir in test-suite for coq-makefile.	Hugo Herbelin	2017-11-24
\| \|/
* /	Add test-suite tests for timing scripts	Jason Gross	2017-11-22
\|/
*	Have the coq_makefile timing test-suite print more	Jason Gross	2017-11-17
*	Remove dependency of test-suite on git (fix #5725).	Théo Zimmermann	2017-11-08
*	Handle ∞ in coq-makefile timing test-suite	Jason Gross	2017-10-19
*	Make a test for coq_makefile portable.	Pierre-Marie Pédrot	2017-09-22
*	fix test-suite/coq-makefile/findlib-package on windows	Enrico Tassi	2017-09-04
*	coq_makefile(pack): ml -> cmx --pack-> cmx -> cmxa -> cmxs	Enrico Tassi	2017-08-29
*	coq_makefile: use dedicated variable for extra packages	Enrico Tassi	2017-08-29
*	coq_makefile: test using findlib's package	Enrico Tassi	2017-08-29
*	more verbose logs for coq-makefile	Enrico Tassi	2017-07-20
*	coq-makefile: make test suite detect more errors	Enrico Tassi	2017-07-20
*	Add timing scripts	Jason Gross	2017-07-11
*	Remove dependency on -compat flag in coq_makefile test suite.	Maxime Dénès	2017-06-15
*	Merge PR#709: Bytecode compilation apart from 'make world', again	Maxime Dénès	2017-06-12
\|\
* \|	Add support for "-bypass-API" argument of "coq_makefile"	Matej Košík	2017-06-12
* \|	Test-suite: do not test native compiler if disabled by configure.	Maxime Dénès	2017-06-01
\| *	test-suite/coq-makefile: we do not build byte file by default anymore	Pierre Letouzey	2017-06-01
\|/
*	Merge PR#687: Gitlab CI	Maxime Dénès	2017-05-29
\|\
* \	Merge PR#689: Changes to make coq-makefile not failing on MacOS X.	Maxime Dénès	2017-05-28
\|\ \
* \ \	Merge PR#683: coq_makefile: build .cma for each .mlpack	Maxime Dénès	2017-05-28
\|\ \ \
\| \| \| *	Gitlab CI	Gaëtan Gilbert	2017-05-28
\| * \| \|	coq_makefile: build .cma for each .mlpack	Enrico Tassi	2017-05-27
\| \| \|/ \| \|/\|
* \| \|	Add execution permission to test-suite file.	Théo Zimmermann	2017-05-27
* \| \|	Use specific shell for more robustness.	Théo Zimmermann	2017-05-27
* \| \|	Fix test-suite/coq-makefile on NixOS.	Théo Zimmermann	2017-05-27
\|/ /
\| *	Changes to make coq-makefile not failing on MacOS X.	Hugo Herbelin	2017-05-26
\|/
*	add the only target	Enrico Tassi	2017-05-23
*	coq_makefile: don't quote extra arguments (-arg)	Enrico Tassi	2017-05-23
*	test suite for coq_makefile2	Enrico Tassi	2017-05-23
*	test suite for coq_makefile	Enrico Tassi	2017-05-23