Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: contracts-3.11

Oct 20, 2011

  1. Xavier-S-Leroy

    Rename contracts branch.

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts-3.11@11226 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored October 20, 2011

Mar 25, 2011

  1. corrected the bug in opened contracts

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@11005 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored March 25, 2011
  2. improving error msg

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@11004 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored March 25, 2011

Mar 21, 2011

  1. adding miss files

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@11003 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored March 21, 2011
  2. local contracts

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@11002 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored March 21, 2011

Feb 11, 2011

  1. otherlib updated

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10948 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored February 11, 2011

Feb 09, 2011

  1. added local contracts

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10944 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored February 09, 2011
  2. added local contract

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10942 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored February 09, 2011

Jan 13, 2011

  1. minor change

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10927 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored January 13, 2011

Jan 06, 2011

  1. support dependent tuple now

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10918 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored January 06, 2011

Dec 27, 2010

  1. improved error msg reporting for dependent function contracts

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10912 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored December 27, 2010

Dec 22, 2010

  1. support contracts in nested modules now

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10911 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored December 22, 2010

Dec 13, 2010

  1. fixed contracts in module type signature

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10894 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored December 13, 2010

Dec 07, 2010

  1. fixed map_expression

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10889 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored December 07, 2010
  2. generate one expanded contracted expression

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10886 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored December 07, 2010

Nov 26, 2010

  1. check contract violations inside contracts

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10861 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored November 26, 2010

Nov 25, 2010

  1. flag

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10853 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored November 25, 2010

Nov 23, 2010

  1. readme first

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10850 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored November 23, 2010
  2. readme first

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10849 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored November 23, 2010

Nov 22, 2010

  1. readme first

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10846 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored November 22, 2010
  2. readmeFIRST

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10845 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored November 22, 2010
  3. readmeFIRST

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10844 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored November 22, 2010
  4. readmeFIRST

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10842 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored November 22, 2010
  5. new ocamlc

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10840 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored November 22, 2010

Nov 20, 2010

  1. added labltk part

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10837 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored November 20, 2010

Nov 19, 2010

  1. add readmeFIRST

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10834 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored November 19, 2010
  2. corrected checking for tuple contract

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10833 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored November 19, 2010

Nov 17, 2010

  1. Makefiles

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10815 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored November 17, 2010
  2. added dynamic contract checking

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10814 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored November 17, 2010

Nov 16, 2010

  1. Xavier-S-Leroy

    Dana Xu's experiments with contracts.

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10809 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored November 16, 2010

Jan 20, 2010

  1. version 3.11.2

    git-svn-id: http://caml.inria.fr/svn/ocaml/release/3.11.2@9537 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored January 20, 2010
  2. Tagging release 3.11.2, version number to be changed.

    git-svn-id: http://caml.inria.fr/svn/ocaml/release/3.11.2@9536 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored January 20, 2010

Jan 15, 2010

  1. case for documentation title was different from the one in 'ocamldoc/…

    …Makefile'
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.11@9531 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored January 15, 2010
  2. fix for installed files under Windows

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.11@9530 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored January 15, 2010
  3. problem with dependencies on Windows

    git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.11@9529 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    authored January 15, 2010
Something went wrong with that request. Please try again.