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 23C128236E for ; Tue, 7 Nov 2017 18:40:45 +0100 (CET) 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=3A93cgXRWLDKxJ3CpuswJ8Ge0xCXXV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYZRyEt8tkgFKBZ4jH8fUM07OQ6P+wHzFYqb+681k8M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aSV3DMl9+?= =?us-ascii?q?L+HxUpPJgt6sn7S58pjXJgFJnyaVYLVoLRzwox+H5ecMho43CKE6xx/YpExz+v?= =?us-ascii?q?5R2Ss8B1WYkhLt4IGL8YRk7wxNvfM/ssRYWqH3ZaE/S6AeAi5wYDN939HiqRSW?= =?us-ascii?q?FVjH3XAbSGhDyhc=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CWBQDp7wFahxV1McFdHAEBAQQBAQoBA?= =?us-ascii?q?YQIEANrJ48QjjKaVgolig9DFAEBAQEBAQEBAQESAQEBCA0JCCgvgjgihQKKOgE?= =?us-ascii?q?LmR+SOYsXCwEBAQEBIoMwggeDZotcgjIFohaBAYZljyxfhSWDYIc9AoxnhXmDQ?= =?us-ascii?q?IE3AjaCEn6BBwGCNglAgiOBdHYBAYxYAQEB?= X-IPAS-Result: =?us-ascii?q?A0CWBQDp7wFahxV1McFdHAEBAQQBAQoBAYQIEANrJ48QjjK?= =?us-ascii?q?aVgolig9DFAEBAQEBAQEBAQESAQEBCA0JCCgvgjgihQKKOgELmR+SOYsXCwEBA?= =?us-ascii?q?QEBIoMwggeDZotcgjIFohaBAYZljyxfhSWDYIc9AoxnhXmDQIE3AjaCEn6BBwG?= =?us-ascii?q?CNglAgiOBdHYBAYxYAQEB?= X-IronPort-AV: E=Sophos;i="5.44,359,1505772000"; d="scan'208";a="299772586" Received: from mta02.udamail.fr ([193.49.117.21]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 07 Nov 2017 18:40:23 +0100 Received: from mta02.udamail.fr (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTPS id AB6FF16003E for ; Tue, 7 Nov 2017 18:40:22 +0100 (CET) Received: from localhost (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTP id 9DDAD160044 for ; Tue, 7 Nov 2017 18:40:22 +0100 (CET) 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 UzmnZWOnubkV for ; Tue, 7 Nov 2017 18:40:22 +0100 (CET) Received: from proxy01.udamail.fr (unknown [193.49.117.26]) by mta02.udamail.fr (Postfix) with ESMTPS id 8BDD216003E for ; Tue, 7 Nov 2017 18:40:22 +0100 (CET) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy01.udamail.fr (Postfix) with ESMTP id 8039B15E053 for ; Tue, 7 Nov 2017 18:40:22 +0100 (CET) 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 J1uUTAUVVJ3f for ; Tue, 7 Nov 2017 18:40:21 +0100 (CET) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy01.udamail.fr (Postfix) with ESMTP id 56D4E15E056 for ; Tue, 7 Nov 2017 18:40:21 +0100 (CET) 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 3VU1_QxV9A0U for ; Tue, 7 Nov 2017 18:40:21 +0100 (CET) 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 1B91115E053 for ; Tue, 7 Nov 2017 18:40:20 +0100 (CET) From: =?windows-1252?Q?Jocelyn_S=E9rot?= Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable Message-Id: <9664A23D-010B-40E4-A8BC-5AE273EE50D6@univ-bpclermont.fr> Date: Tue, 7 Nov 2017 18:40:25 +0100 To: caml users Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) X-Mailer: Apple Mail (2.1878.6) Subject: [Caml-list] [ANN] LASCAr - A library for manipulating Labeled Transition Systems I'm pleased to announce the first release of LASCAr, an OCaml library for m= anipulating Labeled Transition Systems. The library provides, in particular, functions for - building and inspecting models of such systems - generating graphical (`.dot` format) and text (`.tex` format) representat= ions - computing execution trees and displaying them in graphical or text format - computing the product (in various flavors) of such systems Its provides implementations both for "generic" LTS (with or without state = attributes) and for "specialized" versions such as - deterministic and non-deterministic finite automata (DFA, NFA), - Mealy and Moore automata - Finite State Machines (FSMs) The source code, documentation and some examples can be downloaded from Git= Hub at :=20 https://github.com/jserot/lascar For a quick glance, some annotated code snippets are available here http://htmlpreview.github.io/?https://github.com/jserot/lascar/blob/master/= doc/examples/examples.html The API is documented here=20 http://htmlpreview.github.io/?https://github.com/jserot/lascar/blob/master/= doc/api/lascar.html Contributions are welcome since this kind of library is, due to pervasive n= ature of LTS, highly extensible in many ways. [please note that, since i=92m new to GitHub, any advice on how to handle t= his would be appreciated]. J. S=E9rot=