summaryrefslogtreecommitdiffstats
path: root/boot
AgeCommit message (Expand)Author
2013-05-16#5980: explicit way to silence the new warning (open! X).Alain Frisch
2013-05-03Fix PR#5985 for constrained parameters too.Jacques Garrigue
2013-04-30Fix PR#5985; compute injectivity of types but no new syntaxJacques Garrigue
2013-04-24Complete rewriting of Format.mk_printf. Convergence between Printf and Format...Pierre Weis
2013-04-23PR#5973 (old @ escape was still implemented in Format) + bootstrap.Pierre Weis
2013-04-18PR#5986: added flag Marshal.Compat_32 and ocamlc option -compat-32.Xavier Leroy
2013-04-09#5977: ensure that bootstrapping on 64-bit does not produce 64-bit constants ...Alain Frisch
2013-03-11user-exposed abstract type for raw backtraces in Printexc.ml (original patch ...Gabriel Scherer
2013-01-23Revert bad commit.Alain Frisch
2013-01-23#5902: adapt standard ppx driver to support extra arguments.Alain Frisch
2012-12-27update dependenciesJacques Garrigue
2012-12-17#5744: remove other primitives.Alain Frisch
2012-12-17#5774: caml_int64_direct_bswap should not be a primitive.Alain Frisch
2012-11-29PR#5774: Add bswap primitives for amd64Fabrice Le Fessant
2012-11-08#5814: remove annotations from environments; to produce .annot file, use the ...Alain Frisch
2012-11-06Backtrack wrong commit on boot/ocamlc.Alain Frisch
2012-11-06#5812: compile read_cmt.opt (about 10x faster than read_cmt to generate .anno...Alain Frisch
2012-10-24Stop keeping a Path.t to refer to labels and constructors in the Typedtree AS...Alain Frisch
2012-09-27Checked #PR5758, (also closed bug in Mantis)Luc Maranget
2012-08-10Remove double-linking of stdlib modules (aka warning 31).Damien Doligez
2012-08-06PR#5712: doc of Format.printf and missing functions in StdLabelsDamien Doligez
2012-07-26merge changes from 4.00 branching to 4.00.0 (part 1)Damien Doligez
2012-05-30merge with branch bin-annotFabrice Le Fessant
2012-04-19- Hashtbl:Xavier Leroy
2012-04-18#5589: 'unused' warnings for .mli files as well (detect unused open and shado...Alain Frisch
2012-03-14Improve self-initialization of the Random module, using /dev/urandomXavier Leroy
2012-03-08merge version 3.12 from 3.12.1 to r12205Damien Doligez
2012-03-07#5527: use absolute filenames in the message for Warning 31, when requested (...Alain Frisch
2012-03-06Keep locations for exception declaration. This gives better error messages an...Alain Frisch
2012-02-01Fix PR#4072Fabrice Le Fessant
2012-01-23fix configure on MacOSX/64-bit; add an option to configure or build without c...Damien Doligez
2012-01-23Backported '%apply' and '%revapply' from 3.12.1+dev to 3.13+devFabrice Le Fessant
2012-01-17Fix PR#5461Fabrice Le Fessant
2011-12-21Module Array: faster implementations of "blit", "copy", "sub",Xavier Leroy
2011-12-20New option to force the compilers to show absolute paths in error messages.Alain Frisch
2011-12-17The "DBM" library (interface with Unix DBM key-value stores) is noXavier Leroy
2011-12-14#5358: package types allow constraints on typed in sub-modules. Camlp4 compil...Alain Frisch
2011-12-14Boostrap ocamlbuild (#5338).Alain Frisch
2011-11-24merge branches/gadts-develJacques Garrigue
2011-10-25Bug #4380.Pierre Weis
2011-10-21Do not keep locations in .cmis!Jacques Garrigue
2011-10-21merge branches/located_errorsJacques Garrigue
2011-09-22Keep type variable namesJacques Garrigue
2011-07-29merge branches/gadtsJacques Garrigue
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2011-07-20uniform .ignore systemDamien Doligez
2011-07-20merge changes from 3.12.0 to 3.12.1Damien Doligez
2011-06-20Dev version ++.Pierre Weis
2011-06-11Revised simplification of let-alias (PR#5205, PR#5288)Xavier Leroy
2011-06-04PR#3806, 4752, 5246: added "hypot" and "copysign" to Pervasives.Xavier Leroy