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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 074E17F61E for ; Fri, 3 Nov 2017 23:59:13 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=n.oje.bar@gmail.com; spf=Pass smtp.mailfrom=n.oje.bar@gmail.com; spf=None smtp.helo=postmaster@mail-oi0-f49.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of n.oje.bar@gmail.com) identity=pra; client-ip=209.85.218.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="n.oje.bar@gmail.com"; x-sender="n.oje.bar@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of n.oje.bar@gmail.com designates 209.85.218.49 as permitted sender) identity=mailfrom; client-ip=209.85.218.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="n.oje.bar@gmail.com"; x-sender="n.oje.bar@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-oi0-f49.google.com) identity=helo; client-ip=209.85.218.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="n.oje.bar@gmail.com"; x-sender="postmaster@mail-oi0-f49.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ATs3+5h/xIroNtP9uRHKM819IXTAuvvDOBiVQ1KB+?= =?us-ascii?q?1O4cTK2v8tzYMVDF4r011RmSAtWdtqoMotGVmp6jcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS46tL2HV93a76DpaBw7yLxE9?= =?us-ascii?q?cu/8H4qXi8Wsy8iz/YfSakNGnmzuT6l1KUCQrA7WskANtqxgJ6o4/TFFuDMcfa?= =?us-ascii?q?JRx24uL1uJtxn578a0upVk9nID6Loa68dcXPCiLOwDRrtCAWF+Pg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C9AgCC9PxZhjHaVdFdHQEFAQsBg1kBP?= =?us-ascii?q?m4nB4N2gTaYBIs9hz6FVoIBCgUehRiEUgdCFQEBAQEBAQEBAQESAQEBCAsLCCg?= =?us-ascii?q?vgjgigm0dARseAxIJAQYHMAIkAREBBQEOFIodAQMVEJdFg0VAjAyCBQUBHIMKB?= =?us-ascii?q?YNkChknDViDGAIBBRKDHIIHgzsBiANlgmiCYgWZBokIh2aNFpMyAoxhhguDFhQ?= =?us-ascii?q?FH4EVNYIOel41gi+CIyofgXRANgGNKgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0C9AgCC9PxZhjHaVdFdHQEFAQsBg1kBPm4nB4N2gTaYBIs?= =?us-ascii?q?9hz6FVoIBCgUehRiEUgdCFQEBAQEBAQEBAQESAQEBCAsLCCgvgjgigm0dARseA?= =?us-ascii?q?xIJAQYHMAIkAREBBQEOFIodAQMVEJdFg0VAjAyCBQUBHIMKBYNkChknDViDGAI?= =?us-ascii?q?BBRKDHIIHgzsBiANlgmiCYgWZBokIh2aNFpMyAoxhhguDFhQFH4EVNYIOel41g?= =?us-ascii?q?i+CIyofgXRANgGNKgEBAQ?= X-IronPort-AV: E=Sophos;i="5.44,339,1505772000"; d="scan'208,217";a="243375873" Received: from mail-oi0-f49.google.com ([209.85.218.49]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 03 Nov 2017 23:58:58 +0100 Received: by mail-oi0-f49.google.com with SMTP id a132so3252740oih.11 for ; Fri, 03 Nov 2017 15:58:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=yFrc7UlleWXXi5/J+Q1ZIE1KmqxWUY1b9GR91x2QyOw=; b=GG2Qfywg7Up4gcBYewnlJMxsE84KTs7alyYuWroi/bSWfo9huSBjjPIu9NFdqEUxfq sbDyVQzpwSdRz6rqbNnSSWBLqNzz19kQGaJCNBrHSP7eecABrksm60G1Axw/7o3OswVY LnuJ/owfufG+p2czUegaVCs1sZUI3QqLGOVmnuHoEG5GFBNgJSJ707hjP31jS1Vms2vx MSmxwnOWIiX6dZeJezWeVrzhx4v/dMXWId3LVKKWVCkpiRmB9/xCMlL62+Eyuqxjb5Om MHiuRrP3gEChJwAyCj6dzuBriI/9ZQHkp6lAOhOsU+H4VMh3OnM2RBA77fszyQcAnh8c ntWA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=yFrc7UlleWXXi5/J+Q1ZIE1KmqxWUY1b9GR91x2QyOw=; b=V0jeq1fdkL5CAabZk3B7hIEJ844XcUN7Ikb1QLI1iPseP2890gunhVqOhWAsfd71g6 Kb/ipgGtQk/oH68qX0G5/EAL98m0qqfuILLS+lyDmV5SqnRFYzHGKrgIGmByunoE62ac gBBwbTv+CfxOEVRpvXhrmvcydbTmnDBeF58BBnwzjLGngLvGvMr0f3tIDXM34NHs2mJG HLMORs0HAsVdfmq3OiS4iF+mVgW5FOi0/nyGKvIhMQ6Xbyrc6OSxPtrEw4bZpoSY9H/9 oqYLbrEWYmxm8t8gwv0GBRTzFN09GrvsDRfIiIeBk2G7TKb4XnCmwF82mHBlIWLsxbmB d5pg== X-Gm-Message-State: AMCzsaX+/eWaSo5nT8aft7+UP2cA/ajrYBGpIcXKGxBUNFTKb5b4qzLS VivTd6SoPTM2w5vmrZI3nBhKzcIllQIEpL08gaQ= X-Google-Smtp-Source: ABhQp+RUnyy/NnC2okEaXXMpFpG+Nkj/wxh4jc1Tq6MHaebCM25rJu35voQFZqlAee2EZTmez26JWfvx15ctJrHHoXM= X-Received: by 10.202.114.140 with SMTP id p134mr4898995oic.98.1509749936708; Fri, 03 Nov 2017 15:58:56 -0700 (PDT) MIME-Version: 1.0 Received: by 10.157.25.175 with HTTP; Fri, 3 Nov 2017 15:58:56 -0700 (PDT) From: =?UTF-8?Q?Nicol=C3=A1s_Ojeda_B=C3=A4r?= Date: Fri, 3 Nov 2017 23:58:56 +0100 Message-ID: To: caml users Content-Type: multipart/alternative; boundary="001a11c18140ad62be055d1c0ca8" X-Validation-by: n.oje.bar@gmail.com Subject: [Caml-list] [ANN] RISC-V OCaml 4.06 --001a11c18140ad62be055d1c0ca8 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all, I am happy to announce the release of the RISC-V native-code backend for OCaml 4.06. See https://sympa.inria.fr/sympa/arc/caml-list/2016-11/msg00012. html for the 4.04 announcement (note there was no 4.05 release). The source code is available in the 4.06 branch of https://github.com/nojb/riscv-ocaml It currently targets the 64-bit variant of the RISC-V architecture, with some preliminary work to support the 32-bit variant. If you would like to experiment with it, a Docker image with Fedora/RISC-V and OCaml 4.06 already installed is available. Simply run docker run -it nojb/riscv-ocaml:4.06 All comments warmly welcome. Best wishes, Nicol=C3=A1s --001a11c18140ad62be055d1c0ca8 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

I am happy to announce the re= lease of the RISC-V native-code backend for OCaml 4.06. See https://sympa.inria.fr/sympa/arc/caml-list/2016-11/msg00012.= html=C2=A0for the 4.04 announcement (note there was no 4.05 release).

The source code is available in the 4.06 branch of<= /div>


It currently targets the 64-bit variant of the RISC-V arc= hitecture, with some preliminary work to support the 32-bit variant.
<= div>
If you would like to experiment with it, a Docker image = with Fedora/RISC-V and OCaml 4.06 already installed is available.=C2=A0 Sim= ply run

=C2=A0 docker run -it nojb/riscv-ocaml:4.0= 6

All comments warmly welcome.

Best wishes,
Nicol=C3=A1s
--001a11c18140ad62be055d1c0ca8--