aboutsummaryrefslogtreecommitdiff
path: root/test-suite/Makefile
AgeCommit message (Expand)Author
2014-05-02Update test-suite Makefile to handle coq-prog-argsJason Gross
2014-04-09Adapt test-suite to -I is ML onlyPierre Boutillier
2014-04-04Remove option -g as it is non-portable yet does not have any effect on the te...Guillaume Melquiond
2014-02-10fake_ide: ported to spawnEnrico Tassi
2013-11-29Testsuite: flatten the 'bugs/opened' directory.xclerc
2013-11-28Testsuite: remove the logic for 'bugs/opened/shouldnotsucceed' (unused)xclerc
2013-10-10fake_ide: ported to Document + 2 tests for editing a proof (locally)gareuselesinge
2013-10-03Regression test suite for STMgareuselesinge
2013-09-20Fix name clash in "failure/inductive.v".xclerc
2013-09-20Execute tests from the "bugs/closed" directory.xclerc
2013-09-20Use "Fail" rather than rely on exit code.xclerc
2012-11-18Hurkens' paradox on Type (r15973 and r15977) needs two (non-Set)herbelin
2012-10-17Fix test-suite output/* in benchpboutill
2012-09-04test-suite: fix grep rule for output testspboutill
2012-09-04test-suite uses coqtop instead of coqtop.bytepboutill
2012-08-24In the output tests, ignore dynlink messagesletouzey
2012-08-23No more coqtop.opt, produce directly a coqtop binaryletouzey
2012-01-14Add distclean back to test-suite/Makefileglondu
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-14 11:33:02 +0000