| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Rename contracts branch.contracts-3.11 | Xavier Leroy | 2011-10-20 | 26 | -0/+0 |
| * | corrected the bug in opened contracts | Dana N. Xu | 2011-03-25 | 8 | -16/+49 |
| * | improving error msg | Dana N. Xu | 2011-03-25 | 7 | -9/+64 |
| * | adding miss files | Dana N. Xu | 2011-03-21 | 5 | -18/+14 |
| * | local contracts | Dana N. Xu | 2011-03-21 | 1 | -1/+2 |
| * | otherlib updated | Dana N. Xu | 2011-02-11 | 1 | -2/+5 |
| * | added local contracts | Dana N. Xu | 2011-02-09 | 1 | -5/+6 |
| * | added local contract | Dana N. Xu | 2011-02-09 | 22 | -271/+787 |
| * | minor change | Dana N. Xu | 2011-01-13 | 1 | -41/+1 |
| * | support dependent tuple now | Dana N. Xu | 2011-01-06 | 12 | -39/+100 |
| * | improved error msg reporting for dependent function contracts | Dana N. Xu | 2010-12-27 | 2 | -27/+66 |
| * | support contracts in nested modules now | Dana N. Xu | 2010-12-22 | 5 | -39/+114 |
| * | fixed contracts in module type signature | Dana N. Xu | 2010-12-13 | 5 | -14/+39 |
| * | fixed map_expression | Dana N. Xu | 2010-12-07 | 3 | -7/+12 |
| * | generate one expanded contracted expression | Dana N. Xu | 2010-12-07 | 3 | -22/+38 |
| * | check contract violations inside contracts | Dana N. Xu | 2010-11-26 | 2 | -10/+47 |
| * | flag | Dana N. Xu | 2010-11-25 | 1 | -0/+5 |
| * | readme first | Dana N. Xu | 2010-11-23 | 1 | -0/+13 |
| * | readme first | Dana N. Xu | 2010-11-23 | 1 | -3/+28 |
| * | readme first | Dana N. Xu | 2010-11-22 | 1 | -2/+5 |
| * | readmeFIRST | Dana N. Xu | 2010-11-22 | 1 | -5/+6 |
| * | readmeFIRST | Dana N. Xu | 2010-11-22 | 1 | -2/+8 |
| * | readmeFIRST | Dana N. Xu | 2010-11-22 | 1 | -7/+9 |
| * | new ocamlc | Dana N. Xu | 2010-11-22 | 3 | -0/+0 |
| * | added labltk part | Dana N. Xu | 2010-11-20 | 5 | -2/+19 |
| * | add readmeFIRST | Dana N. Xu | 2010-11-19 | 1 | -0/+23 |
| * | corrected checking for tuple contract | Dana N. Xu | 2010-11-19 | 11 | -59/+85 |
| * | Makefiles | Dana N. Xu | 2010-11-17 | 1 | -1/+1 |
| * | added dynamic contract checking | Dana N. Xu | 2010-11-17 | 60 | -149/+2589 |
| * | Dana Xu's experiments with contracts. | Xavier Leroy | 2010-11-16 | 16 | -0/+0 |
| * | version 3.11.23.11.2 | Damien Doligez | 2010-01-20 | 1 | -1/+1 |
| * | Tagging release 3.11.2, version number to be changed. | Damien Doligez | 2010-01-20 | 7 | -11/+18 |
| * | case for documentation title was different from the one in 'ocamldoc/Makefile' | Xavier Clerc | 2010-01-15 | 1 | -1/+1 |
| * | fix for installed files under Windows | Xavier Clerc | 2010-01-15 | 1 | -2/+1 |
| * | problem with dependencies on Windows | Damien Doligez | 2010-01-15 | 2 | -17/+18 |
| * | missing include | Damien Doligez | 2010-01-14 | 1 | -0/+2 |
| * | problem with windows/msvc | Xavier Clerc | 2010-01-14 | 1 | -3/+1 |
| * | problem with windows/msvc | Xavier Clerc | 2010-01-14 | 2 | -4/+4 |
| * | invalid name for bytecode runtime library | Xavier Clerc | 2010-01-14 | 1 | -2/+2 |
| * | problem with windows/msvc | Damien Doligez | 2010-01-11 | 1 | -0/+1 |
| * | PR#4953: ARM/THUMB support | Xavier Leroy | 2010-01-08 | 2 | -1/+3 |
| * | fix PR#4955 | Jacques Garrigue | 2010-01-06 | 1 | -5/+8 |
| * | Updated Windows ports to TCL/TK 8.5 by default | Xavier Leroy | 2010-01-04 | 3 | -19/+20 |
| * | PR#4783: no absolute path on Windows | Xavier Leroy | 2010-01-04 | 2 | -2/+8 |
| * | ignore ocamldep.bak | Damien Doligez | 2009-12-28 | 0 | -0/+0 |
| * | PR#4950 end-of-line in string constant | Damien Doligez | 2009-12-28 | 1 | -18/+18 |
| * | Document how to build 32-bit version on Mac OS 10.6 | Xavier Leroy | 2009-12-27 | 1 | -2/+5 |
| * | +dev8: post +rc1 | Damien Doligez | 2009-12-22 | 1 | -1/+1 |
| * | preparing 3.11.2+rc1 | Damien Doligez | 2009-12-22 | 3 | -2/+17 |
| * | preparing 3.11.2+rc1 | Damien Doligez | 2009-12-22 | 6 | -20/+20 |
 |
index : delta/ocaml.git | |
| github.com: ocaml/ocaml |
| summaryrefslogtreecommitdiff |