aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/evarutil.ml
Commit message (Expand)AuthorAge
* Renommage CMeta en CPatVar qui sert à saisir les PMeta de PatternGravatar herbelin2003-05-19
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* Deuxième passe sur la localisation des messages d'erreurs sur les evars non ...Gravatar herbelin2002-04-11
* Amélioration des messages d'erreurs concernant l'inférence des implicitesGravatar herbelin2002-04-10
* petits changements cosmetiques sur les tactiquesGravatar barras2002-02-15
* petite modif pour ne pas expanser trop de let pendant l'unificationGravatar barras2002-02-12
* substitution et pattern modulo letGravatar barras2002-02-11
* compat ocaml 3.03Gravatar filliatr2001-12-13
* Bug mauvaise instanceGravatar herbelin2001-11-20
* Suites modifs du noyau. Univ devient purement fonctionnel.Gravatar barras2001-11-12
* Introduction d'univers frais dans les types implicites engendrés par le pré...Gravatar herbelin2001-11-08
* Suppression des local_constraints, des ctxtty et du focus.Gravatar clrenard2001-11-06
* GROS COMMIT:Gravatar barras2001-11-05
* L'instantiation des evars quand un produit ou une sorte étaient attendus n'Ã...Gravatar herbelin2001-09-14
* Passage aux univers algébriquesGravatar herbelin2001-09-09
* Préparation du prétypage à la mise en place d'univers algébriquesGravatar herbelin2001-09-09
* has_undefined_isevars était buggéGravatar herbelin2001-07-06
* amelioration des messages d'erreurs vis a vis des evarsGravatar barras2001-05-23
* Bug lift de la contrainte au passage du let (bug rapporte par S. Boulme)Gravatar herbelin2001-05-10
* amelioration de la structure des universGravatar barras2001-03-28
* entetesGravatar filliatr2001-03-15
* Prise en compte des Let dans l'instance des evarsGravatar herbelin2001-03-14
* Déplacement des erreurs non noyau dans Pretype_errors ou Cases; localisationGravatar herbelin2001-03-11
* Nouveaux bugs instanciation d'evar par des evarGravatar herbelin2001-01-19
* Rajout de la restriction de l'instance en cas d'unification de 2 variables ex...Gravatar herbelin2001-01-04
* Oubli test de correction à l'instantiation des evarsGravatar herbelin2000-12-14
* Branchement du mécanisme d'instantiation des Evar en présence de définitio...Gravatar herbelin2000-11-27
* Nettoyage Names et conséquences (dont ajout d'un type dir_path, argument de ...Gravatar herbelin2000-11-06
* correction Abstract (et make world passe!)Gravatar filliatr2000-11-02
* suppression des (* open Generic *)Gravatar filliatr2000-11-02
* Petit nettoyage de Evarutil et EvarconvGravatar herbelin2000-10-23
* Bug indices dans l'instance d'une evarGravatar herbelin2000-10-21
* Simplifications autour de typed_type (renommé types par analogie avec sorts)...Gravatar herbelin2000-10-18
* Renommage canonique :Gravatar herbelin2000-10-18
* Renommage AppL en AppGravatar herbelin2000-10-01
* renommage map_constr_with_named_bindersGravatar herbelin2000-10-01
* Abstraction de constrGravatar herbelin2000-09-14
* Modification mkAppL; abstraction via kind_of_term; changement dans ReductionGravatar herbelin2000-09-12
* Correction pour make docGravatar herbelin2000-09-10
* Ajout d'un LetIn primitif.Gravatar herbelin2000-09-10
* Passage à des contextes de vars et de rels pouvant contenir des déclarationsGravatar herbelin2000-07-24
* Séparation des contraintes de type et de valeur dans pretypingGravatar herbelin2000-06-29
* Mise en place d'un choix constr/typed_type en remplacement de certains CastGravatar herbelin2000-06-01
* Nettoyage de GenericGravatar herbelin2000-05-31
* Bug existential_value au lieu de existential_type + divers sur existentialGravatar herbelin2000-05-25
* Bug de castGravatar herbelin2000-05-23
* Inlining prod_createGravatar herbelin2000-03-21
* *** empty log message ***Gravatar barras2000-03-10
* Reparation bug isevars dans pretypingGravatar herbelin2000-03-10
* La partie 'val' de trad_constraints devient un typed_typeGravatar herbelin2000-03-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 00:57:20 +0000