aboutsummaryrefslogtreecommitdiff
path: root/test-suite/success/CasesDep.v
AgeCommit message (Expand)Author
2019-05-23Fixing typos - Part 3JPR
2019-05-23Fixing typos - Part 3JPR
2013-01-18Unset Asymmetric Patternspboutill
2012-03-23Fix the test-suite by removing any Reset in the scriptsletouzey
2011-11-26Fixed a bug in postprocessing dependencies in pattern-matching compilationherbelin
2011-11-21Fixing postprocessing bugs in pattern-matching compilation.herbelin
2011-11-17Fixing new bug introduced in r14665 when fixing bug #1834.herbelin
2010-12-19Fixing bug #2454: inversion predicate strategy for inferring the typeherbelin
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-06-06Fixing bug #2106 ("match" compilation with multi-dependent constructor).herbelin
2008-05-05Mise en place d'un algorithme d'inversion des contraintes de type lorsherbelin
2008-04-02Minor fixes. Use expanded type in class_tactics for Morphism search, tomsozeau
2007-08-10Ajout d'un exemple d'inversion des dépendances dans le prédicat commeherbelin
2005-12-21Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8herbelin
2004-04-14Ajout exemple Brunoherbelin
2003-10-11Logic_TypeSyntax disparuherbelin
2003-03-29indentationherbelin
2002-12-02MAJ sur MAJherbelin
2002-12-02Remplacement de Syntactic Definition par Notationherbelin
2002-11-24Remplacement de Syntactic Definition par Notationherbelin
2002-01-16Ajout d'un test sur les anonymes dépendant dans des arguments implicitesherbelin
2002-01-15Test le filtrage dépendant vers l'avantherbelin
2001-12-19MAJ Grammarherbelin
2001-10-03Ces fichiers repassent (y restait un bug dans l'inférence du prédicat)herbelin
2001-09-19Ces fichiers décrivent des comportements peut-être souhaités mais actuelle...herbelin
2001-04-20Mise a la norme lexicalemohring
2001-04-20Decomposition de Casesmohring
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:59:46 +0000