From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 7788A5D5 for ; Sat, 5 May 2018 14:11:50 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,366,1520895600"; d="scan'208";a="325899560" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 May 2018 16:11:47 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6737082450; Sat, 5 May 2018 16:11:47 +0200 (CEST) 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 AC91E8240C for ; Sat, 5 May 2018 16:11:12 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jocelyn.serot@uca.fr; spf=Pass smtp.mailfrom=jocelyn.serot@uca.fr; spf=None smtp.helo=postmaster@mta02.udamail.fr IronPort-PHdr: =?us-ascii?q?9a23=3Ara7iohYmhh5WRyHlCSxrBeH/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZr8y/bnLW6fgltlLVR4KTs6sC17KN9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCazbL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD?= =?us-ascii?q?0fOjEl/27Zl8x+g6BVrhyupBJ/zZDaboaOOfpiZ6PdeM8WRWpdUspPUSFKH4Oy?= =?us-ascii?q?b5EID+oEJetWq479qEcQohu6BQisAvvgxCJSgX/s2q06z/kqHAbE3AwnA90Brn?= =?us-ascii?q?DUrdXzNKsISuC60rPIzTLfb/5NxDfy9JLHfgovofGWRL99d9fax0coFwPAlFqQ?= =?us-ascii?q?qIrlMiuI1uQLsmib8fNsWvm3i2E7rwF+vCKvxsIrionPmoIZ0F7E9T9hzIY6JN?= =?us-ascii?q?24VE57YcO/H5dKqy6aMI52T8U/SG9roCY30qAKtJq1cSQQx5kqwwTTZ+Gaf4WK?= =?us-ascii?q?+B7vSvudLS97iX9mYr6zmhe//Ee6xuD4SMW4ykhGoypZntTKq3sDzQbc6tKdRf?= =?us-ascii?q?t45kqh2SiA1wTU6uxcJEA0ibDUJ4I/zrIqi5ocrF7MHirsl0X3iK+abEsk+vKw?= =?us-ascii?q?5+TmZLXpuIOcOpdphgz6PKkigMOyDOAiPgQTQmSW+/6w2KP+8UHhRbVFlPw2kq?= =?us-ascii?q?3XsJDAIsQbo7a0Aw1S0ok/9Rm/Czen0NICkXkcMl1FYhWHj5TyNlHTPP/3F+2z?= =?us-ascii?q?g1q2kDtz3fDJIqXhAonRLnjEiLruYaxy60tYyAYqydBf5olUCq0aLfLoWk7xsc?= =?us-ascii?q?TYAQUjPwy1xebnEtR92ZkEVWKBGK/KeJ/V5FSB4+ZqJ+iXeMdBsz/4L70h5uXy?= =?us-ascii?q?pX4/g14UO6ezi8g5cne9S9ZhKEidcHzbuVYbFntC6gg5R+HumVvESjNJYGqaQq?= =?us-ascii?q?k1oD8hXtH1RbzfT5yg1eTSlBywGYdbMzgfWwK8VEzwfoDBYM8iLSebI8tviDsB?= =?us-ascii?q?Beq8QIZn2wv87VammYoiFfLd/2gjjbymzMJ8t7/Onhh0+yYmV53AgVHIdHl9my?= =?us-ascii?q?YzfxFz3K17phUtmFKf2PAixeFUHNla5vcPXB1obZM=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DgCAAmuu1ahxV1McFcHQEBBQELAYQlA?= =?us-ascii?q?3cojE6MFYMIkziBZAsfhE0CgjgZBwEENBQBAgEBAQEBAQEBARMBAQEKCwkIKCM?= =?us-ascii?q?MgjUiglIDAzpPUUkBDQaFOAGqAYRYg2yCOIglghOBDyOFeQKBKINogiQCmCQIc?= =?us-ascii?q?YR0glKIB4VhhQ8BjXeCUoEjAjOBc3R2AYIYCTWBcBqDNIE+iRZtkDcBAQ?= X-IPAS-Result: =?us-ascii?q?A0DgCAAmuu1ahxV1McFcHQEBBQELAYQlA3cojE6MFYMIkzi?= =?us-ascii?q?BZAsfhE0CgjgZBwEENBQBAgEBAQEBAQEBARMBAQEKCwkIKCMMgjUiglIDAzpPU?= =?us-ascii?q?UkBDQaFOAGqAYRYg2yCOIglghOBDyOFeQKBKINogiQCmCQIcYR0glKIB4VhhQ8?= =?us-ascii?q?BjXeCUoEjAjOBc3R2AYIYCTWBcBqDNIE+iRZtkDcBAQ?= X-IronPort-AV: E=Sophos;i="5.49,366,1520895600"; d="scan'208";a="264430450" Received: from mta02.udamail.fr ([193.49.117.21]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 05 May 2018 16:11:12 +0200 Received: from mta02.udamail.fr (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTPS id 40dW5C61HNzBrMV for ; Sat, 5 May 2018 16:11:11 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTP id 40dW5C5cHbzBs1k for ; Sat, 5 May 2018 16:11:11 +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 XqEhihYkfqFw for ; Sat, 5 May 2018 16:11:11 +0200 (CEST) Received: from proxy01.udamail.fr (unknown [193.49.117.26]) by mta02.udamail.fr (Postfix) with ESMTPS id 40dW5C538ZzBrMV for ; Sat, 5 May 2018 16:11:11 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy01.udamail.fr (Postfix) with ESMTP id 40dW5C4YZtzBnCL for ; Sat, 5 May 2018 16:11:11 +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 YOF_Q0qZK8Xo for ; Sat, 5 May 2018 16:11:11 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy01.udamail.fr (Postfix) with ESMTP id 40dW5C0LmyzBnDb for ; Sat, 5 May 2018 16:11:11 +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 ugNbzxxMe73S for ; Sat, 5 May 2018 16:11:10 +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 40dW5B55kRzBnCL for ; Sat, 5 May 2018 16:11:10 +0200 (CEST) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) From: =?iso-8859-1?Q?Jocelyn_S=E9rot?= In-Reply-To: Date: Sat, 5 May 2018 16:11:09 +0200 Content-Transfer-Encoding: quoted-printable Message-Id: References: To: caml-list X-Mailer: Apple Mail (2.1878.6) X-Validation-by: jocelyn.serot@uca.fr Subject: [Caml-list] [ANN] Release 2.8.5 of Caph, a functional/dataflow language for programming FPGAs Reply-To: =?iso-8859-1?Q?Jocelyn_S=E9rot?= X-Loop: caml-list@inria.fr X-Sequence: 16877 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Dear Ocaml users, It is my pleasure to announce the latest release (2.8.5) 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 ;) Source code and pre-compiled binaries for Mac OS and Windows can be downloa= ded from the web site (http://caph.univ-bpclermont.fr) or via Github (githu= b.com/jserot/caph). JS --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs=