Commit message (Expand) | Author | Age | |
---|---|---|---|
* | illegal tactic application was having Ltac interpreter loop | 2009-03-04 | |
* | commited complexity test for exponential behavior of unification | 2009-02-09 | |
* | - Optimized "auto decomp" which had a (presumably) exponential in | 2008-12-26 | |
* | test-suite/complexity/ring2.v: Zeqb_ok -> Zbool.Zeq_bool_eq | 2008-07-09 | |
* | Strategy commands are now exported | 2008-05-22 | |
* | MAJ et bricoles diverses | 2008-05-12 | |
* | Ajout d'un test de complexité de injection (cf bug 1173) | 2007-04-14 | |
* | Pas de solution à court terme pour ce problème de complexité | 2007-01-28 | |
* | Correction petits bugs du check de la test-suite | 2006-12-28 | |
* | Backtrack sur suppression des vars anonymes des contextes d'evars (echec Case... | 2006-12-12 | |
* | Test bug #932 | 2006-12-12 | |
* | Ajout test setoid_rewrite (cf bug #1176); anglicisation | 2006-11-01 | |
* | Ajout d'un répertoire de test de la complexité | 2006-10-06 |