Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tag: 3.12.0+rc1
Commits on Jul 23, 2010
  1. Release Candidate for 3.12.0

    Damien Doligez authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/release/3.12.0+rc1@10630 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Jul 14, 2010
  1. @xavierleroy

    PR#5089: more precise detection of BFD

    xavierleroy authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10626 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Jul 12, 2010
  1. indentation + comment

    Jacques Garrigue authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10624 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Jul 9, 2010
  1. @alainfrisch
Commits on Jul 7, 2010
  1. @alainfrisch

    PR#5092: bump up stack size (again).

    alainfrisch authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10622 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Jul 6, 2010
  1. @maranget
  2. @xavierleroy
  3. @xavierleroy

    PR#5089: changed LIBBFD_LINK

    xavierleroy authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10618 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. PR#5077: build broken on mingw, tentative fix

    Damien Doligez authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10617 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  5. PR#5077: build broken on mingw, tentative fix

    Damien Doligez authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10616 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  6. proper version of discard_printf

    Damien Doligez authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10615 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Jul 2, 2010
  1. @alainfrisch
Commits on Jun 24, 2010
  1. Fix unsoundness in eqtype, where bijectivity of renaming was not chec…

    Jacques Garrigue authored
    …ked.
    
    Also fix a bug in nondep_type, which incorrectly unrolled object types.
    (As a result fixing the first bug was breaking camlp4, which delayed the fix)
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10605 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Jun 21, 2010
  1. fix PR#5081

    Jacques Garrigue authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10600 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Jun 18, 2010
  1. Force terminal to "DUMP" for reproducible test cases.

    Xavier Clerc authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10594 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. Missing dependency.

    Xavier Clerc authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10591 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Jun 16, 2010
  1. @reseau-loops
  2. post-beta1 version change

    Damien Doligez authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10583 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. ignore ocamldep.bak

    Damien Doligez authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10581 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. Camlp4 Bootstrap

    Nicolas Pouillard authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10580 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  5. Camlp4: Fix PR#4883

    Nicolas Pouillard authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10579 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  6. Camlp4: use TRY to get rid of a hack and fix PR#4966

    Nicolas Pouillard authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10578 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  7. Camlp4: fix PR#4938

    Nicolas Pouillard authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10577 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  8. Camlp4: little fix for revised: accept empty do sequences.

    Nicolas Pouillard authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10576 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  9. Camlp4: fix PR#5056

    Nicolas Pouillard authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10575 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  10. Camlp4 Bootstrap

    Nicolas Pouillard authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10574 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  11. camlp4: add support for M.(e) using the TRY feature!

    Nicolas Pouillard authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10573 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  12. Camlp4: Makes use of the TRY feature.

    Nicolas Pouillard authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10572 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  13. camlp4,grammars: Add the TRY symbol combinator

    Nicolas Pouillard authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10571 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  14. camlp4: Add a new location to the stream, get rid of contexts!

    Nicolas Pouillard authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10570 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  15. Camlp4: introduce a type abbrev

    Nicolas Pouillard authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10569 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  16. camlp4: Greatly improve the location handling in the parser.

    Nicolas Pouillard authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10568 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  17. Camlp4: fix PR#4929, thanks to ygrek for his contribution

    Nicolas Pouillard authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10567 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  18. PR#4884

    Jacques Garrigue authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10566 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Jun 14, 2010
  1. @reseau-loops

    fix lookup of elements by using a normalized names (allow search of (…

    reseau-loops authored
    … && ) instead of (&&) for example)
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10565 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Something went wrong with that request. Please try again.