From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 80A137ED7A for ; Wed, 29 Aug 2012 21:01:43 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of forum@x9c.fr) identity=pra; client-ip=46.105.36.150; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="forum@x9c.fr"; x-sender="forum@x9c.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of forum@x9c.fr designates 46.105.36.150 as permitted sender) identity=mailfrom; client-ip=46.105.36.150; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="forum@x9c.fr"; x-sender="forum@x9c.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mo6.mail-out.ovh.net) identity=helo; client-ip=46.105.36.150; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="forum@x9c.fr"; x-sender="postmaster@mo6.mail-out.ovh.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlYGAN5mPlAuaSSWf2dsb2JhbABFhTy1WQEBCwsKCBQngyCJXgS8JY5FgxwDlVUBgRQIkV4 X-IronPort-AV: E=Sophos;i="4.80,335,1344204000"; d="scan'208";a="154167805" Received: from 17.mo6.mail-out.ovh.net (HELO mo6.mail-out.ovh.net) ([46.105.36.150]) by mail4-smtp-sop.national.inria.fr with ESMTP; 29 Aug 2012 21:01:34 +0200 Received: from mail351.ha.ovh.net (b6.ovh.net [213.186.33.56]) by mo6.mail-out.ovh.net (Postfix) with SMTP id B2FC4FF8124 for ; Wed, 29 Aug 2012 21:07:23 +0200 (CEST) Received: from b0.ovh.net (HELO queueout) (213.186.33.50) by b0.ovh.net with SMTP; 29 Aug 2012 19:01:33 -0000 Received: from ns0.ovh.net (HELO localhost) (213.186.33.20) by ns0.ovh.net with SMTP; 29 Aug 2012 19:01:33 -0000 Received: from client-7-137.visitor-network.oxuni.org.uk (client-7-137.visitor-network.oxuni.org.uk [192.76.7.137]) by ssl0.ovh.net (Horde Framework) with HTTP; Wed, 29 Aug 2012 21:01:33 +0200 Message-ID: <20120829210133.183058x581n8ce80@ssl0.ovh.net> Date: Wed, 29 Aug 2012 21:01:33 +0200 From: forum@x9c.fr To: caml-list@inria.fr Cc: forum@x9c.fr X-Ovh-Mailout: 178.32.228.6 (mo6.mail-out.ovh.net) MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; DelSp="Yes"; format="flowed" Content-Disposition: inline Content-Transfer-Encoding: 7bit User-Agent: Internet Messaging Program (IMP) H3 (4.3.5) X-Ovh-Tracer-Id: 7425591361340244768 X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: 0 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeehtddrfeehucetufdoteggodetrfcurfhrohhfihhlvgemucfqggfjnecuuegrihhlohhuthemuceftddtnecunecuhfhrohhmpehfohhruhhmseiglegtrdhfrhenucffohhmrghinhepgieltgdrfhhrnecujfgurhephffvufggtggugfgfsehtjedttddtredu Subject: [Caml-list] [ANN] Kaputt 1.2 release Dear list, This post announces the 1.2 release of the Kaputt project, whose goal is to provide a comprehensive testing framework for the OCaml language. Home page: http://kaputt.x9c.fr Main changes since 1.1: - new 'Mock' module providing means of recording calls made to a function - support for specification of partial functions (i. e. raising exceptions) - preprocessor allowing to store tests in separated '.mlt' files - removed deprecated functions - update for OCaml 4.00.0 - bug#85: cmi file is not installed - bugfixes to bigarray and nums support Xavier Clerc