| Commit message (Expand) | Author | Age |
|---|
| * | Fixing use of type constraint for refining the "return" clause of "match". |  herbelin | 2011-10-25 |
| * | New strategy to infer return predicate of match construct when | herbelin | 2011-10-25 |
| * | It happens that the type inference algorithm (pretyping) did not check | herbelin | 2011-10-05 |
| * | Two bugs in pattern-matching compilation: | herbelin | 2011-08-08 |
| * | Cases: generic equality on constr replaced by destructors |  puech | 2011-07-29 |
| * | Fix inductive_template building ill-typed evars, and update test-suite scripts |  msozeau | 2011-03-13 |
| * | Tentative to make unification check types at every instanciation of an | msozeau | 2011-03-11 |
| * | More {raw => glob} changes for consistency |  glondu | 2010-12-24 |
| * | Rename rawterm.ml into glob_term.ml | glondu | 2010-12-23 |
| * | Change of nomenclature: rawconstr -> glob_constr | glondu | 2010-12-23 |
| * | Fixing bug #2454: inversion predicate strategy for inferring the type | herbelin | 2010-12-19 |
| * | Fixing the Not_found error in bug #2404 + dead code removal in cases.ml | herbelin | 2010-10-06 |
| * | Some dead code removal, thanks to Oug analyzer |  letouzey | 2010-09-24 |
| * | Updated all headers for 8.3 and trunk | herbelin | 2010-07-24 |
| * | Extension of the recursive notations mechanism | herbelin | 2010-07-22 |
| * | Made tclABSTRACT normalize evars before saying it does not support | herbelin | 2010-06-29 |
| * | Improved the inference of the return predicate in dependent pattern-matching. | herbelin | 2010-06-12 |
| * | Mainly made that evarconv is able to solve "?n = (fun x => x) ?n" (sic). | herbelin | 2010-06-11 |
| * | Fixed two bugs in pattern-matching compilation | herbelin | 2010-06-10 |
| * | Fix bug 2307 |  pboutill | 2010-05-20 |
| * | Add (almost) compatibility with camlp4, without breaking support for camlp5 | letouzey | 2010-05-19 |
| * | Remove the svn-specific $Id$ annotations | letouzey | 2010-04-29 |
| * | Fixing bug #2193: computation of dependencies in the "match" return | herbelin | 2009-12-30 |
| * | Added support for definition of fixpoints using tactics. | herbelin | 2009-11-27 |
| * | Promote evar_defs to evar_map (in Evd) | glondu | 2009-11-11 |
| * | A bit of cleaning around name generation + creation of dedicated file namegen.ml | herbelin | 2009-11-09 |
| * | Improved the treatment of Local/Global options (noneffective Local on | herbelin | 2009-10-25 |
| * | This big commit addresses two problems: |  soubiran | 2009-10-21 |
| * | Delete trailing whitespaces in all *.{v,ml*} files | glondu | 2009-09-17 |
| * | Ensures that let-in's in arities of inductive types work well. Maybe not | herbelin | 2009-08-11 |
| * | Jolification : tentative de supprimer les "( evd)" et associés qui |  aspiwack | 2009-07-07 |
| * | Improve return predicate inference by making the return type dependent | msozeau | 2009-06-28 |
| * | Fixing bug #2106 ("match" compilation with multi-dependent constructor). | herbelin | 2009-06-06 |
| * | Some dead code removal + cleanups | letouzey | 2009-04-08 |
| * | On remplace evar_map par evar_defs (seul evar_defs est désormais exporté | aspiwack | 2009-02-19 |
| * | pushed evar reduction in kernel |  barras | 2009-02-06 |
| * | Moved parts of Sign to Term. Unified some names (e.g. decomp_n_prod -> | herbelin | 2008-12-31 |
| * | Fix (?) a pattern matching compilation problem: | msozeau | 2008-11-27 |
| * | Uniformisation du format des messages d'erreur (commencent par une | herbelin | 2008-07-17 |
| * | - Correction bug 1841 (identificateurs incorrects avec Subclass) | herbelin | 2008-06-10 |
| * | - Correction de la version simplifiée (filtrage sur deux sig | herbelin | 2008-06-09 |
| * | Notation concise pour la valeur par défaut des cas reconnus comme | herbelin | 2008-05-28 |
| * | Mise en place d'un algorithme d'inversion des contraintes de type lors | herbelin | 2008-05-05 |
| * | Finish enhancemenent of return clause inference from tycons, integrating | msozeau | 2008-04-01 |
| * | Fix test-suite files, change conflicting notation "->rel" and the others | msozeau | 2008-03-29 |
| * | - Second pass on implementation of let pattern. Parse "let ' par [as x]? | msozeau | 2008-03-28 |
| * | Add new LetPattern construct to replace dest. syntax: let| pat := t in b is b... | msozeau | 2008-01-17 |
| * | Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,... | msozeau | 2007-12-31 |
| * | Factorisation des opérations sur le type option de Util dans un module | aspiwack | 2007-12-05 |
| * | Suppression de tous les alias de la forme x:=x dans la compilation du filtrage. | herbelin | 2007-09-25 |
herbelin
puech
msozeau
glondu
letouzey
pboutill
soubiran
aspiwack
barras