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 pAACOF3d007597
	for <caml-list@sympa-roc.inria.fr>; Thu, 10 Nov 2011 13:24:15 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AoUBAIXBu07RVaE2kGdsb2JhbABCmnCPLAgiAQEBAQkJDQcUBCGCCwImBgEBOE5GAQUBDgFIh2IGmjgKijGEEwGOYAeJG2OhdD2DcQ
X-IronPort-AV: E=Sophos;i="4.69,488,1315173600"; 
   d="scan'208";a="118074687"
Received: from mail-fx0-f54.google.com ([209.85.161.54])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Nov 2011 13:24:14 +0100
Received: by faar19 with SMTP id r19so5238484faa.27
        for <caml-list@inria.fr>; Thu, 10 Nov 2011 04:24:14 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=gamma;
        h=from:content-type:content-transfer-encoding:subject:date:message-id
         :to:mime-version:x-mailer;
        bh=pjyLrXg2QR8xTpsRmElbzO1D3+y4N3lcVEdBktOHKHo=;
        b=PqTVEm7+qAxajp7iBazuiELEWzxRvGw/BDeq+jiYDTBkQSS8qxmEJvW6ff87xTRWtB
         dOq2xAg9V8VLCRZekexJsVSfyA2TmzuVMJNvgLQxE9ug0iUowwInSephO0VufKp9w9oy
         3H0W6Qa8os3Gt90QVRXppmQqAD4E6NWxUc7uk=
Received: by 10.223.91.143 with SMTP id n15mr11735800fam.23.1320927854785;
        Thu, 10 Nov 2011 04:24:14 -0800 (PST)
Received: from coruscant.kosmos.all (ip-95-223-170-32.unitymediagroup.de. [95.223.170.32])
        by mx.google.com with ESMTPS id j5sm10892295faf.14.2011.11.10.04.24.12
        (version=SSLv3 cipher=OTHER);
        Thu, 10 Nov 2011 04:24:13 -0800 (PST)
From: Benedikt Meurer <benedikt.meurer@googlemail.com>
Content-Type: text/plain; charset=us-ascii
Date: Thu, 10 Nov 2011 13:24:11 +0100
Message-Id: <BB1F66EE-F08C-43EF-8493-CD005169460F@googlemail.com>
To: caml-list@inria.fr
Mime-Version: 1.0 (Apple Message framework v1251.1)
X-Mailer: Apple Mail (2.1251.1)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pAACOF3d007597
Subject: [Caml-list] [ANN] ocamlnat 0.1.0 release

Dear list,

This post announces the 0.1.0 release of the ocamlnat project, which aims to provide a native code toplevel for the OCaml language, that is mostly compatible to the byte code toplevel, but up to 100 times faster.

Home page: http://benediktmeurer.de/ocamlnat
Forge page: https://forge.ocamlcore.org/projects/ocamlnat
GitHub page: https://github.com/bmeurer/ocamlnat

Current features:
- Support for x86 and x86-64 processors running Unix-like systems (tested with Linux and Mac OS X), and experimental support for Win32.
- Mostly compatible with the byte code toplevel `ocaml`, although some functionality is not provided (yet), i.e. tracing does not work.
- Includes an implementation of the linear scan register allocator for increased performance (default is currently the old graph coloring register allocator for well-known stability).
- Separated from the OCaml distribution, can be installed in addition to an existing OCaml 3.12.1 installation.
- Experimental Findlib support, provides a mostly working Topfind interface similar to what Findlib provides for the byte code toplevel.

Open issues:
- Better Findlib integration; packages should install .cmxs files for loading into the native toplevel. Any ideas/help welcome.
- Porting to additional architectures (ARM, PowerPC).
- Windows port.


Benedikt Meurer