aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/pretyping.ml
Commit message (Expand)AuthorAge
* Bugs et simplifications coercionsGravatar herbelin2000-06-02
* Mise en place d'un choix constr/typed_type en remplacement de certains CastGravatar herbelin2000-06-01
* Afficahge des locationsGravatar herbelin2000-05-31
* Nettoyage de GenericGravatar herbelin2000-05-31
* Modification messages d'erreurs, possibilité de n'importe quel constr dans l...Gravatar herbelin2000-05-26
* RienGravatar herbelin2000-05-22
* suppression de l'env/sigma dans les fonctions de reduction beta et iota seulsGravatar herbelin2000-05-22
* Effets de bords suite à la restructuration des inductives (cf Inductive)Gravatar herbelin2000-05-18
* RéorganisationGravatar herbelin2000-05-05
* Renommage try_mutind_of en find_inductive (on fait ce qu'on peut !)Gravatar herbelin2000-05-04
* Ajout du langage de tactiquesGravatar delahaye2000-05-03
* Bug redondance entre 'RRef (RMeta _)' et 'PMeta _'Gravatar herbelin2000-05-02
* Changement de représentation du contexte des réf dans rawconstr et patternGravatar herbelin2000-04-28
* N'importe quel rawconstr maintenant dans le contexte d'une référenceGravatar herbelin2000-04-26
* Abstraction du type typed_type (un pas vers les jugements 2 niveaux)Gravatar herbelin2000-04-20
* Nettoyage de l'interface d'Astterm; renommage des constr_of_com and co en int...Gravatar herbelin2000-03-28
* Modification de type_of_case, type_case_branches, etcGravatar herbelin2000-03-21
* Extension du case_info : ajout du nombre de vrais args de chaque constr pour ...Gravatar herbelin2000-03-21
* 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
* 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
* Suppression Rel de rawconstr et correction de bugs d'affichageGravatar herbelin1999-12-10
* modifs pour premiere edition de liensGravatar filliatr1999-12-02
* Intégration du Termast et du Retyping de HH, et modifications connexesGravatar herbelin1999-12-01
* - Typing -> Safe_typingGravatar filliatr1999-12-01
* Modification pour faire compiler pretyping.ml qui maintenant compileGravatar herbelin1999-11-26
* 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-07-05 06:08:05 +0000