aboutsummaryrefslogtreecommitdiff
path: root/test-suite/complexity
AgeCommit message (Expand)Author
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-03-04illegal tactic application was having Ltac interpreter loopbarras
2009-02-09commited complexity test for exponential behavior of unificationbarras
2008-12-26- Optimized "auto decomp" which had a (presumably) exponential inherbelin
2008-07-09test-suite/complexity/ring2.v: Zeqb_ok -> Zbool.Zeq_bool_eqletouzey
2008-05-22Strategy commands are now exportedbarras
2008-05-12MAJ et bricoles diversesherbelin
2007-04-14Ajout d'un test de complexité de injection (cf bug 1173)herbelin
2007-01-28Pas de solution à court terme pour ce problème de complexitéherbelin
2006-12-28Correction petits bugs du check de la test-suiteherbelin
2006-12-12Backtrack sur suppression des vars anonymes des contextes d'evars (echec Case...herbelin
2006-12-12Test bug #932herbelin
2006-11-01Ajout test setoid_rewrite (cf bug #1176); anglicisationherbelin
2006-10-06Ajout d'un répertoire de test de la complexitéherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 08:01:38 +0000