aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/evarutil.ml
Commit message (Expand)AuthorAge
* 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
* Renommage mt_con -> empty_conGravatar herbelin2000-03-07
* Abstraction de l'implémentation des signatures de Sign en vue intégration d...Gravatar herbelin2000-01-26
* gros commit de tout ce que j'ai fait pendant les vacances :Gravatar filliatr2000-01-21
* Correction pbs liés aux evarGravatar herbelin2000-01-07
* Nouveaux types 'constructor' et 'inductive' dans Term;Gravatar herbelin1999-12-15
* Intégration initiale du CasesGravatar herbelin1999-12-11
* modifs pour premiere edition de liensGravatar filliatr1999-12-02
* - Typing -> Safe_typingGravatar filliatr1999-12-01
* portage modules Evarconv et EvarutilGravatar filliatr1999-11-29
* fin Recordops, et debut EvarutilGravatar filliatr1999-11-27
* Des progres dans l'integrationGravatar herbelin1999-11-25
* Versions initialesGravatar herbelin1999-11-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-18 19:31:07 +0000