aboutsummaryrefslogtreecommitdiff
path: root/test-suite/Makefile
AgeCommit message (Expand)Author
2011-09-19Fix test-suite/ide for repository compiled without -local (fix #2600)letouzey
2011-09-17Various fixes in the Makefilesletouzey
2011-09-06test-suite/ide: misc improvementletouzey
2011-09-05fake_ide: a short program to mimic an ide talking to coqtop -ideslaveletouzey
2011-06-22fix bug 2510: xml test is in the summary if it failspboutill
2011-02-10MacOS compatibilitypboutill
2011-01-27test-suite/Makefile: add a rule to build all_stdlib.v (for the bench)glondu
2011-01-25Add a test for sorting all universes of stdlibglondu
2010-10-16Fix missing -coqlib argument to coqdep in test-suiteglondu
2010-10-05test-suite: use unified diff output and use expected output as referenceglondu
2010-09-18Added test for bugs 2242, 2337, 2339 + remove the use of name "ambiguous" inherbelin
2010-06-02Fix xml test in non-local modeglondu
2010-06-02Fix test-suite cleaningglondu
2010-04-26Disable ideal-features tests by defaultglondu
2010-04-13Remove only *.v.log files in clean of test-suite/Makefileglondu
2010-04-10Prettier test-suite/Makefileglondu
2010-04-10Makefile for the test-suiteglondu
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 07:22:59 +0000