aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite
Commit message (Expand)AuthorAge
* Quelques exemples à méditer sur le polymorphisme d'universe des inductifsGravatar herbelin2007-10-24
* Vérification que "rewrite in" se comporte comme "rewrite" et échoueGravatar herbelin2007-10-16
* Correction de quelques défauts d'affichage (notations sous "as" pourGravatar herbelin2007-10-05
* Correction bug 1718 (lazy delta unfolding used to miss delta on rels and vars)Gravatar herbelin2007-10-04
* Complément aux commits 10124 et 10125 sur l'inférence de type (correction Gravatar herbelin2007-09-26
* Correction d'un bug dans check + ajout de testsGravatar notin2007-09-21
* - Fixing bug 1703 ("intros until n" falls back on the variable name whenGravatar herbelin2007-09-21
* Correction de bugs lié au commit 10124 (décalage des indices de Bruijn)Gravatar herbelin2007-09-18
* Raffinement de l'algorithme d'inférence de typeGravatar herbelin2007-09-17
* Réponse à une incompatibilité introduite dans 10114 (calcul du nombreGravatar herbelin2007-09-16
* Correction du bug #1679 (congruence) et ajout test-suiteGravatar corbinea2007-09-14
* Itération sur les sous-termes dans la vérification de la condition de gardeGravatar herbelin2007-09-06
* Extension et documentation de real_clean/evar_define dans evarutil.ml:Gravatar herbelin2007-08-25
* Correction du bug #1634 + ajout de bugs dans la test-suiteGravatar notin2007-08-22
* Correction du bug #1322Gravatar notin2007-08-16
* Correction du bug #1680: ajout d'un champ avoid_ids dans interp_sign;Gravatar notin2007-08-16
* Ajout d'un exemple d'inversion des dépendances dans le prédicat commeGravatar herbelin2007-08-10
* TypoGravatar notin2007-08-10
* Modification de la test suite pour intégrer des tests spécifiques auxGravatar notin2007-08-10
* Add a test case for the new "dependent" induction tactics.Gravatar msozeau2007-08-08
* removed thesisGravatar barras2007-07-23
* A generic preprocessing tactic zify for (r)omegaGravatar letouzey2007-07-18
* Update (test-suite was not successful).Gravatar glondu2007-07-12
* Improvements / Bug fixes for ROmega Gravatar letouzey2007-07-09
* Factorisation des paramètres dans l'affichage des inductifsGravatar herbelin2007-07-02
* Contrôle de la compatibilité de apply via une information dans lesGravatar herbelin2007-05-28
* git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9859 85f007b7-540e-04...Gravatar soubiran2007-05-25
* Unification suite: petits affinements pour préserver la compatibilitéGravatar herbelin2007-05-24
* Nouvelle stratégie d'unification des types des with-bindings dansGravatar herbelin2007-05-22
* Wish #1582 (3eme)Gravatar herbelin2007-05-18
* Correction bug calcul des implicites en présence d'evars dans les typesGravatar herbelin2007-05-16
* Prise en compte réversibilité des notations de la forme "Notation Nil := @n...Gravatar herbelin2007-05-10
* Nouveaux changements autour des implicites (notamment suite àGravatar herbelin2007-05-06
* Modification syntaxe de TestGravatar herbelin2007-04-30
* Correction bug #1507 (report révision 9807 de v8.1 vers trunk)Gravatar herbelin2007-04-29
* Ajout d'un test de complexité de injection (cf bug 1173)Gravatar herbelin2007-04-14
* Correction bug #1477 sur ordre des variables partagées par les or-patterns.Gravatar herbelin2007-04-13
* Test non régression bug #1491Gravatar herbelin2007-04-13
* Nettoyage des tactiques basées sur "simpl" (delta-réduction cachantGravatar herbelin2007-04-13
* Un chouia de portabilité en plus et pas de test si pas de bogomipsGravatar herbelin2007-03-19
* MAJ test complexité pour considérer le cas d'un temps avec un nombreGravatar herbelin2007-03-17
* Test de non-régression pour commit 9673Gravatar herbelin2007-03-15
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-11 04:11:30 +0000