delta/ocaml.git/verify/thmProvers.ml, branch contracts github.com: ocaml/ocaml update 2013-02-18T09:58:43+00:00 Dana N. Xu na.xu@inria.fr 2013-02-18T09:58:43+00:00 cda7d49f0f7f8f38b6292ff897fca0bbc4bd0d94 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@13295 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@13295 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
ok 2012-09-12T11:57:24+00:00 Dana N. Xu na.xu@inria.fr 2012-09-12T11:57:24+00:00 e41db90eef47b39c3a4f8afb9c9e540c8a02c493 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@12924 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@12924 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
insert and riser work 2012-06-27T09:18:07+00:00 Dana N. Xu na.xu@inria.fr 2012-06-27T09:18:07+00:00 32851818f25f997f1909279de0d5b058bb8c2a04 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@12648 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@12648 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fix some small bugs 2012-06-18T15:25:43+00:00 Dana N. Xu na.xu@inria.fr 2012-06-18T15:25:43+00:00 e1c3f3235fac2e0c110d873dace80ac35c50c848 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@12612 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@12612 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fixed some bugs 2012-06-08T11:02:45+00:00 Dana N. Xu na.xu@inria.fr 2012-06-08T11:02:45+00:00 8872caa8ff9e544cfb0090c983d727e4fc2fe72f git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@12584 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@12584 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
added contract 2011-10-24T14:45:59+00:00 Dana N. Xu na.xu@inria.fr 2011-10-24T14:45:59+00:00 810f1f3635eca050b806bbbe64dca04a0e23d75c git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@11234 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@11234 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02