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
*
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
*
Updating the documentation and the toolchain w.r.t. the change in -compile.
Pierre-Marie Pédrot
2015-09-25
*
test-suite: Fix test-suite Makefile
Matthieu Sozeau
2015-07-07
*
Flag -test-mode intended to be used for ad-hoc prints in test-suite
Enrico Tassi
2015-05-29
*
camlp4: grep away warnings in output/* tests
Enrico Tassi
2015-03-30
*
There was one more universe needed due to the use of now non-universe-polymor...
Matthieu Sozeau
2015-01-18
*
Back to 4 expected universes.
Matthieu Sozeau
2015-01-17
*
STM: fix handling of side effects in vio2vo
Enrico Tassi
2015-01-09
*
rename: vi -> vio
Enrico Tassi
2015-01-06
*
include test-suite/coqchk in the summary log
Enrico Tassi
2014-12-27
*
new test for coqchk
Enrico Tassi
2014-12-26
*
Test suite: keep message in sync with actual file deletions.
Xavier Clerc
2014-12-11
*
typo
Enrico Tassi
2014-12-10
*
test-suite: few tests for ".v -> .vi -> .vo" compilation chain
Enrico Tassi
2014-12-10
*
Fix test flags for fake_ide
Enrico Tassi
2014-11-27
*
Use return code to classify anomalies as active open bugs.
Xavier Clerc
2014-11-14
*
Classify segfaults as failures in opened bugs.
Xavier Clerc
2014-10-03
*
Classify segfaults as failures in opened bugs
Xavier Clerc
2014-10-03
*
Added make dependency in %.out in output tests.
Hugo Herbelin
2014-10-02
*
Updating to the new use of 3 universes, after Hurkens is simplified.
Hugo Herbelin
2014-10-01
*
Reductionops: (Co)Fixpoints are always refolded during iota
Pierre Boutillier
2014-09-18
*
Undo prints only if coqtop || emacs
Enrico Tassi
2014-09-16
*
Removing dead code relative to the XML plugin.
Pierre-Marie Pédrot
2014-09-08
*
fixup fakeide test-suite
Pierre Boutillier
2014-07-24
[next]