| Age | Commit message (Expand) | Author |
|---|
| 2009-03-28 | Rewrite of Program Fixpoint to overcome the previous limitations: | msozeau |
| 2009-03-04 | Backtrack sur la mémoïsation de nf_evar. | aspiwack |
| 2009-02-27 | =?utf-8?q?Tentative=20d'optimisation=20(en=20temps)=20sur=20[nf=5Fevar]=20et=... | aspiwack |
| 2009-02-20 | On passe les last_mods (un des champs de Evd.evar_defs) de list | aspiwack |
| 2009-02-20 | On ne met plus rien dans les last_mods tant que conv_pbs est vide. | aspiwack |
| 2009-02-19 | On remplace evar_map par evar_defs (seul evar_defs est désormais exporté | aspiwack |
| 2009-01-23 | Really compare evar maps in progress, due to merging in apply and other | msozeau |
| 2009-01-17 | DISCLAIMER | puech |
| 2008-10-26 | Backtrack sur commit 11467 (tentative d'optimisation meta_instance qui | herbelin |
| 2008-10-18 | Optimisation de clenv.ml pour que meta_instance ne soit pas appelé | herbelin |
| 2008-09-07 | Better handling of the opacity of proof obligations, add the possibility of | msozeau |
| 2008-08-04 | Évolutions diverses et variées. | herbelin |
| 2008-07-17 | Uniformisation du format des messages d'erreur (commencent par une | herbelin |
| 2008-06-21 | - Implantation de la suggestion 1873 sur discriminate. Au final, | herbelin |
| 2008-05-05 | Mise en place d'un algorithme d'inversion des contraintes de type lors | herbelin |
| 2008-04-23 | Prise en compte des coercions dans les clauses "with" même si le type | herbelin |
| 2008-04-14 | Diverses corrections | herbelin |
| 2008-04-13 | Bugs, nettoyage, et améliorations diverses | herbelin |
| 2008-03-21 | Correct bug introduced in r10589, where we lost information that | msozeau |
| 2008-03-10 | Pas très propre de reposer sur la capture des anomalies (et cela | herbelin |
| 2008-03-10 | Une passe sur l'unification des evars (suite aux commits 10124, 10125, 10145) | herbelin |
| 2007-12-05 | Factorisation des opérations sur le type option de Util dans un module | aspiwack |
| 2007-10-03 | Ajout de eelim, ecase, edestruct et einduction (expérimental). | herbelin |
| 2007-09-26 | Complément aux commits 10124 et 10125 sur l'inférence de type (correction | herbelin |
| 2007-09-18 | Correction de bugs lié au commit 10124 (décalage des indices de Bruijn) | herbelin |
| 2007-09-17 | Raffinement de l'algorithme d'inférence de type | herbelin |
| 2007-09-06 | Uniformisation politique de nommage evd/isevars (evd si evar_defs, | herbelin |
| 2007-06-06 | Toujours l'unification de apply : nouveau raffinement pour ne tester | herbelin |
| 2007-05-29 | Correction d'un bug dans l'affichage du message d'erreur real_clean | herbelin |
| 2007-05-28 | Contrôle de la compatibilité de apply via une information dans les | herbelin |
| 2007-05-23 | Suite restructuration unification et division des problèmes | herbelin |
| 2007-05-22 | Nouvelle stratégie d'unification des types des with-bindings dans | herbelin |
| 2007-05-21 | Essai d'une nouvelle heuristique pour clenv_unique_resolver : si le | herbelin |
| 2007-05-20 | - Propagation des evars non résolues vers les with_bindings; permet par exemple | herbelin |
| 2007-03-19 | Add a parameter to QuestionMark evar kind to say it can be turned into an obl... | msozeau |
| 2007-02-21 | Prise en compte de l'environnement dans les pbs de conversion + MAJ CHANGES | herbelin |
| 2007-01-22 | Correction du bug #1315: | notin |
| 2006-11-19 | Raffinement de l'unification de "apply": mémorisation de certains | herbelin |
| 2006-09-20 | Declarative Proof Language: main commit | corbinea |
| 2006-09-15 | Débogage: ajout affichage contraintes d'unification | herbelin |
| 2006-09-05 | Workaround Map.fold semantic change in ocaml-3.08.4 and higher. | msozeau |
| 2006-04-28 | Standardisation du nom des méthodes de Evd | herbelin |
| 2006-04-07 | - Documentation of the Program tactics. | msozeau |
| 2005-12-05 | changement d'egalite pour le named_context_val | gregoire |
| 2005-12-02 | Changement des named_context | gregoire |
| 2005-06-07 | pas de filtrages partiels | barras |
| 2005-06-07 | reparations de quelques petits bugs d\'unification + introduction de la notio... | barras |
| 2005-06-06 | essai de typage des instantiations d\'evars | barras |
| 2005-06-05 | eradication de Evarutil.w_Define | barras |
| 2005-03-08 | Ajout fold | herbelin |
