aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/ideal-features
Commit message (Expand)AuthorAge
* Ensuring all .v files end with a newline to make "sed -i" work better on them.Gravatar Hugo Herbelin2017-08-21
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* Updating headers.Gravatar herbelin2012-08-08
* ZArith + other : favor the use of modern names instead of compat notationsGravatar letouzey2012-07-05
* Suppression fichier Case8.v redondantGravatar herbelin2011-11-16
* 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