summaryrefslogtreecommitdiffstats
path: root/utils
AgeCommit message (Expand)Author
2001-08-28Chargement dynamique de primitives CXavier Leroy
2001-08-23fix PR#492Jacques Garrigue
2001-08-09Debut revisions pour 3.03Xavier Leroy
2001-07-27Preparation release 3.02Xavier Leroy
2001-06-18bug dans un commentaireDamien Doligez
2001-06-08coercions simple compatibles avec heritageJacques Garrigue
2001-05-28Gestion correcte du cas ou une fonction utilise un espace de pile superieur a...Xavier Leroy
2001-05-22PR #360Jacques Garrigue
2001-04-19enforce uniqueness of typing in label modeJacques Garrigue
2001-03-06Version = 3.01; MAJ depsXavier Leroy
2001-03-03ajout d'un champ filtrage a ReitherJacques Garrigue
2001-03-02typage plus liberal des variantsJacques Garrigue
2001-02-19optimsation pm a donfLuc Maranget
2001-02-05GC: compteurs flottants + alarmesDamien Doligez
2000-12-28Getting rid of obsolete boolean operators & and orPierre Weis
2000-12-28deplace expand_directory dans Misc, pour generaliser -I +packageJacques Garrigue
2000-12-04fix -noassert pour que le typage des assertions soit toujours faitDamien Doligez
2000-11-23bcopy -> memmove dans otherlibsDamien Doligez
2000-11-22Suppression de fonctions sur les listes redondantes car deja definiesPierre Weis
2000-11-06correct bug in typing of variant matching (PR#217)Jacques Garrigue
2000-10-31PR#212, suiteDamien Doligez
2000-10-29passage a ANSI C -> suppression bcopy et memmovDamien Doligez
2000-10-27pas de curses en natifDamien Doligez
2000-10-26PR#212Damien Doligez
2000-10-02or-pat avec variables et compil du switchLuc Maranget
2000-09-06bug begin endDamien Doligez
2000-09-06ajout des variancesJacques Garrigue
2000-09-04relaxation de la semantique des effets de bords sur les parametresJacques Garrigue
2000-09-01alpha-conversion pour eviter un clash bizarre sur RhapsodyDamien Doligez
2000-08-23option -warn-errorDamien Doligez
2000-08-04autorise l'application d'une contrainte a un type en cours de definitionJacques Garrigue
2000-07-10truncate sur tableau de floats PR#156Damien Doligez
2000-06-30ameliorations dans Typecore et TypeclassJacques Garrigue
2000-06-23Rend build_subtype plus intelligent.Jacques Garrigue
2000-06-11Simpifie les types de variantes, change le typage des matchings ouvertsJacques Garrigue
2000-05-243.00+5: delay constraint checking in type declarationsJacques Garrigue
2000-05-24bug fixes: PR#128,#109,#112,#117,#127Jacques Garrigue
2000-05-12clean-up variant typing to recover principalityJacques Garrigue
2000-05-11petite amelioration de la normalisation des types et des alias d'impressionJacques Garrigue
2000-05-08mise au carre des ofs+len (PR#96)Damien Doligez
2000-04-21Eradication de FormatmsgXavier Leroy
2000-04-21MAJ pour 3.00Xavier Leroy
2000-04-21Suppression de Formatmsg, réécriture des messages à l'aide de Format.fprintfPierre Weis
2000-04-19nativeint/float conversion + bug in eqtype on variantsJacques Garrigue
2000-04-16Distinguer entre compilo C et linker C dans ocamlc et ocamloptXavier Leroy
2000-04-14error messagesJacques Garrigue
2000-04-12nouvelle syntaxe avec tildeJacques Garrigue
2000-04-07MacOSDamien Doligez
2000-04-05*** empty log message ***Damien Doligez
2000-04-03passage aux labels legers + ajouts de "of" dans les variantesJacques Garrigue
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-02-27 11:58:39 +0000