index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
test-suite
/
success
/
unification.v
Commit message (
Expand
)
Author
Age
*
Completing r14538 (Chung-Kil Hur's trick for fast dependently-typed
herbelin
2011-10-11
*
Added full pattern-unification on Meta for tactic unification.
herbelin
2011-06-13
*
Added a new flag for freezing evars in tactic unification. Used this
herbelin
2011-06-12
*
test-suite: fix success/unification.v
glondu
2010-10-07
*
Commit 12906 continued (forgotten file).
herbelin
2010-04-07
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
Adding a regression test about Bauer's example on coq-club of
herbelin
2009-06-02
*
Retrait d'un test commité par erreur en 10947
herbelin
2008-05-20
*
Intégration de micromega ("omicron" pour fourier et sa variante sur Z,
herbelin
2008-05-19
*
Résolution des problèmes ambigus d'inférence du type de retour des
herbelin
2008-05-14
*
- Un peu de doc, préparation du CHANGES pour la release.
herbelin
2008-04-15
*
Backtrack sur le test censé discriminer entre une erreur d'evar non
herbelin
2008-03-15
*
Une passe sur l'unification des evars (suite aux commits 10124, 10125, 10145)
herbelin
2008-03-10
*
Correction d'un bug "ancestral": apply ne savait pas unifier ?n=?n
herbelin
2008-03-06
*
Correction d'une typo restant du commit 10557 et cause d'échec de contribs
herbelin
2008-03-05
*
Redondance erronée dans les tests
herbelin
2007-01-25
*
Correction d'un bug d'unification-pattern dans l'algo d'unification
herbelin
2007-01-22
*
Raffinement de l'unification de "apply": mémorisation de certains
herbelin
2006-11-19
*
Ajout unification pattern dans l'algorithme d'unification des
herbelin
2006-09-12
*
Diverses modifications autour de l'unification modulo conversion:
herbelin
2006-08-28