aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite
Commit message (Expand)AuthorAge
* Correction typo liée au commit 8779 (levait une anomalie)Gravatar herbelin2007-02-21
* Prise en compte de l'environnement dans les pbs de conversion + MAJ CHANGESGravatar herbelin2007-02-21
* Removed some useless code in mod_typing that was redundant with safe_typing.Gravatar soubiran2007-02-21
* Fixed the pseudo-cicularity problem due to the with operator on Module Type.Gravatar soubiran2007-02-21
* Réparation absence d'interprétation des liaisons vers listesGravatar herbelin2007-02-15
* Réactivation du filtrage d'ordre 2 dans ltac qui avait cessé deGravatar herbelin2007-02-13
* Report de la révision 9577 dans le trunkGravatar notin2007-02-01
* Pas de solution à court terme pour ce problème de complexitéGravatar herbelin2007-01-28
* Redondance erronée dans les testsGravatar herbelin2007-01-25
* Correction d'un bug d'unification-pattern dans l'algo d'unificationGravatar herbelin2007-01-22
* Correction pour le rapport de bug #1325 par rétablissement duGravatar herbelin2007-01-22
* Prise en compte des univers algébriques dans les types inférés dansGravatar herbelin2007-01-19
* Tests de référence circulaire au sous-typage de module (pour mémoire)Gravatar herbelin2007-01-19
* Correction bug #1302Gravatar herbelin2007-01-17
* Suite au mail de Lionel a propos du Makefile: Gravatar letouzey2007-01-12
* Correction petits bugs du check de la test-suiteGravatar herbelin2006-12-28
* remplacement d'un test d'egalite par un test de convertibilite dans injection...Gravatar jforest2006-12-22
* Alignement de la politique de renommage de rename_bound_var (utilisé pourGravatar herbelin2006-12-13
* test condition de gardeGravatar barras2006-12-13
* Dépliage du terme d'induction avant suppression quand celui-ci est unGravatar herbelin2006-12-13
* Backtrack sur suppression des vars anonymes des contextes d'evars (echec Case...Gravatar herbelin2006-12-12
* MAJGravatar herbelin2006-12-12
* Test bug #932Gravatar herbelin2006-12-12
* Correction bug #1041 (double cause : non évitement des noms existants enGravatar herbelin2006-12-12
* Raffinement de l'unification de "apply": mémorisation de certainsGravatar herbelin2006-11-19
* Corrige un bug de calcul du temps effectif cquand la dernière décimale est 0Gravatar herbelin2006-11-13
* Correction typoGravatar herbelin2006-11-13
* Ajout de dépliage de l'énoncé, si besoin est, dans apply inGravatar herbelin2006-11-10
* Correction d'un bug refineGravatar herbelin2006-11-10
* bug test complexitéGravatar herbelin2006-11-03
* Ajout test setoid_rewrite (cf bug #1176); anglicisationGravatar herbelin2006-11-01
* Débranchement du polymorphisme de sorte sur les définitions dans TypeGravatar herbelin2006-10-30
* missing Require LegacyRfieldGravatar barras2006-10-30
* Compatibilité du polymorphisme de constantes avec les sections.Gravatar herbelin2006-10-29
* Check that sort-polymorphic inductive types is not too laxGravatar herbelin2006-10-27
* Cette dérivation de paradoxe passait en V8.1betaGravatar herbelin2006-10-27
* Applatissement des noeuds application vide dans le filtrage Ltac (ex:Gravatar herbelin2006-10-25
* Test apply inGravatar herbelin2006-10-24
* Le calcul de la classe dans class_args_of ne suivait pas celui de class_ofGravatar herbelin2006-10-21
* Correction d'un vieux bug de coercion avec éta-expansion (utilisationGravatar herbelin2006-10-21
* Clarification des contraintes sur le contexte de paramètres desGravatar herbelin2006-10-17
* Adaptation des tests suite à la modification de Rewrite .. in (r9201)Gravatar notin2006-10-13
* Correction test-suite suite à r9186Gravatar notin2006-10-13
* Exemple avec liaison des variables de filtrage du matchGravatar herbelin2006-10-09
* Notations:Gravatar herbelin2006-10-09
* suite commit 9222 : rétablissement des tests autre que complexitéGravatar herbelin2006-10-06
* Ajout d'un répertoire de test de la complexitéGravatar herbelin2006-10-06
* Correction de deux cas où les types inductifs n'étaient pas comparésGravatar herbelin2006-10-05
* nouveau ring/fieldGravatar barras2006-10-02
* Une passe sur l'injection et la discrimination...Gravatar herbelin2006-10-01