aboutsummaryrefslogtreecommitdiff
path: root/test-suite/check
AgeCommit message (Expand)Author
2009-12-02Continuing r12485-12486 and r12549 (cleaning around name generation)herbelin
2009-12-02Remove interface pluginglondu
2009-11-26Fixing xml theory file export (was not consistent with coqdoc fileherbelin
2009-10-25Improved the treatment of Local/Global options (noneffective Local onherbelin
2008-12-19Nettoyage des variables Coq et amélioration de coqmktop. Lesnotin
2008-12-02Add new directory for pre-compilation of files needed for further tests.herbelin
2008-09-07Skip complexity tests on demandglondu
2008-08-18Renaming parser -> coq-parserglondu
2008-07-28Fix bashism in test-suite/checkglondu
2008-05-19Intégration de micromega ("omicron" pour fourier et sa variante sur Z,herbelin
2008-05-12MAJ et bricoles diversesherbelin
2008-05-05Mise en place d'un algorithme d'inversion des contraintes de type lorsherbelin
2007-09-21Correction d'un bug dans check + ajout de testsnotin
2007-08-10Typonotin
2007-08-10Modification de la test suite pour intégrer des tests spécifiques auxnotin
2007-03-19Un chouia de portabilité en plus et pas de test si pas de bogomipsherbelin
2007-03-17MAJ test complexité pour considérer le cas d'un temps avec un nombreherbelin
2006-12-28Correction petits bugs du check de la test-suiteherbelin
2006-11-13Corrige un bug de calcul du temps effectif cquand la dernière décimale est 0herbelin
2006-11-03bug test complexitéherbelin
2006-10-06suite commit 9222 : rétablissement des tests autre que complexitéherbelin
2006-10-06Ajout d'un répertoire de test de la complexitéherbelin
2005-12-22option '-top dir' now works also in batch mode; it is even necessary to ensur...herbelin
2005-12-21Abandon tests syntaxe v7; ajouts tests modulesherbelin
2005-12-18L'option -no-vm laisse la place à une option -vmherbelin
2005-11-02Ajout tests interactifsherbelin
2005-02-22Suppression des fichiers temporairesherbelin
2004-12-09Réactivation des tests output avec test aussi de la nouvelle syntaxeherbelin
2004-11-28Suppression bruit perlherbelin
2004-03-24bug de PP des fix (coqbugs #574)barras
2004-03-06changed the test for obj_magic.v to be less sensitive to changesbertot
2004-01-01[ -d ... ] au lieu de [ -f ... ] sur commit précédéntherbelin
2003-12-27Protection contre l'echec des tests parser pour la distribherbelin
2003-10-13Cleaningherbelin
2003-10-10changement nouvelle syntaxe (pt fixes)barras
2003-10-02Traduction des tests success et test en v8herbelin
2003-04-15Débranchement des tests output qui sont faussés par le traducteurherbelin
2002-10-06correcting the treatment of many tactics that use quant_hyp in file xlate.mlbertot
2001-11-21Possibilité d'appeler check avec l'option -byteherbelin
2001-10-17Mise en place d'un test de correction de la sortie de commandes Coqherbelin
2000-12-09tests automatiquesherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 11:30:09 +0000