From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q3GJ8sQ7014151 for ; Mon, 16 Apr 2012 21:08:54 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArcCAP9tjE9QDPJ/k2dsb2JhbABEszoBAQEBCQkUFAMkgkhAPRYYAwIBAgFLDQgBAYgOB5gfoHiRSQSVbYVyjSw X-IronPort-AV: E=Sophos;i="4.75,429,1330902000"; d="scan'208";a="140419778" Received: from smtp05.smtpout.orange.fr (HELO smtp.smtpout.orange.fr) ([80.12.242.127]) by mail4-smtp-sop.national.inria.fr with ESMTP; 16 Apr 2012 21:08:38 +0200 Received: from god.stelix.fr ([92.134.83.165]) by mwinf5d52 with ME id yj8e1i0043a1GFQ03j8eVc; Mon, 16 Apr 2012 21:08:38 +0200 Received: from [10.31.1.2] by god.stelix.fr with esmtp (Exim 4.69) (envelope-from ) id 1SJrHx-0000cA-Ud for caml-list@inria.fr; Mon, 16 Apr 2012 21:08:37 +0200 Message-ID: <4F8C6E35.4090306@irit.fr> Date: Mon, 16 Apr 2012 21:08:37 +0200 From: Jean-Marc Alliot User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:11.0) Gecko/20120327 Thunderbird/11.0.1 MIME-Version: 1.0 To: caml Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: [Caml-list] New release of Interval Computation Library Hi, A new release (1.2) of the interval computation library is available: http://www.alliot.fr/fbbdet.html.fr This release fixes some problems on Mac OS X and windows systems, and a possible bug on 32 bits systems for the ffloat function. Thanks to all those who helped in finding and fixing bugs. JMA