index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
test-suite
/
Makefile
Commit message (
Expand
)
Author
Age
*
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
|
\
\
\
*
|
|
|
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
[next]