aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/unification.v
Commit message (Expand)AuthorAge
* 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