aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/complexity
Commit message (Expand)AuthorAge
* test-suite/complexity/ring2.v: Zeqb_ok -> Zbool.Zeq_bool_eqGravatar letouzey2008-07-09
* Strategy commands are now exportedGravatar barras2008-05-22
* MAJ et bricoles diversesGravatar herbelin2008-05-12
* Ajout d'un test de complexité de injection (cf bug 1173)Gravatar herbelin2007-04-14
* Pas de solution à court terme pour ce problème de complexitéGravatar herbelin2007-01-28
* Correction petits bugs du check de la test-suiteGravatar herbelin2006-12-28
* Backtrack sur suppression des vars anonymes des contextes d'evars (echec Case...Gravatar herbelin2006-12-12
* Test bug #932Gravatar herbelin2006-12-12
* Ajout test setoid_rewrite (cf bug #1176); anglicisationGravatar herbelin2006-11-01
* Ajout d'un répertoire de test de la complexitéGravatar herbelin2006-10-06