summaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
2012-03-05Fix for windows (ASM_CFI_SUPPORTED=false).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12190 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-27PR#5516: in Bigarray C stubs, use C99 / GCC flexible array types if possibleXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12188 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-24PR#5513: protect against min_int / -1 crashing on x86Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12187 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-24PR#5487: forgot to add two new filesXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12186 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-23refactoring the "read n bytes from a channel into a new string" idiomDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12184 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-23aftermath of PR#5497Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12183 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-22Forgot to add new filesXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12181 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-21PR#5511: in Bigarray.reshape, unwarranted limitation on new array dimensionsXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12180 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-21PR#5487: addition of CFI directives and a few filename/linenumber info to ↵Xavier Leroy
generated amd64 and i386 assembly files. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12179 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-21PR#5497: better handling of special characters in printed codeDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12177 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-21change duplicate tag in docsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12176 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-20Reverting "PR#5504: Add Changes entry". For time being - sorry.Wojciech Meyer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12175 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-20Optimize away compile-time beta-redexes, as found sometimes in generated ↵Xavier Leroy
code, by Coq's extraction in particular git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12174 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-19PR#5394: Add Changes entryWojciech Meyer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12173 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-19PR#5394: Documentation for -dtypes is missing in manpage.Wojciech Meyer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12172 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-19PR#5504: Add Changes entryWojciech Meyer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12171 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-19PR#5504: Fix. Patch proposed by Stephane Glondu, thanks.Wojciech Meyer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12170 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-19PR#5510: Add Changes entryWojciech Meyer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12169 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-19PR#5510: FixWojciech Meyer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12168 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-18Reverting commits 12108 and 12109 concerning PR#4072. I feel the cure ↵Xavier Leroy
(making ocamlc's evaluation order inconsistent with the ZAM push-enter model) is worse than the illness. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12167 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-18- PR#5509: misclassification of statically-allocated empty array thatXavier Leroy
falls exactly at beginning of an otherwise unused data page. - i386/emit_nt.mlp: add zero word at end of data segment, like in other ports. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12166 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-18Fix PR#5297: compiler does not check %primitive's existenceFabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12165 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-18Fix Changes for last commitFabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12164 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-18Fix PR#5309: Queue.add is not thread/signal safeFabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12163 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-17PR#5495: add "or" to the list of infix keywords in the camlp4 parserJérémie Dimino
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12162 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-17Backtrack previous changes for PowerPC/Linux, which turns out to lack what ↵Xavier Leroy
we need for turning stack overflows into exceptions git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12160 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-17PR#5064, PR#5485: try to ensure that 4K words of stack are availableXavier Leroy
before calling into C functions, raising a Stack_overflow exception otherwise. This reduces (but does not eliminate) the risk of segmentation faults due to stack overflow in C code. Implemented for i386, amd64 and power, under Linux and MacOSX. Plus: remove some more stuff related to obsoleted platforms (IA64, SunOS 4). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12159 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-15reverse previous commitDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12158 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-15PR#5481: update camlp4 ast magic numbers and add a comment before the ast ↵Jérémie Dimino
definition git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12155 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-15PR#5503: error when ocamlbuild is passed an absolute path as build directoryXavier Clerc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12154 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-14Unshare on type annotations even in non -principal mode.Jacques Garrigue
Slightly slower (1% for lablgtk.cma) but better compatibility with -principal and gadts. By the way full -principal is a 25% slowdown for lablgtk.cma. As a side effect of unsharing in patterns, (x : t) is now internally converted to (_ as x : t). This should have no impact on pattern matching compilation, but watch out for other problems. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12153 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-13Change "Ocaml" to "OCaml" everywhereDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12152 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-13document the new options of ./configureDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12151 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-13PR#5159: better documentation of locationsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12150 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-10More renaming to OCamlDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12149 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-10PR5477: (continued) fix Tcl/Tk configuration to use $x11_link instead of ↵Damien Doligez
$x11_libs git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12148 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-10typo in docDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12147 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-10PR#5159: better documentation of type "position"Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12144 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-09PR#5385: add a warning when MACOSX_DEPLOYMENT_TARGET is setDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12143 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-07add missing link in docDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12140 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-07better documentation for format6Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12136 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-07reformat over-long linesDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12134 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-07PR#4278: configure without graph; fix problem when X11 not foundDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12132 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-07set svn:keywords propertyDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12131 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-06PR#1164: better error message when giving .cmxa input files to ocamlopt -aDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12130 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-06fix try_finally in case the finally function raises an exceptionDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12129 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-05Fix various compiler warnings in asmrun.Benedikt Meurer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12128 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-05Related to #5493 again: more explanations about string mutation, string ↵Xavier Leroy
sharing, and why mutation is best avoided. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12127 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-05Fix various compiler warnings in labltk.Benedikt Meurer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12126 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-05[arm] Update copyright notices as suggested by Xavier.Benedikt Meurer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-04-26 08:02:53 +0000