aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/ideal-features
Commit message (Expand)AuthorAge
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Moved Case3.v from ideal features to success (it works since 8.2).Gravatar herbelin2010-04-17
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Add test-suite file related to discussion of syntax of implicit binders.Gravatar msozeau2008-11-09
* test-suite/ideal-features/{apply.v -> eapply_evar.v}Gravatar glondu2008-11-02
* - Fixed many "Theorem with" bugs.Gravatar herbelin2008-10-27
* Mise en place d'un algorithme d'inversion des contraintes de type lorsGravatar herbelin2008-05-05
* Quelques exemples à méditer sur le polymorphisme d'universe des inductifsGravatar herbelin2007-10-24
* Pas de solution à court terme pour ce problème de complexitéGravatar herbelin2007-01-28
* Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8Gravatar herbelin2005-12-21
* Nouvelle en-têteGravatar herbelin2004-07-16
* Ces fichiers repassent (y restait un bug dans l'inférence du prédicat)Gravatar herbelin2001-10-03
* Comportements peut-être souhaités mais en tout cas non officiellement pris ...Gravatar herbelin2001-09-19