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 9E54D5D5 for ; Mon, 23 Apr 2018 09:16:17 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,317,1520895600"; d="scan'208";a="324045613" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 23 Apr 2018 11:15:51 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1D65382444; Mon, 23 Apr 2018 11:15:51 +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 8F47682416 for ; Mon, 23 Apr 2018 11:14:38 +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=3AfoQTGBJVloig0RaOkdmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgeKfzxwZ3uMQTl6Ol3ixeRBMOHs6kC07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffwtFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflhi?= =?us-ascii?q?cbODA27W/ZicJ+grxUrxymvBF/35fUYISJOPp+Yq/RY9UXTndBUMZLUCxBB5ux?= =?us-ascii?q?YY8ID+UdI+lYq4n8p10WohWjHw6sHuTvyiNVjXLx36061PguHh/C3A0gGdICqm?= =?us-ascii?q?/Uo8vvNKcVTeC417TIwinZYP9M1zf98pHFfxY8qv+CWrJwdNDeyUgpFw7dk1Wf?= =?us-ascii?q?tZbqMymb1uQXq2Sb4PBgWvi3i24ntQFxozmuyt0rionTiYIZ0kvE9SJkwIYvOd?= =?us-ascii?q?K3VkB7Ydm+EJtfqS6WLY12Td0+Q21wtyY6y6EGuZ6mfCcR0pgo2xnfa/mBfoOV?= =?us-ascii?q?4RzjTP6cLSp8iX9rYr6yiBK//VK9xuHhVMS4ykhGojddntXRsn0A2Qbf58iIR/?= =?us-ascii?q?dn/kqtxSyD2x7T5+1YJ00/iLDVJIQ7wrEqk5oeqUTDETHymEXxlKKWc1kk9fK0?= =?us-ascii?q?5+j5eLnmu4KTOJVxig7kM6QuntazAeoiMgQWXmib//qz1KH78EHkRLhHgOc6n6?= =?us-ascii?q?bdvZzAOMgXu6y0DxVL3oo+8xq/Ci2p0NUcnXkJNlJFfxeHgpDrO1HJPP/3E/O/?= =?us-ascii?q?glSqkDtx3PDJIKfhApLRLnXYjbfuYaxy51RSyAop1dxf/Y5bCqkdIPLvXU/8rM?= =?us-ascii?q?DXAQU8Mwyw2urnDNR91pgCWW+UGa+YMKbSsUeS6e41IumMYpUVuDfnJPQ/6f7u?= =?us-ascii?q?lyxxpVhIdqCs2dNDY3m9GrFiIl6FSXvqmNYIV2kQ6FkQVuvv3X+FWjNXdnCFZC?= =?us-ascii?q?Mm4S1zXIChBorHV4brm7Gb2zuTA5ZfIG5cXAPfWUz0fpmJDq9fIBmZJdVsx2Rd?= =?us-ascii?q?BOqRDrQ53BTrjzfUjr9uL+7a4Cod5cD+39Ez6feBzEhupwwxNNyU1iS2d08xhn?= =?us-ascii?q?kBF20r16k5r1Yvkg7eg5g9uORREJlo390MUgo+MseMnelmAoioHB/Nd9KASVLg?= =?us-ascii?q?TM/0WTw=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AWCACtot1ahxV1McFcFoQ/A3cojEqMG?= =?us-ascii?q?IMDgxeIE4dqgWQLI4cfGQcBBDQUAQIBAQEBAQEBAQETAQEBCgsJCCgjDII1IoJ?= =?us-ascii?q?QPIFpAROFJgEKmSuQeoRYg2WCLogMghOBDyOFYgwLAgEBAoEkg2iCJAKHL5BEC?= =?us-ascii?q?HCEbIpThVuFAwGJNoQlglKBIwIzgXN0TCoBghgJNYFwg06BPoMbO4VAbQGQYQE?= =?us-ascii?q?B?= X-IPAS-Result: =?us-ascii?q?A0AWCACtot1ahxV1McFcFoQ/A3cojEqMGIMDgxeIE4dqgWQ?= =?us-ascii?q?LI4cfGQcBBDQUAQIBAQEBAQEBAQETAQEBCgsJCCgjDII1IoJQPIFpAROFJgEKm?= =?us-ascii?q?SuQeoRYg2WCLogMghOBDyOFYgwLAgEBAoEkg2iCJAKHL5BECHCEbIpThVuFAwG?= =?us-ascii?q?JNoQlglKBIwIzgXN0TCoBghgJNYFwg06BPoMbO4VAbQGQYQEB?= X-IronPort-AV: E=Sophos;i="5.49,317,1520895600"; d="scan'208";a="262970397" Received: from mta02.udamail.fr ([193.49.117.21]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 23 Apr 2018 11:14:37 +0200 Received: from mta02.udamail.fr (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTPS id 40V14Y43znzBrLK for ; Mon, 23 Apr 2018 11:14:37 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTP id 40V14Y3XZCzBrLN for ; Mon, 23 Apr 2018 11:14:37 +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 3UpB8DXVjgDo for ; Mon, 23 Apr 2018 11:14:37 +0200 (CEST) Received: from proxy02.udamail.fr (unknown [193.49.117.27]) by mta02.udamail.fr (Postfix) with ESMTPS id 40V14Y2k8QzBrLK for ; Mon, 23 Apr 2018 11:14:37 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy02.udamail.fr (Postfix) with ESMTP id 40V14Y1d1pzBvS4 for ; Mon, 23 Apr 2018 11:14:37 +0200 (CEST) Received: from proxy02.udamail.fr ([127.0.0.1]) by localhost (proxy02.udamail.fr [127.0.0.1]) (amavisd-new, port 10032) with ESMTP id wNc3Q1mheHe7 for ; Mon, 23 Apr 2018 11:14:36 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy02.udamail.fr (Postfix) with ESMTP id 40V14X5CGyzBvT4 for ; Mon, 23 Apr 2018 11:14:36 +0200 (CEST) X-Virus-Scanned: amavisd-new at proxy02.udamail.fr Received: from proxy02.udamail.fr ([127.0.0.1]) by localhost (proxy02.udamail.fr [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id 40a_YXbol_hW for ; Mon, 23 Apr 2018 11:14:36 +0200 (CEST) Received: from [172.27.1.164] (unknown [193.54.50.250]) by proxy02.udamail.fr (Postfix) with ESMTPSA id 40V14X4Fc5zBvS4 for ; Mon, 23 Apr 2018 11:14:36 +0200 (CEST) From: =?iso-8859-1?Q?Jocelyn_S=E9rot?= Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Message-Id: <5C26D4F7-6BA6-48B4-A6A1-5FB19254377C@uca.fr> Date: Mon, 23 Apr 2018 11:14:35 +0200 To: caml Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) X-Mailer: Apple Mail (2.1878.6) X-Validation-by: jocelyn.serot@uca.fr Subject: [Caml-list] [ANN] Rfsm 1.0 Reply-To: =?iso-8859-1?Q?Jocelyn_S=E9rot?= X-Loop: caml-list@inria.fr X-Sequence: 16845 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 list, This is my pleasure to announce the availability of the first public versio= n (1.0) of Rfsm, a toolset for describing and simulating StateChart-like st= ate diagrams. The toolset is composed of - an Ocaml library - a command-line compiler - a Qt-based GUI application The provided tools take - a description of a system as a set of StateChart-like state diagrams - a description of stimuli to be used as input for this system and generate - a graphical representation of the system (to be viewed with Graphviz (h= ttp://www.graphviz.org) for example) - execution traces as `.vcd` files (to be viewed with Gtkwave (http://gtk= wave.sourceforge.net) for example) Additionnaly, dedicated backends can generate system descriptions in - CTask (a C dialect with primitives for describing tasks and event-based= synchronisation) - SystemC - VHDL for simulation of implementation. The Rfsm compiler is, of course, written in OCaml. DOCUMENTATION ------------- The project web page (including links for downloading the tools) is at http= ://cloud.ip.uca.fr/~serot/rfsm. The user manual can be downloaded here : http://cloud.ip.uca.fr/~serot/rfsm= /dist/rfsm.pdf. The library API is documented here : http://cloud.ip.uca.fr/~serot/rfsm/doc= /lib/index.html. INSTALLATION ------------ Prebuilt Windows and MacOS versions can be downloaded from the project webp= age =20 Source code is available from the project webpage or via (`git clone https= ://github.com/jserot/rfsm`). An OPAM package (including the library and the command-line compiler) is in= preparation. Feedbacks, comments, bug reports welcome ! --=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=