summaryrefslogtreecommitdiff
path: root/utils
Commit message (Expand)AuthorAgeFilesLines
* Suite ajout DLLsXavier Leroy2001-08-242-0/+8
* Essai de chargement dynamique des bibliotheques CXavier Leroy2001-08-213-1/+5
* Debut revisions pour 3.03Xavier Leroy2001-08-091-1/+1
* Preparation release 3.02Xavier Leroy2001-07-271-1/+1
* bug dans un commentaireDamien Doligez2001-06-181-1/+1
* coercions simple compatibles avec heritageJacques Garrigue2001-06-081-1/+1
* Gestion correcte du cas ou une fonction utilise un espace de pile superieur a...Xavier Leroy2001-05-282-0/+5
* PR #360Jacques Garrigue2001-05-221-1/+1
* enforce uniqueness of typing in label modeJacques Garrigue2001-04-191-2/+2
* Version = 3.01; MAJ depsXavier Leroy2001-03-061-1/+1
* ajout d'un champ filtrage a ReitherJacques Garrigue2001-03-031-1/+1
* typage plus liberal des variantsJacques Garrigue2001-03-021-1/+1
* optimsation pm a donfLuc Maranget2001-02-191-2/+0
* GC: compteurs flottants + alarmesDamien Doligez2001-02-051-1/+1
* Getting rid of obsolete boolean operators & and orPierre Weis2000-12-282-2/+2
* deplace expand_directory dans Misc, pour generaliser -I +packageJacques Garrigue2000-12-282-0/+12
* fix -noassert pour que le typage des assertions soit toujours faitDamien Doligez2000-12-041-1/+1
* bcopy -> memmove dans otherlibsDamien Doligez2000-11-231-1/+1
* Suppression de fonctions sur les listes redondantes car deja definiesPierre Weis2000-11-222-17/+3
* correct bug in typing of variant matching (PR#217)Jacques Garrigue2000-11-061-1/+1
* PR#212, suiteDamien Doligez2000-10-311-0/+7
* passage a ANSI C -> suppression bcopy et memmovDamien Doligez2000-10-291-1/+1
* pas de curses en natifDamien Doligez2000-10-272-4/+7
* PR#212Damien Doligez2000-10-263-3/+10
* or-pat avec variables et compil du switchLuc Maranget2000-10-022-1/+4
* bug begin endDamien Doligez2000-09-061-1/+1
* ajout des variancesJacques Garrigue2000-09-061-2/+2
* relaxation de la semantique des effets de bords sur les parametresJacques Garrigue2000-09-041-1/+1
* alpha-conversion pour eviter un clash bizarre sur RhapsodyDamien Doligez2000-09-011-1/+1
* option -warn-errorDamien Doligez2000-08-232-9/+42
* autorise l'application d'une contrainte a un type en cours de definitionJacques Garrigue2000-08-041-1/+1
* truncate sur tableau de floats PR#156Damien Doligez2000-07-101-1/+1
* ameliorations dans Typecore et TypeclassJacques Garrigue2000-06-301-1/+1
* Rend build_subtype plus intelligent.Jacques Garrigue2000-06-231-1/+1
* Simpifie les types de variantes, change le typage des matchings ouvertsJacques Garrigue2000-06-111-1/+1
* 3.00+5: delay constraint checking in type declarationsJacques Garrigue2000-05-241-1/+1
* bug fixes: PR#128,#109,#112,#117,#127Jacques Garrigue2000-05-241-1/+1
* clean-up variant typing to recover principalityJacques Garrigue2000-05-121-1/+1
* petite amelioration de la normalisation des types et des alias d'impressionJacques Garrigue2000-05-111-1/+1
* mise au carre des ofs+len (PR#96)Damien Doligez2000-05-081-1/+1
* Eradication de FormatmsgXavier Leroy2000-04-212-91/+0
* MAJ pour 3.00Xavier Leroy2000-04-211-1/+1
* Suppression de Formatmsg, réécriture des messages à l'aide de Format.fprintfPierre Weis2000-04-212-13/+10
* nativeint/float conversion + bug in eqtype on variantsJacques Garrigue2000-04-191-1/+1
* Distinguer entre compilo C et linker C dans ocamlc et ocamloptXavier Leroy2000-04-164-5/+14
* error messagesJacques Garrigue2000-04-141-1/+1
* nouvelle syntaxe avec tildeJacques Garrigue2000-04-121-1/+1
* MacOSDamien Doligez2000-04-071-1/+1
* *** empty log message ***Damien Doligez2000-04-051-1/+1
* passage aux labels legers + ajouts de "of" dans les variantesJacques Garrigue2000-04-031-1/+1
View Lorry Controller Status