aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/evars.v
Commit message (Expand)AuthorAge
* An optimization in the use of unification candidates so as to get theGravatar Hugo Herbelin2015-01-01
* Fixing orientation of postponed subtyping problems.Gravatar Hugo Herbelin2014-12-10
* Improving evar restriction (this is a risky change, as I remember aGravatar Hugo Herbelin2014-12-07
* Cosmetic code contraction in evarsolve.ml + test sur unification avec let-in.Gravatar herbelin2013-03-21
* Uniformization of the "anomaly" command.Gravatar ppedrot2013-01-28
* Unset Asymmetric PatternsGravatar pboutill2013-01-18
* Evarconv: Fix #2936 + commentsGravatar pboutill2012-11-28
* Changed encoding from ISO-8859-1 to UTF-8 for some remaining gallina files.Gravatar ppedrot2012-06-12
* Unification: Added a heuristic to solve problems of the formGravatar herbelin2012-03-26
* Type inference unification: fixed a 8.4 bug in the presence of unificationGravatar herbelin2012-01-04
* Discarding let-ins from the instances of the evars in theGravatar herbelin2011-12-04
* Fixing another bug revealing ill-typed use of evar restriction.Gravatar herbelin2011-10-24
* Improved define_evar_as_lambda which was creating an unrelated new evarGravatar herbelin2011-03-05
* Improve handling of metas as evars in unification (patch by Hugo)Gravatar letouzey2010-09-30
* Attempt to capture on time unification errors for "with" bindings.Gravatar herbelin2009-10-30
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* - Fixing #2090 (occur check missing when trying to solve evar-evar equation).Gravatar herbelin2009-04-25
* From v8.2 to trunk:Gravatar herbelin2009-02-06
* Correction de bugs:Gravatar herbelin2008-08-05
* Préférence donnée aux constantes qui ne sont pas des projectionsGravatar herbelin2008-06-29
* Propagation des révisions 11144 et 11136 de la 8.2 vers le trunkGravatar herbelin2008-06-18
* Complément aux commits 10124 et 10125 sur l'inférence de type (correction Gravatar herbelin2007-09-26
* Correction de bugs lié au commit 10124 (décalage des indices de Bruijn)Gravatar herbelin2007-09-18
* Raffinement de l'algorithme d'inférence de typeGravatar herbelin2007-09-17
* Réponse à une incompatibilité introduite dans 10114 (calcul du nombreGravatar herbelin2007-09-16
* Report de l'heuristique d'unification premier ordre flexible/rigideGravatar herbelin2006-09-15
* Adaptation au passage de option dans TypeGravatar herbelin2006-05-28
* Ajout test relatif au bug #984Gravatar herbelin2006-03-05
* Ajout test bug 1089Gravatar herbelin2006-03-02
* Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8Gravatar herbelin2005-12-21
* Ajout bug do_restrict_hypGravatar herbelin2004-12-08
* Test bug 705Gravatar herbelin2004-04-29
* Il ne doit plus y avoir de preuves non terminées à la sortie du fichierGravatar herbelin2003-01-19
* La synthèse des '?' dans l'exemple avec un let était un peu trop ambitieuse...Gravatar herbelin2001-11-21
* *** empty log message ***Gravatar herbelin2001-11-16
* entetesGravatar filliatr2001-03-15
* *** empty log message ***Gravatar herbelin2001-03-14