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 999655D5 for ; Mon, 23 Apr 2018 10:33:14 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,317,1520895600"; d="scan'208";a="324060529" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 23 Apr 2018 12:33:13 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 35D6B82445; Mon, 23 Apr 2018 12:33:13 +0200 (CEST) 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 1868282416 for ; Mon, 23 Apr 2018 12:32:59 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=kakadu.hafanana@gmail.com; spf=Pass smtp.mailfrom=kakadu.hafanana@gmail.com; spf=None smtp.helo=postmaster@mail-ot0-f170.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AkgwXbhL3DNVIp3uCA9mcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgfL/3xwZ3uMQTl6Ol3ixeRBMOHs6kC07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffwtFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QKsqUjq+8ahkVB7oiD?= =?us-ascii?q?8GNzEn9mHXltdwh79frB64uhBz35LYbISTOfV5Y63dYMgaRXJfUclNSyxPDIS8?= =?us-ascii?q?b44VAOoAO+ZTso3xqlQKoBe7AwSnGeHhxSJShnLu36I63eQvHw/F0gI9AdwBrH?= =?us-ascii?q?vaoc7pNKcLS+250LXEwSnBYv5QxDzz6JLIchckofyUWLx/a8nRxlMyGAPYk16d?= =?us-ascii?q?ro/lMCmW1usXrmeb8vBsVeK1hG4psQ5xpCKgxsE2hYTSiYIVz0rL9SR9wIovOd?= =?us-ascii?q?K4T0t7bMeiHZBNuS+aMI52TdkjQ2FuoCs616EJtoShcCgE0pQr3x/fa/qdc4iJ?= =?us-ascii?q?+B3vTuiRIS1giHJqYrKwnQ6y8Ui+yu39V8i4ylFKrjBKktXUrXAN0AHT6tKbRf?= =?us-ascii?q?Rj8Eeh3iyP1w/N5e1eJ0A7i7bbJ4Yuwr4xipoTsVnDETTslErqi6+Wc10o++iy?= =?us-ascii?q?5OTnZbXmoYWQOJNzigH7NKklh8+xAfwgPwUMUGWX4/mw2KPj8EHjQ7hGkOc6nr?= =?us-ascii?q?TbvZzGI8kQu7S3DBVP0ok57hayFzem38ocnXkANF9FfQiIj4ntO13XJ/D4Eeuz?= =?us-ascii?q?j02ikDt2xf3KIqftAprKLnjEn7fheahy51RAxwo0yNBT/5NUCrcfL/LvQkL8tt?= =?us-ascii?q?PVAgUkPwCqw+vrEtZw2p0EVW6SAKKVLLvesVqS6eIuJ+mMapUVuDH4K/U95P7h?= =?us-ascii?q?l3w5lkUAcqm0x5cXaGq3Hvp8LEWfe3XshM0OHHwFvgo7VuPqiVmCXSRPaHa1Wq?= =?us-ascii?q?Iw/is7B56+DYffWoCth6SM0zuhEZ1TYmBKE1SMEXbzd4WYQPoMcyKTIsp5kjMe?= =?us-ascii?q?T7ShSokh1QuvtADg0bZnIPDUqWUkssfB09N44/zVoiqz7ztoR5Cf1GqAS3By2H?= =?us-ascii?q?gFXTgq9L10qApz0AHQ/7J/hql7HN9a6+4BBgQzNpfQ0qp6At77XAvHd/+GTV+n?= =?us-ascii?q?RpOtBjRnHYF5+MMHf0soQ4bqtRvExSf/RuJMzu3ZNNkP6qvZmkPJCYN4wnfC2r?= =?us-ascii?q?MmigB/EMRKPGyiwKV48lqKXtKbowCij6+vMJ8k8mvV7m7alDiBuUhZVEh7VqCX?= =?us-ascii?q?BSlCNHuTlszw4wb5d5HrCbkjNVEfm8uLK68PbcGxyFsfG6+lN9PZbGa83Wy3AE?= =?us-ascii?q?TQyw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DzAQCxtd1ahqpSfUpcFggBBgyDZz16K?= =?us-ascii?q?AqDYINtkQuBdAKBDYFAhhCDWodWFIFkCyOERAICAoJZBxkHAQQwGAECAQEBAQE?= =?us-ascii?q?BAQEBEwEBAQgLCwgoIwyCNSSCSgECAQIjHQEbEgsBAwwGBQsNAgIJHQICIgERA?= =?us-ascii?q?QUBCgQBDQYTEoRkAQMVD5wxPIsFgX8FAReCcAWDRwoZJgMKVFeCJgIGEneHA4I?= =?us-ascii?q?TgQ+DC4J6DAsCAQECgSQ4gwCCVAKGDAiBG4U3hAKHCwiCNYMniGSBb1qKBYk2h?= =?us-ascii?q?mgPAx6BBByCCk0jUDGCEgmCCxqDToE+gxs7hUE8MAGQYQEB?= X-IPAS-Result: =?us-ascii?q?A0DzAQCxtd1ahqpSfUpcFggBBgyDZz16KAqDYINtkQuBdAK?= =?us-ascii?q?BDYFAhhCDWodWFIFkCyOERAICAoJZBxkHAQQwGAECAQEBAQEBAQEBEwEBAQgLC?= =?us-ascii?q?wgoIwyCNSSCSgECAQIjHQEbEgsBAwwGBQsNAgIJHQICIgERAQUBCgQBDQYTEoR?= =?us-ascii?q?kAQMVD5wxPIsFgX8FAReCcAWDRwoZJgMKVFeCJgIGEneHA4ITgQ+DC4J6DAsCA?= =?us-ascii?q?QECgSQ4gwCCVAKGDAiBG4U3hAKHCwiCNYMniGSBb1qKBYk2hmgPAx6BBByCCk0?= =?us-ascii?q?jUDGCEgmCCxqDToE+gxs7hUE8MAGQYQEB?= X-IronPort-AV: E=Sophos;i="5.49,317,1520895600"; d="scan'208";a="324060418" Received: from mail-ot0-f170.google.com ([74.125.82.170]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Apr 2018 12:32:57 +0200 Received: by mail-ot0-f170.google.com with SMTP id h8-v6so16609859otj.7 for ; Mon, 23 Apr 2018 03:32:57 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=q9CsSwEbP7wldvMQYqlJgJ/tSV3hMaf57GEjwsqhuh8=; b=SG3uZ17csAC7uUgY5rub2EhOGJFTQltJGmvtmJwrtvR2OI5nHVzgQSspio6MIxhDz5 v5Pf6lVyUG5Uxxdd+8tlwPogyKSqwLcEOlTi9K2yr/qIgt9aQr06TrpHXKfVUT+daFWA E8ooB4n9UXK+i+iJy2p/6+1a5uQf2/ze7UpQhdaZq9lZEsjpAp1qnHu8mrzP3ovyaQwQ uzoSqO37IkmzwC4nuWDeL3HvJMVqC3VF4xPt9KNqEJ19J0ueA6nMhh9Fd4Hqn3T5+IBy HgJYo+PfFXOlhUBGJpzVpcWhoBdoYCfUSMd+B3s+rDJpTFNRLpm580TxkO/VHUw5hoWJ /FGA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=q9CsSwEbP7wldvMQYqlJgJ/tSV3hMaf57GEjwsqhuh8=; b=dSwfUfg0Xy5YZ8xrIDrTtm62X5X0W0QnYiTWLHqaMjFKFhtTidKEc/xSt45nwAvkd7 gqbu45nCfReBqZvSCe6EOmSjPJOE1ZoIKEl1Z31GuH0ChQwsbLeti+sVQWRrYjwcf/7h z+3gL4/BoGW7X4bq4F3Enhv/jwUzSlgdPxavcEebEZl2EbFxANeFcOYArJ76a/oEaILu 3C5H9kHNICT1C3czw+RaRrHzXA2toMEwfd2CYC2s4Nmg+CK2M2HMGWnsHgeaNsmt4EQJ RDKwSegeS7QgmG8Qcw5EAIpvxGQ/Xo+mGPs5ia988dNWuglzoJKxZErJ/wlF4eWMyTY6 V8tQ== X-Gm-Message-State: ALQs6tC1OH8YYcbVekfoD6dnvqsQ9WoSG83e4GUEVejDS5KWUatmRx60 KC+bgMOb3eeFquREvcwcN9IwY/5cvOYb3uH22K4= X-Google-Smtp-Source: AIpwx4+A6mq9tKbNsbwUMJA9RSRZ2RKKyNKHImsZtTNq85tzPUFvpUgt/8UMHjVechLb4v9wncRsFghTC6ghHehfrf0= X-Received: by 2002:a9d:ef:: with SMTP id 44-v6mr12945513otk.164.1524479576843; Mon, 23 Apr 2018 03:32:56 -0700 (PDT) MIME-Version: 1.0 Received: by 10.201.27.139 with HTTP; Mon, 23 Apr 2018 03:32:36 -0700 (PDT) In-Reply-To: <5C26D4F7-6BA6-48B4-A6A1-5FB19254377C@uca.fr> References: <5C26D4F7-6BA6-48B4-A6A1-5FB19254377C@uca.fr> From: Kakadu Date: Mon, 23 Apr 2018 13:32:36 +0300 Message-ID: To: =?UTF-8?Q?Jocelyn_S=C3=A9rot?= Cc: caml Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] [ANN] Rfsm 1.0 Reply-To: Kakadu X-Loop: caml-list@inria.fr X-Sequence: 16846 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: Jocelyn, As you have Qt GUI you probably already have some interfacing with Qt SCXML, right? Happy hacking! On Mon, Apr 23, 2018 at 12:14 PM, Jocelyn S=C3=A9rot = wrote: > Dear list, > > 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 > > - 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 = (http://www.graphviz.org) for example) > - execution traces as `.vcd` files (to be viewed with Gtkwave (http://g= tkwave.sourceforge.net) for example) > > 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. > > The Rfsm compiler is, of course, written in OCaml. > > DOCUMENTATION > ------------- > > The project web page (including links for downloading the tools) is at ht= tp://cloud.ip.uca.fr/~serot/rfsm. > > The user manual can be downloaded here : http://cloud.ip.uca.fr/~serot/rf= sm/dist/rfsm.pdf. > > The library API is documented here : http://cloud.ip.uca.fr/~serot/rfsm/d= oc/lib/index.html. > > INSTALLATION > ------------ > > Prebuilt Windows and MacOS versions can be downloaded from the project we= bpage > > Source code is available from the project webpage or via (`git clone htt= ps://github.com/jserot/rfsm`). > > An OPAM package (including the library and the command-line compiler) is = in preparation. > > Feedbacks, comments, bug reports welcome ! > > > > > -- > 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=