coq - The formal proof system

Age	Commit message (Expand)	Author
2018-05-18	Clean-up dead file in test-suite.	Théo Zimmermann
2012-08-23	No more coqtop.opt, produce directly a coqtop binary	letouzey
2010-04-10	Use the Makefile in test-suite/check	glondu
2010-04-10	Fix typos in test-suite script	glondu
2009-12-02	Continuing r12485-12486 and r12549 (cleaning around name generation)	herbelin
2009-12-02	Remove interface plugin	glondu
2009-11-26	Fixing xml theory file export (was not consistent with coqdoc file	herbelin
2009-10-25	Improved the treatment of Local/Global options (noneffective Local on	herbelin
2008-12-19	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin
2008-12-02	Add new directory for pre-compilation of files needed for further tests.	herbelin
2008-09-07	Skip complexity tests on demand	glondu
2008-08-18	Renaming parser -> coq-parser	glondu
2008-07-28	Fix bashism in test-suite/check	glondu
2008-05-19	Intégration de micromega ("omicron" pour fourier et sa variante sur Z,	herbelin
2008-05-12	MAJ et bricoles diverses	herbelin
2008-05-05	Mise en place d'un algorithme d'inversion des contraintes de type lors	herbelin
2007-09-21	Correction d'un bug dans check + ajout de tests	notin
2007-08-10	Typo	notin
2007-08-10	Modification de la test suite pour intégrer des tests spécifiques aux	notin
2007-03-19	Un chouia de portabilité en plus et pas de test si pas de bogomips	herbelin
2007-03-17	MAJ test complexité pour considérer le cas d'un temps avec un nombre	herbelin
2006-12-28	Correction petits bugs du check de la test-suite	herbelin
2006-11-13	Corrige un bug de calcul du temps effectif cquand la dernière décimale est 0	herbelin
2006-11-03	bug test complexité	herbelin
2006-10-06	suite commit 9222 : rétablissement des tests autre que complexité	herbelin
2006-10-06	Ajout d'un répertoire de test de la complexité	herbelin
2005-12-22	option '-top dir' now works also in batch mode; it is even necessary to ensur...	herbelin
2005-12-21	Abandon tests syntaxe v7; ajouts tests modules	herbelin
2005-12-18	L'option -no-vm laisse la place à une option -vm	herbelin
2005-11-02	Ajout tests interactifs	herbelin
2005-02-22	Suppression des fichiers temporaires	herbelin
2004-12-09	Réactivation des tests output avec test aussi de la nouvelle syntaxe	herbelin
2004-11-28	Suppression bruit perl	herbelin
2004-03-24	bug de PP des fix (coqbugs #574)	barras
2004-03-06	changed the test for obj_magic.v to be less sensitive to changes	bertot
2004-01-01	[ -d ... ] au lieu de [ -f ... ] sur commit précédént	herbelin
2003-12-27	Protection contre l'echec des tests parser pour la distrib	herbelin
2003-10-13	Cleaning	herbelin
2003-10-10	changement nouvelle syntaxe (pt fixes)	barras
2003-10-02	Traduction des tests success et test en v8	herbelin
2003-04-15	Débranchement des tests output qui sont faussés par le traducteur	herbelin
2002-10-06	correcting the treatment of many tactics that use quant_hyp in file xlate.ml	bertot
2001-11-21	Possibilité d'appeler check avec l'option -byte	herbelin
2001-10-17	Mise en place d'un test de correction de la sortie de commandes Coq	herbelin
2000-12-09	tests automatiques	herbelin