From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 7E08C7EE99 for ; Fri, 13 Dec 2013 03:23:19 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gildor478@gmail.com) identity=pra; client-ip=209.85.223.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gildor478@gmail.com"; x-sender="gildor478@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gildor478@gmail.com designates 209.85.223.181 as permitted sender) identity=mailfrom; client-ip=209.85.223.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gildor478@gmail.com"; x-sender="gildor478@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ie0-f181.google.com) identity=helo; client-ip=209.85.223.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gildor478@gmail.com"; x-sender="postmaster@mail-ie0-f181.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtACAJduqlLRVd+1lGdsb2JhbAA/GoNCVblwCBYOAQEBAQcLCwkSKoJsATkDDQUQXRIBBQEiiAMDEQ02oxuDBo9jhGUnDYcbAQUMk0QEmBWQJxgpgWWCcTs X-IPAS-Result: AtACAJduqlLRVd+1lGdsb2JhbAA/GoNCVblwCBYOAQEBAQcLCwkSKoJsATkDDQUQXRIBBQEiiAMDEQ02oxuDBo9jhGUnDYcbAQUMk0QEmBWQJxgpgWWCcTs X-IronPort-AV: E=Sophos;i="4.95,476,1384297200"; d="scan'208";a="48677725" Received: from mail-ie0-f181.google.com ([209.85.223.181]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 Dec 2013 03:23:18 +0100 Received: by mail-ie0-f181.google.com with SMTP id e14so2034149iej.12 for ; Thu, 12 Dec 2013 18:23:17 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:date:message-id:subject:from:to:content-type; bh=VK4FjmGcm3a1JBaE1+W1XMO2GFUhrj21wzqwEhwkLWM=; b=p/mjzhKf+dI9bama4xrVD5lKzxYuxBfhEuyDGbqvMWB2YIuRmdOSFlxOtcvzne0pVo 0N7IvwrepsF6ZDjoU5uKFP1X706I1eC5MJyGUFj/Wcvdxf3rR1YPnDTT3mHEPyVkH0oJ 6m9K4kdp6mFd3x2xWpW4Pv7awCVin47j+Bl1pPAW8UKwqeCrS/DzmvI79BL0aooETlZS XnU0U96jnNkwQICZfCtHomIXlIj1vHp7/0JRCUt9lzFifyvx+S16l8/V1v2uJSnNnzzC 2qVWaKKvkztW5tBQ/3Bv1IuJRG6ChD5F1WNBueeUSMTsnEOQLj1Zq36D3Z87lHsMyxF8 Zilg== MIME-Version: 1.0 X-Received: by 10.50.87.4 with SMTP id t4mr526932igz.18.1386901397486; Thu, 12 Dec 2013 18:23:17 -0800 (PST) Sender: gildor478@gmail.com Received: by 10.64.31.168 with HTTP; Thu, 12 Dec 2013 18:23:17 -0800 (PST) Date: Fri, 13 Dec 2013 03:23:17 +0100 X-Google-Sender-Auth: ogoXF9xIw9q6JvNfuLGS77iwxmw Message-ID: From: Sylvain Le Gall To: caml-list Content-Type: text/plain; charset=ISO-8859-1 Subject: [Caml-list] [ANN] OASIS v0.4.0 Hi all, I am pleased to announce that OASIS v0.4.0 has been released. This new release contains a lot of fixes contributed by users who kindly send me back their patches and pull-request. * Migrate the source repository to https://github.com/ocaml/oasis * Fix a lot of code style issues (e.g. blank at the end of the line) and create a test to check that the style of generated files is correct. Some related tools has been fixed asi well, for the best formatting use ocamlmod >= 0.0.7 and ocaml-data-notation >= 0.0.10. * Port all tests to OUnit 2.0, which allows to run all tests faster. * Run some tests with a fake bytecode only setup, so that we can always check that bytecode and nativecode tests are passing. (Closes: #1306) * Fix a missing dependency on ocamlbuild package and inclusion of ocambuildlib.cma in builtin-plugins.cma. * Introduce a framework to create features. * Add fields AlphaFeatures and BetaFeatures to list the experimental features you want to use in your _oasis * Using AlphaFeatures and BetaFeatures is only allowed if OASISFormat is set to the latest OASIS version. There is no backward compatiblity for experimental features. For example, if you are using OASIS 0.4.X, OASISFormat must be set to 0.4. * AlphaFeatures represents features not fully completed that maybe very unstable, quickly evolving and even removed in future release. * BetaFeatures represents features almost finished that needs to mature a bit before being published. Read more of this announcement here: http://le-gall.net/sylvain+violaine/blog/index.php?post/2013/12/11/Release-of-OASIS-0.4.0