aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/unification.v
Commit message (Expand)AuthorAge
* Adding a test-suite pattern-unification example that Econstr fixed.Gravatar Hugo Herbelin2017-05-05
* instanciation is French, instantiation is EnglishGravatar Jason Gross2014-08-25
* Unification in Evar_conv uses an abstract machine stateGravatar pboutill2012-08-09
* Completing r14538 (Chung-Kil Hur's trick for fast dependently-typedGravatar herbelin2011-10-11
* Added full pattern-unification on Meta for tactic unification.Gravatar herbelin2011-06-13
* Added a new flag for freezing evars in tactic unification. Used thisGravatar herbelin2011-06-12
* test-suite: fix success/unification.vGravatar glondu2010-10-07
* Commit 12906 continued (forgotten file).Gravatar herbelin2010-04-07
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Adding a regression test about Bauer's example on coq-club ofGravatar herbelin2009-06-02
* Retrait d'un test commité par erreur en 10947Gravatar herbelin2008-05-20
* Intégration de micromega ("omicron" pour fourier et sa variante sur Z,Gravatar herbelin2008-05-19
* Résolution des problèmes ambigus d'inférence du type de retour desGravatar herbelin2008-05-14
* - Un peu de doc, préparation du CHANGES pour la release.Gravatar herbelin2008-04-15
* Backtrack sur le test censé discriminer entre une erreur d'evar nonGravatar herbelin2008-03-15
* Une passe sur l'unification des evars (suite aux commits 10124, 10125, 10145)Gravatar herbelin2008-03-10
* Correction d'un bug "ancestral": apply ne savait pas unifier ?n=?nGravatar herbelin2008-03-06
* Correction d'une typo restant du commit 10557 et cause d'échec de contribsGravatar herbelin2008-03-05
* Redondance erronée dans les testsGravatar herbelin2007-01-25
* Correction d'un bug d'unification-pattern dans l'algo d'unificationGravatar herbelin2007-01-22
* Raffinement de l'unification de "apply": mémorisation de certainsGravatar herbelin2006-11-19
* Ajout unification pattern dans l'algorithme d'unification desGravatar herbelin2006-09-12
* Diverses modifications autour de l'unification modulo conversion:Gravatar herbelin2006-08-28