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 DA5105D5 for ; Mon, 30 Apr 2018 15:17:57 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,346,1520895600"; d="scan'208";a="325146403" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 Apr 2018 17:17:49 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0DE808244F; Mon, 30 Apr 2018 17:17:48 +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 B9B688240C for ; Mon, 30 Apr 2018 17:17:06 +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=3AwtsOnh3XPBenGQDAsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seMVK/ad9pjvdHbS+e9qxAeQG9mDsLQc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q99pHPbQhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb5Sq06WSm576dzVhDnlD?= =?us-ascii?q?sHOTA+8GHSkMNwjaRbqw+lqxFwx4PYZYeYP+d8cKzAZ9MXXXZOUclMWSJBAIyy?= =?us-ascii?q?YYQBAekPPehGqIfwvEcOrQK7BQWwBOPj1iJEi3nr1qM6yeQhFgTG0RQkEdIJrH?= =?us-ascii?q?vbstH1NacUUe+t0afP1y/Db/RK2Tzg74XIcBchru2SUrJ0ccvRz1MjFxjbgVWK?= =?us-ascii?q?rozlIyiY1vkRvGeB9eZgW/ivhnchpgpsrDavwcIshZPIhoIT0l3E8jl2z5wwJd?= =?us-ascii?q?28UkJ7ZsSkEJRIuyGHK4R5WNkuQ29yuCoiy70Gv4S7fCkQx5g9yR7fceSLc4eS?= =?us-ascii?q?4h35TOaRISl4hHNkeb6lgBay60egxvXnVsmzzVZKtDZKncfCtnAKzRzT5daIRu?= =?us-ascii?q?F7/ki/xTaDzw/T6uBYIUA0iKrUMIQtzaI3lpoWqUjCHjX5mEXxjK+RbEkr5u+o?= =?us-ascii?q?6+Hhb777pZGcL5d5hhz6P6kggMCyDuA1PhITU2SG++mwzqPv8VDhTLhJjfA6iL?= =?us-ascii?q?TVvZHVKMgBoqO1HRVZ3pgj5hqjCTqtzc4WkmMdLF1ffRKKl4jpNE/KIPD/Ffq/?= =?us-ascii?q?hkisny13y/zYJLHhH4jCIWLGkLj7fLZ971RQyAQpzdxH5pJUDK8OIO7rV0PssN?= =?us-ascii?q?HVAAU1PgOwzur9Fdlxy4ETVXiRDqOEKK/StEWH5uMrI+mCfo8VvzP9JuAn5/7p?= =?us-ascii?q?kXA2h1sdfKmv3ZcNc3C3AO5mI0KFYXf3n9cODX0FshAwTOzwkFGCSyJcZ26uX6?= =?us-ascii?q?Ig4TE2EJ6pAp3GRoCpmbCB2Ca7HoZKZm1dEVCNEXLod52eVPsWaSKSJNVhkj0e?= =?us-ascii?q?WrS7RY8hz0LmiAivwLNiKqKA8SQdsdfn1cNpz+zVjxA7szJuWZezyWaIGkNzlW?= =?us-ascii?q?4MVjkB5yFlplA1nlWE2qV8kvoeDtFJ4O9hTwwzc5DGmb8pQ+vuUx7MK4/aAG2t?= =?us-ascii?q?Rc+rVG1gF4Nj85o1e094Xu6aoFXG1iuuDaUSkuzZGZc9tKzGjSGoe5RNjk3e3a?= =?us-ascii?q?xktGEIB9NVPD30m6V2sQbJVdaQzhep0p2yfKFZ5xbjsWeOyW3X7BNdTAcoC+PY?= =?us-ascii?q?UXkab0rS69rjtBvP?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AsAQC5MudahxV1McFcFgQBAQEBAQIBA?= =?us-ascii?q?QEBCAEBAQGEJAN3KIxMjByBUyGBD4FAiXSHdIFkCyOESQKCcxkHAQQ0FAECAQE?= =?us-ascii?q?BAQEBAQEBEwEBAQoLCQgoIwyCNQyCaAECAQEBbhALCyUhRQQBDQYTEoRlAw0MA?= =?us-ascii?q?QqqAIRYgi4DgTWCR4gWghOBDyMMglyCegwLAgEBAoEkOIMwgiQChg4IgRyQYAh?= =?us-ascii?q?whHSKWIVdhQmJPIQuglKBIwIzgXN0TCoBghgJNYFwg06BPoMbO4VAbQGQQwEB?= X-IPAS-Result: =?us-ascii?q?A0AsAQC5MudahxV1McFcFgQBAQEBAQIBAQEBCAEBAQGEJAN?= =?us-ascii?q?3KIxMjByBUyGBD4FAiXSHdIFkCyOESQKCcxkHAQQ0FAECAQEBAQEBAQEBEwEBA?= =?us-ascii?q?QoLCQgoIwyCNQyCaAECAQEBbhALCyUhRQQBDQYTEoRlAw0MAQqqAIRYgi4DgTW?= =?us-ascii?q?CR4gWghOBDyMMglyCegwLAgEBAoEkOIMwgiQChg4IgRyQYAhwhHSKWIVdhQmJP?= =?us-ascii?q?IQuglKBIwIzgXN0TCoBghgJNYFwg06BPoMbO4VAbQGQQwEB?= X-IronPort-AV: E=Sophos;i="5.49,346,1520895600"; d="scan'208";a="263843514" Received: from mta02.udamail.fr ([193.49.117.21]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 30 Apr 2018 17:17:05 +0200 Received: from mta02.udamail.fr (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTPS id 40ZSnY37ZBzBrKB for ; Mon, 30 Apr 2018 17:17:05 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTP id 40ZSnY2lvqzBrMD for ; Mon, 30 Apr 2018 17:17:05 +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 ukLrHsWPAx7F for ; Mon, 30 Apr 2018 17:17:05 +0200 (CEST) Received: from proxy01.udamail.fr (unknown [193.49.117.26]) by mta02.udamail.fr (Postfix) with ESMTPS id 40ZSnY26PDzBrKB for ; Mon, 30 Apr 2018 17:17:05 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy01.udamail.fr (Postfix) with ESMTP id 40ZSnY1hc8zBnCJ for ; Mon, 30 Apr 2018 17:17:05 +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 KT_a8Sxq80cW for ; Mon, 30 Apr 2018 17:17:04 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy01.udamail.fr (Postfix) with ESMTP id 40ZSnX2dfgzBnCL for ; Mon, 30 Apr 2018 17:17:04 +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 FW6D3SeLGo5T for ; Mon, 30 Apr 2018 17:17:04 +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 40ZSnX0NlYzBnCJ for ; Mon, 30 Apr 2018 17:17:03 +0200 (CEST) Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) From: =?iso-8859-1?Q?Jocelyn_S=E9rot?= In-Reply-To: <5C26D4F7-6BA6-48B4-A6A1-5FB19254377C@uca.fr> Date: Mon, 30 Apr 2018 17:17:02 +0200 Content-Transfer-Encoding: quoted-printable Message-Id: <5E5C22E9-7683-4955-8F79-218099EEF282@uca.fr> References: <5C26D4F7-6BA6-48B4-A6A1-5FB19254377C@uca.fr> To: caml X-Mailer: Apple Mail (2.1878.6) X-Validation-by: jocelyn.serot@uca.fr Subject: Re: [Caml-list] [ANN] Rfsm 1.0 Reply-To: =?iso-8859-1?Q?Jocelyn_S=E9rot?= X-Loop: caml-list@inria.fr X-Sequence: 16866 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 just to announce that the OPAM package (including the library and t= he CL compiler) is now available at https://opam.ocaml.org/packages/rfsm Thanks for the OPAM maintainer(s) for the help during the publication proce= ss. JS Le 23 avr. 2018 =E0 11:14, Jocelyn S=E9rot a =E9crit= : > Dear list, >=20 > This is my pleasure to announce the availability of the first public vers= ion (1.0) of Rfsm, a toolset for describing and simulating StateChart-like = state diagrams. The toolset is composed of >=20 > - an Ocaml library > - a command-line compiler > - a Qt-based GUI application >=20 > 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 >=20 > and generate > - a graphical representation of the system (to be viewed with Graphviz = (http://www.graphviz.org) for example) > - execution traces as `.vcd` files (to be viewed with Gtkwave (http://g= tkwave.sourceforge.net) for example) >=20 > Additionnaly, dedicated backends can generate system descriptions in > - CTask (a C dialect with primitives for describing tasks and event-bas= ed synchronisation) > - SystemC > - VHDL > for simulation of implementation. >=20 > The Rfsm compiler is, of course, written in OCaml. >=20 > DOCUMENTATION > ------------- >=20 > The project web page (including links for downloading the tools) is at ht= tp://cloud.ip.uca.fr/~serot/rfsm. >=20 > The user manual can be downloaded here : http://cloud.ip.uca.fr/~serot/rf= sm/dist/rfsm.pdf. >=20 > The library API is documented here : http://cloud.ip.uca.fr/~serot/rfsm/d= oc/lib/index.html. >=20 > INSTALLATION > ------------ >=20 > Prebuilt Windows and MacOS versions can be downloaded from the project we= bpage >=20 > Source code is available from the project webpage or via (`git clone htt= ps://github.com/jserot/rfsm`). >=20 > An OPAM package (including the library and the command-line compiler) is = in preparation. >=20 > Feedbacks, comments, bug reports welcome ! >=20 >=20 >=20 >=20 > --=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 --=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=