summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Rename contracts branch.contracts-3.11Xavier Leroy2011-10-2026-0/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts-3.11@11226 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* corrected the bug in opened contractsDana N. Xu2011-03-258-16/+49
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@11005 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* improving error msgDana N. Xu2011-03-257-9/+64
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@11004 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* adding miss filesDana N. Xu2011-03-215-18/+14
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@11003 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* local contractsDana N. Xu2011-03-211-1/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@11002 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* otherlib updatedDana N. Xu2011-02-111-2/+5
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10948 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* added local contractsDana N. Xu2011-02-091-5/+6
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10944 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* added local contractDana N. Xu2011-02-0922-271/+787
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10942 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* minor changeDana N. Xu2011-01-131-41/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10927 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* support dependent tuple nowDana N. Xu2011-01-0612-39/+100
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10918 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* improved error msg reporting for dependent function contractsDana N. Xu2010-12-272-27/+66
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10912 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* support contracts in nested modules nowDana N. Xu2010-12-225-39/+114
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10911 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fixed contracts in module type signatureDana N. Xu2010-12-135-14/+39
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10894 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fixed map_expressionDana N. Xu2010-12-073-7/+12
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10889 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* generate one expanded contracted expressionDana N. Xu2010-12-073-22/+38
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10886 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* check contract violations inside contractsDana N. Xu2010-11-262-10/+47
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10861 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* flagDana N. Xu2010-11-251-0/+5
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10853 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* readme firstDana N. Xu2010-11-231-0/+13
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10850 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* readme firstDana N. Xu2010-11-231-3/+28
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10849 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* readme firstDana N. Xu2010-11-221-2/+5
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10846 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* readmeFIRSTDana N. Xu2010-11-221-5/+6
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10845 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* readmeFIRSTDana N. Xu2010-11-221-2/+8
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10844 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* readmeFIRSTDana N. Xu2010-11-221-7/+9
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10842 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* new ocamlcDana N. Xu2010-11-223-0/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10840 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* added labltk partDana N. Xu2010-11-205-2/+19
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10837 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* add readmeFIRSTDana N. Xu2010-11-191-0/+23
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10834 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* corrected checking for tuple contractDana N. Xu2010-11-1911-59/+85
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10833 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* MakefilesDana N. Xu2010-11-171-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10815 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* added dynamic contract checkingDana N. Xu2010-11-1760-149/+2589
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10814 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Dana Xu's experiments with contracts.Xavier Leroy2010-11-1616-0/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10809 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* version 3.11.23.11.2Damien Doligez2010-01-201-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/release/3.11.2@9537 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Tagging release 3.11.2, version number to be changed.Damien Doligez2010-01-207-11/+18
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/release/3.11.2@9536 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* case for documentation title was different from the one in 'ocamldoc/Makefile'Xavier Clerc2010-01-151-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.11@9531 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fix for installed files under WindowsXavier Clerc2010-01-151-2/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.11@9530 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* problem with dependencies on WindowsDamien Doligez2010-01-152-17/+18
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.11@9529 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* missing includeDamien Doligez2010-01-141-0/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.11@9528 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* problem with windows/msvcXavier Clerc2010-01-141-3/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.11@9527 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* problem with windows/msvcXavier Clerc2010-01-142-4/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.11@9526 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* invalid name for bytecode runtime libraryXavier Clerc2010-01-141-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.11@9525 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* problem with windows/msvcDamien Doligez2010-01-111-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.11@9520 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#4953: ARM/THUMB supportXavier Leroy2010-01-082-1/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.11@9513 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fix PR#4955Jacques Garrigue2010-01-061-5/+8
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.11@9509 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Updated Windows ports to TCL/TK 8.5 by defaultXavier Leroy2010-01-043-19/+20
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.11@9508 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#4783: no absolute path on WindowsXavier Leroy2010-01-042-2/+8
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.11@9507 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* ignore ocamldep.bakDamien Doligez2009-12-280-0/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.11@9499 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#4950 end-of-line in string constantDamien Doligez2009-12-281-18/+18
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.11@9496 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Document how to build 32-bit version on Mac OS 10.6Xavier Leroy2009-12-271-2/+5
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.11@9495 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* +dev8: post +rc1Damien Doligez2009-12-221-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.11@9484 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* preparing 3.11.2+rc1Damien Doligez2009-12-223-2/+17
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.11@9482 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* preparing 3.11.2+rc1Damien Doligez2009-12-226-20/+20
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.11@9481 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
View Lorry Controller Status