summaryrefslogtreecommitdiff
path: root/utils/misc.mli
Commit message (Expand)AuthorAgeFilesLines
* per-round optimization paramsMark Shinwell2015-11-271-2/+3
* merge with trunkMark Shinwell2015-11-191-0/+2
|\
| * merge branches/gadt-warningsJacques Garrigue2015-10-231-0/+2
| |\
| | * add refuted cases, syntax is 'pat -> _'Jacques Garrigue2015-10-151-0/+2
* | | merge with upstream trunkMark Shinwell2015-09-141-2/+3
|\ \ \ | |/ /
| * | whitespace cleanup, cut long lines, add some missing headersDamien Doligez2015-09-111-2/+3
* | | merge with upstream trunkMark Shinwell2015-09-071-0/+41
|\ \ \ | |/ /
| * | add option handling for colors in compiler, OCAMLPARAM and ocamlbuildGabriel Scherer2015-08-151-10/+3
| * | add Color module MiscGabriel Scherer2015-08-151-0/+48
| |/
* | Fix share_constantsPierre Chambart2015-08-241-0/+3
* | Misc.filter_mapPierre Chambart2015-08-131-0/+3
* | Misc.fatal_errorf at last, etcMark Shinwell2015-06-241-0/+1
* | more stuffMark Shinwell2015-03-171-1/+0
* | Move split_at to MiscPierre Chambart2015-03-171-1/+5
* | add FlambdasimplifyPierre Chambart2015-03-171-0/+1
* | Add FstringswitchPierre Chambart2015-03-171-0/+1
* | utilsPierre Chambart2015-03-171-1/+10
|/
* PR#6642: replace $CAMLORIGIN in -ccopt with the path to cma or cmxaGabriel Scherer2015-02-081-0/+4
* Cmm arithmetic optimisations.Gabriel Scherer2015-02-071-3/+6
* simplify the spellcheck functionsGabriel Scherer2014-12-131-0/+19
* Sync with trunk.Alain Frisch2014-11-271-0/+2
|\
| * merge branch 4.02 from release 4.02.0 to release 4.02.1Damien Doligez2014-10-151-0/+2
* | Add intel_proc.mli, get rid of arch64 bool ref, move StringSet/StringMap to m...Alain Frisch2014-08-291-0/+6
|/
* merge branch "safe-string"Damien Doligez2014-04-291-7/+2
* Revert r13746 (demanded by Xavier)Fabrice Le Fessant2013-06-051-0/+18
* Improved implementation of OCAMLPARAMFabrice Le Fessant2013-06-051-3/+0
* Experimental OCAMLCOMPPARAM for ocamlc/ocamloptFabrice Le Fessant2013-06-031-0/+3
* Fix PR#5985; compute injectivity of types but no new syntaxJacques Garrigue2013-04-301-0/+1
* PR#5957,PR#5920,PR#5925: LongString module to workaround 32bits string size l...Gabriel Scherer2013-04-171-0/+12
* PR#5768: On 'unbound identifier' errors, use spell-checking to suggest names ...Alain Frisch2012-10-161-0/+13
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* merge with branch bin-annotFabrice Le Fessant2012-05-301-1/+12
* refactoring the "read n bytes from a channel into a new string" idiomDamien Doligez2012-02-231-0/+5
* More clever algorithm to detect unused (recursive) type declarations.Alain Frisch2011-12-281-0/+4
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* clean up spaces and tabsDamien Doligez2010-01-221-1/+1
* Better handling of multiple extensions (foo.d.cmo, foo.p.cmx...)Nicolas Pouillard2007-02-231-0/+7
* Fusion des modifs faites sur la branche release jusqu'a la release 3.08.0Xavier Leroy2004-07-131-0/+3
* ajout option -stypes; dependDamien Doligez2003-04-021-0/+2
* Chercher les infos sur le module Foo dans les fichiers Foo.{cmi,cmx} et foo.{...Xavier Leroy2002-06-071-0/+4
* Ajout rev_split_wordsXavier Leroy2002-05-071-0/+4
* Ajout du packaging d'unites de compilation (option -pack)Xavier Leroy2002-02-081-0/+8
* Added Misc.chop_extension_if_any for the case when the input filename doesDaniel de Rauglaudre2002-01-281-0/+4
* bug 785 (debordement entier cmmgen)Luc Maranget2002-01-101-0/+3
* deplace expand_directory dans Misc, pour generaliser -I +packageJacques Garrigue2000-12-281-0/+3
* Suppression de fonctions sur les listes redondantes car deja definiesPierre Weis2000-11-221-3/+3
* Ajout split_lastXavier Leroy2000-02-281-1/+3
* Merge olabl branchJacques Garrigue1999-11-301-0/+3
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Ajout de list_remove (a mettre dans List?)Xavier Leroy1999-02-041-0/+3