aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/Makefile
Commit message (Expand)AuthorAge
* Modify make system to include Makefile.common in the test suiteGravatar Gaëtan Gilbert2018-05-16
* add unit tests to test suiteGravatar Paul Steckler2018-05-16
* [ssr] import ssreflect test suite from math-compGravatar Enrico Tassi2018-05-15
* test suite: clean more things (glob, MExtraction.out, distclean aux)Gravatar Gaëtan Gilbert2018-04-22
* test suite: print message for failing tests as they comeGravatar Gaëtan Gilbert2018-04-22
* test suite Makefile: do not use %.stamp for subsystem targetsGravatar Gaëtan Gilbert2018-04-22
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Fix undefined variables in test-suite/Makefile + add PRINT_LOGSGravatar Gaëtan Gilbert2018-01-11
* Merge PR #6234: Make the micromega extraction check a regular output test.Gravatar Maxime Dénès2017-12-20
|\
* | Circle CI: cat failed test suite logsGravatar Gaëtan Gilbert2017-12-14
| * Make the micromega extraction check a regular output test.Gravatar Gaëtan Gilbert2017-11-28
|/
* Universe binders survive sections, modules and compilation.Gravatar Gaëtan Gilbert2017-11-25
* Merge PR #6123: Nix fileGravatar Maxime Dénès2017-11-23
|\
* | Fixing encoding in coqdoc output tests.Gravatar Hugo Herbelin2017-11-13
| * Introduce default.nix for Nix users.Gravatar Théo Zimmermann2017-11-09
|/
* add coqwc testsGravatar Paul Steckler2017-10-03
* Avoid running interactive tests on Windows.Gravatar Maxime Dénès2017-08-29
* Fix coqdoc test-suite target on Windows.Gravatar Théo Zimmermann2017-08-21
* Merge PR #880: Fix coqdoc bug #5648 on user idents colliding with keywords wr...Gravatar Maxime Dénès2017-08-16
|\
* | fake_ide: do as coqide to find out coqtop pathGravatar Enrico Tassi2017-07-20
* | Remove trailing CR before diff in output and misc tests.Gravatar Maxime Dénès2017-07-20
* | Print failure logs on appveyor.Gravatar Maxime Dénès2017-07-20
* | Make coqlib relative in test suite (revert 024a7ab20b0)Gravatar Maxime Dénès2017-07-20
| * Adding a coqdoc target to test-suite.Gravatar Hugo Herbelin2017-07-17
|/
* Fix Travis sectioningGravatar Jason Gross2017-06-10
* Better sectioning on travis log printing in test-suiteGravatar Jason Gross2017-06-09
* Merge PR#711: [gitlab] Artifact test suite logs on failure.Gravatar Maxime Dénès2017-06-02
|\
* \ Merge PR#704: Fix empty parentheses display in test-suiteGravatar Maxime Dénès2017-06-01
|\ \
| | * [travis] print failing test suite logs on failureGravatar Gaëtan Gilbert2017-05-31
| * | Fix empty parentheses display in test-suiteGravatar Jason Gross2017-05-30
| |/
* / [readlink -f] doesn't work on OSXGravatar Gaëtan Gilbert2017-05-30
|/
* Merge PR#687: Gitlab CIGravatar Maxime Dénès2017-05-29
|\
| * Gitlab CIGravatar Gaëtan Gilbert2017-05-28
* | add Show test with -emacs flagGravatar Paul Steckler2017-05-25
|/
* test suite for coq_makefile2Gravatar Enrico Tassi2017-05-23
* test suite for coq_makefileGravatar Enrico Tassi2017-05-23
* Re-adding explicit dependency of misc universe test into all_stdlib.v.Gravatar Hugo Herbelin2017-05-19
* Moving code for miscellaneous tests to specific files.Gravatar Hugo Herbelin2017-05-10
* A more regular naming of variables in test-suite Makefile.Gravatar Hugo Herbelin2017-05-10
* Adding tests for testing exit status and #use"include".Gravatar Hugo Herbelin2017-05-10
* Rename lia.cache into .lia.cache in the test-suite Makefile.Gravatar Maxime Dénès2016-10-24
* Merge branch 'v8.5' into v8.6Gravatar Hugo Herbelin2016-10-24
* Merge remote-tracking branch 'gforge/v8.5' into v8.6Gravatar Matthieu Sozeau2016-10-21
|\
| * Adding dependency of the test-suite subsystems in prerequisite (fixing #5150).Gravatar Hugo Herbelin2016-10-20
* | test-suite/output-modulo-time made more robustGravatar Enrico Tassi2016-09-30
* | Merge remote-tracking branch 'github/pr/303' into v8.6Gravatar Maxime Dénès2016-09-30
|\ \
* \ \ Merge remote-tracking branch 'github/pr/302' into v8.6Gravatar Maxime Dénès2016-09-30
|\ \ \
* | | | Restore code ignoring <W> lines in output (camlp5 warnings)Gravatar Enrico Tassi2016-09-30
* | | | Ignore file names in warning emitted by test-suite/output/* (#5111)Gravatar Enrico Tassi2016-09-30
| | * | LtacProf cutoff is for total percent, not timeGravatar Jason Gross2016-09-29
| |/ / |/| |