aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/Makefile
Commit message (Expand)AuthorAge
* Fix test-suite/ide for repository compiled without -local (fix #2600)Gravatar letouzey2011-09-19
* Various fixes in the MakefilesGravatar letouzey2011-09-17
* test-suite/ide: misc improvementGravatar letouzey2011-09-06
* fake_ide: a short program to mimic an ide talking to coqtop -ideslaveGravatar letouzey2011-09-05
* fix bug 2510: xml test is in the summary if it failsGravatar pboutill2011-06-22
* MacOS compatibilityGravatar pboutill2011-02-10
* test-suite/Makefile: add a rule to build all_stdlib.v (for the bench)Gravatar glondu2011-01-27
* Add a test for sorting all universes of stdlibGravatar glondu2011-01-25
* Fix missing -coqlib argument to coqdep in test-suiteGravatar glondu2010-10-16
* test-suite: use unified diff output and use expected output as referenceGravatar glondu2010-10-05
* Added test for bugs 2242, 2337, 2339 + remove the use of name "ambiguous" inGravatar herbelin2010-09-18
* Fix xml test in non-local modeGravatar glondu2010-06-02
* Fix test-suite cleaningGravatar glondu2010-06-02
* Disable ideal-features tests by defaultGravatar glondu2010-04-26
* Remove only *.v.log files in clean of test-suite/MakefileGravatar glondu2010-04-13
* Prettier test-suite/MakefileGravatar glondu2010-04-10
* Makefile for the test-suiteGravatar glondu2010-04-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-28 13:02:53 +0000