Permalink
Switch branches/tags
Commits on May 22, 2013
  1. Update version after merge into trunk. The 4.00 branch is now closed.

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13698 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed May 22, 2013
Commits on May 8, 2013
  1. [arm] Fix code generation bug with "mod 1" (PR#5910).

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13663 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    committed May 8, 2013
Commits on Apr 24, 2013
  1. bootstrap on a 32-bit machine

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13604 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Apr 24, 2013
Commits on Apr 23, 2013
  1. Apply patch from PR#5944

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13589 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Apr 23, 2013
  2. Fix PR#5997

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13587 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Apr 23, 2013
Commits on Apr 20, 2013
  1. Fix PR#5989 and PR#5993 (from trunk)

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13581 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Apr 20, 2013
Commits on Apr 18, 2013
  1. ignore labltk/frx/frxlib.a

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13577 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Apr 18, 2013
  2. avoid diff options that are not available on BSD

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13576 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Apr 18, 2013
  3. backport changes to make tests work on different architectures

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13575 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Apr 18, 2013
Commits on Mar 22, 2013
  1. Fix PR#5953

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13422 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    diml committed Mar 22, 2013
Commits on Mar 13, 2013
  1. Fix PR#5948

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13397 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Mar 13, 2013
Commits on Jan 29, 2013
  1. Fix PR#5911: substituting in submodules should not be allowed

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13283 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jan 29, 2013
Commits on Jan 26, 2013
  1. Fix PR#5907

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jan 26, 2013
Commits on Jan 25, 2013
  1. Fix PR#5906

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13277 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jan 25, 2013
Commits on Jan 16, 2013
  1. Fix PR#5892

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13252 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jan 16, 2013
  2. PR#5840: improved documentation for 'Unix.lseek'

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13247 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xclerc committed Jan 16, 2013
  3. PR#5891: support rectypes tag for mlpack (ocamlbuild)

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13244 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xclerc committed Jan 16, 2013
Commits on Dec 29, 2012
  1. [arm] Fix arch selection with ARMv6. Rename EABI_VFP to EABI_HF.

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13173 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    committed Dec 29, 2012
  2. [arm] Improve register pressure for interval splitting.

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13172 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    committed Dec 29, 2012
Commits on Dec 18, 2012
  1. fix PR#5858

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13138 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Dec 18, 2012
Commits on Dec 10, 2012
  1. #5798: Apply patch to add VFPv2 and ARMv6 hard-float support (Jeffrey…

    … Scofield, Anil Madhavapeddy).
    
    [PATCH] Detect and support armv6/VFPE2, which is sufficient to get
    ocamlopt working on the Raspberry Pi hardfloat Debian variant
    
    Original patch: Jeffrey Scofield via http://psellos.com/pub/ocamlxarm/ocaml4-vfpv2.diff
    Fixes from: Anil Madhavapeddy <anil@recoil.org>
    
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    committed Dec 10, 2012
Commits on Dec 4, 2012
  1. PR#5819: segfault when using [with] on large recursive record (ocamlopt)

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13110 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Dec 4, 2012
  2. typo in comment

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13109 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Dec 4, 2012
  3. segfault in Array.append in rare case

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13108 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Dec 4, 2012
Commits on Nov 7, 2012
  1. PR#5810: error in switch printing when using -dclambda

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13074 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xclerc committed Nov 7, 2012
Commits on Nov 5, 2012
  1. PR#5806: ensure that backtrace tests are always run (testsuite)

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13063 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xclerc committed Nov 5, 2012
Commits on Oct 30, 2012
  1. Fix content of .cmt files correponding to the automatic 'discarding' …

    …of optional parameters (missing labels + bad order of inserted 'None' arguments).
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13050 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Oct 30, 2012
Commits on Oct 16, 2012
  1. PR#5775: several bug fixes for tools/pprintast.ml

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13015 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Oct 16, 2012
Commits on Oct 12, 2012
  1. Fix PR#5785

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13009 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Oct 12, 2012
Commits on Oct 10, 2012
  1. PR#5102: ocamlbuild fails when using an unbound variable in rule depe…

    …ndency
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@13003 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xclerc committed Oct 10, 2012
  2. PR#5300: verbose parameter should implicitly set classic display

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12999 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xclerc committed Oct 10, 2012
  3. PR#5240: register exception printers for Unix.Unix_error and Dynlink.…

    …Error
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.00@12997 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xclerc committed Oct 10, 2012