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 4CC57800FC for ; Sun, 23 Jul 2017 11:52:15 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Jocelyn.SEROT@univ-bpclermont.fr; spf=None smtp.mailfrom=Jocelyn.SEROT@univ-bpclermont.fr; spf=None smtp.helo=postmaster@mta02.udamail.fr Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Jocelyn.SEROT@univ-bpclermont.fr) identity=pra; client-ip=193.49.117.21; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Jocelyn.SEROT@univ-bpclermont.fr"; x-sender="Jocelyn.SEROT@univ-bpclermont.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Jocelyn.SEROT@univ-bpclermont.fr) identity=mailfrom; client-ip=193.49.117.21; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Jocelyn.SEROT@univ-bpclermont.fr"; x-sender="Jocelyn.SEROT@univ-bpclermont.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mta02.udamail.fr) identity=helo; client-ip=193.49.117.21; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Jocelyn.SEROT@univ-bpclermont.fr"; x-sender="postmaster@mta02.udamail.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AYM1vzR2iZrX+M+pSsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIeI/ad9pjvdHbS+e9qxAeQG96Ku7Qc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q89pDXYAhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7Vq4/Vyi84Kh3SR/okC?= =?us-ascii?q?YHOCA/8GHLkcx7kaZXrAu8qxBj34LYZYeYP+d8cKzAZ9MXXWpPUdpeWSJcAY2y?= =?us-ascii?q?YZUBAOUGM+tDs4n9vl4OoQe+BQWwGu/izCJDiH/s3a091uQsCQXI3As8EN0QtH?= =?us-ascii?q?TVrNP1O78PX+ev1qnIyinDZO5R1Dn574jHbg4uofWMXLJ2a8bf1EYhGR/cgFuO?= =?us-ascii?q?soHlIjWV1uUTs2SC9OVgTf6gi2o5pAFrpzivwcEsipXTioIb0FDJ7CN0y5s7K9?= =?us-ascii?q?2/TU50e9+kEJ1IuiGHMYt2Q90iT3hztyYi1rIGvYC0fDIPyJQgwR7fd+aLc4aS?= =?us-ascii?q?4h/lSe2fIi94iWp4dL+7iRu+60etx+nmWsWpzVpHrDBJnsfRunwV1BHe6dKLRu?= =?us-ascii?q?Z880quwzqC0x7f5vtaLU00iabWLYMqzKQqmZoJq0vDGzf7mEXog6+ScUUp4u2o?= =?us-ascii?q?6/j9bbn6uJOQLZJ0hRzkPaQrgMO/AOA4PhIAX2iB4ei81bvj8lPlQLhSk/E7lq?= =?us-ascii?q?fUvIrVKMkfvKK1HhJZ34Q55xqhEjuqyNEYkmMGLFJBdhKHlY/pO1TWLf78Cvew?= =?us-ascii?q?n0qjkDNrxvDAJLHvH5rDIGTanrn/Zrt99khcyAstzdxG/J1UEq0OIPbtVU/rsd?= =?us-ascii?q?zYCRk5MxCuz+bpEtVxzpkeVn6XAq+FLKPStkeF6f41LOmJYI8ZoTL9K/k+5/7y?= =?us-ascii?q?lnI5gl8cfayx3ZQNcny4H/JmI1+YYXX2mNsBH30K7UICS7nNo1SHVXZ2bne2Xq?= =?us-ascii?q?QzrhU6E57uWYzKQ4TohL2awA+6GIdXbyZIEAbfP23vctCmXPwBbDOUFfTgiDsY?= =?us-ascii?q?HeyDTIQs0QCo8jTX8Z1bBvfS+zNdv4ro0NVv4urViVc872onXIymz2iRQjQszS?= =?us-ascii?q?szTDgs0fU6+BQlxw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B6BQDjcHRZhxV1McFcHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBhAMQA4ERjn+QT5g5LIkbQxQBAQEBAQEBAQEBARIBAQEKCwkIKC+?= =?us-ascii?q?CMyQBgwGBPyoBE4pGAQudPpI0izgBAQEBI4MohS4rC4scgjEFn04eW4ZVg0qLa?= =?us-ascii?q?YhOhwQCkRKEUAI2gSt5bAGCboIiJYFQdAGKNQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0B6BQDjcHRZhxV1McFcHAEBBAEBCgEBFwEBBAEBCgEBhAM?= =?us-ascii?q?QA4ERjn+QT5g5LIkbQxQBAQEBAQEBAQEBARIBAQEKCwkIKC+CMyQBgwGBPyoBE?= =?us-ascii?q?4pGAQudPpI0izgBAQEBI4MohS4rC4scgjEFn04eW4ZVg0qLaYhOhwQCkRKEUAI?= =?us-ascii?q?2gSt5bAGCboIiJYFQdAGKNQEBAQ?= X-IronPort-AV: E=Sophos;i="5.40,400,1496095200"; d="scan'208";a="284607035" Received: from mta02.udamail.fr ([193.49.117.21]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 23 Jul 2017 11:52:14 +0200 Received: from mta02.udamail.fr (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTPS id 098151601EA for ; Sun, 23 Jul 2017 11:52:14 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTP id F07C61601ED for ; Sun, 23 Jul 2017 11:52:13 +0200 (CEST) X-Virus-Scanned: amavisd-new at mta02.udamail.fr Received: from mta02.udamail.fr ([127.0.0.1]) by localhost (mta02.udamail.fr [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id mBz4ZSMkeFlP for ; Sun, 23 Jul 2017 11:52:13 +0200 (CEST) Received: from proxy01.udamail.fr (unknown [193.49.117.26]) by mta02.udamail.fr (Postfix) with ESMTPS id DE5DC1601EA for ; Sun, 23 Jul 2017 11:52:13 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy01.udamail.fr (Postfix) with ESMTP id D915615E02B for ; Sun, 23 Jul 2017 11:52:13 +0200 (CEST) Received: from proxy01.udamail.fr ([127.0.0.1]) by localhost (proxy01.udamail.fr [127.0.0.1]) (amavisd-new, port 10032) with ESMTP id WuFgbf-nfrga for ; Sun, 23 Jul 2017 11:52:13 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy01.udamail.fr (Postfix) with ESMTP id 8374915E040 for ; Sun, 23 Jul 2017 11:52:13 +0200 (CEST) X-Virus-Scanned: amavisd-new at proxy01.udamail.fr Received: from proxy01.udamail.fr ([127.0.0.1]) by localhost (proxy01.udamail.fr [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id ty8dA97rd735 for ; Sun, 23 Jul 2017 11:52:13 +0200 (CEST) Received: from [192.168.0.42] (lav63-2-88-164-92-250.fbx.proxad.net [88.164.92.250]) by proxy01.udamail.fr (Postfix) with ESMTPSA id 3EE5915E02B for ; Sun, 23 Jul 2017 11:52:13 +0200 (CEST) From: =?iso-8859-1?Q?Jocelyn_S=E9rot?= Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Message-Id: Date: Sun, 23 Jul 2017 11:52:11 +0200 To: OCaml Mailing List Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) X-Mailer: Apple Mail (2.1878.6) Subject: [Caml-list] [ANN] Release 2.8.3 of Caph, a functional/dataflow language for programming FPGAs Dear Ocaml users, It is my pleasure to announce the latest release (2.8.3) of CAPH, a domain-= specific language relying on the dataflow model of computation for describ= ing and implementing stream-processing applications. CAPH can simulate data= flow programs, generate cycle-accurate SystemC and synthetizable VHDL code = for implementation on reconfigurable hardware such as FPGAs. CAPH has a strong functional inspiration : dataflow networks are described = using a purely functional, higher-order formalism and the definition of act= or behavior relies on a pattern matching similar to that used for defining = functions in functional languages. CAPH is also equipped with a rich type s= ystem with sized-integers, booleans, floats, fully polymorphic algebraic da= ta types and dependent types. And, of course, CAPH is entirely written in OCaml ;) Documentation, examples and release (both source code and pre-compiled bina= ry version for Windows and MacOS) can be found here : http://caph.univ-bpclermont.fr/CAPH/CAPH.html Cheers JS