From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: "Dr. Arne Babenhauserheide" Newsgroups: gmane.lisp.guile.user Subject: Re: [ANN] Guile-SMC 0.6.2 released Date: Fri, 11 Aug 2023 11:52:40 +0200 Message-ID: <87pm3tzyzo.fsf@web.de> References: <87350prkjb.fsf@gmail.com> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="12658"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: mu4e 1.10.5; emacs 29.0.92 Cc: guile-user@gnu.org To: "Artyom V. Poptsov" Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Fri Aug 11 11:54:21 2023 Return-path: Envelope-to: guile-user@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1qUOqb-00039L-K2 for guile-user@m.gmane-mx.org; Fri, 11 Aug 2023 11:54:21 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qUOpx-0001mP-LV; Fri, 11 Aug 2023 05:53:41 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qUOpv-0001mE-UF for guile-user@gnu.org; Fri, 11 Aug 2023 05:53:40 -0400 Original-Received: from mout.web.de ([217.72.192.78]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qUOpu-0000LU-3D for guile-user@gnu.org; Fri, 11 Aug 2023 05:53:39 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=s29768273; t=1691747613; x=1692352413; i=arne_bab@web.de; bh=V9IXqt30w2Azulm383YolyjZtS/SNZY5bpY6tpj78IE=; h=X-UI-Sender-Class:References:From:To:Cc:Subject:Date:In-reply-to; b=pFNYOZv8lvKkXPfIRGQH+p46G7zLXMqOb5C/7e88/P+JjD6MNPuSWww83ghRmexSD/XsXHz ZIDxtPygjL1lJVAeceW5roJN0UZ7zycdLasBr9W/uEt1MCf37NrN0L1eFLB+titKYVN2jgEmW IRPZiOoe1+ND0auwzd6sll1G7PiL+Q2TREAjvJxo2MZmXFR2MDkKLeHlZwc/ytcaaz8vT4fT8 ch+6rpxG8J5FPlPpkn4PSEdGSphCKlh6HzLON869oPzavVH4TbgYVGaol6SMqrjbP+PuL1ahb I8DJ6sCVfjjBM45iet+mdUUMp7TBl0oOUzsjZkpKwz5X/AHgaUgg== X-UI-Sender-Class: 814a7b36-bfc1-4dae-8640-3722d8ec6cd6 Original-Received: from fluss ([84.165.27.117]) by smtp.web.de (mrweb105 [213.165.67.124]) with ESMTPSA (Nemesis) id 1MNOQy-1qA9Dj0b7K-00P8Tf; Fri, 11 Aug 2023 11:53:33 +0200 In-reply-to: <87350prkjb.fsf@gmail.com> X-Provags-ID: V03:K1:CwyPBXpTE2beZJJPM3ID3lr9nkh0d6TR9/TVxw3DG26Ij9+qR8Y NWboYtN53ipMr2svictFr6SKpQP5PBMB++vstRQX6utmY3q3h1tH530xc0SqQNdeZkWwoQg PZBoJglfYw/+iBPWdASguXkU6lahQ3byXsIAgdcMvJDuuyRxH88hBZwXj0T3qexeEb8JFSa 9OV3JkMGKRGPDROaqx4rA== UI-OutboundReport: notjunk:1;M01:P0:2F9TzXpk/+I=;KZBjEtL09vfxqKYylpxgYUAEQ3R C5wJAzWgB5fcjI0m3ahW+0pVpwSrabeJUgf/TOf5i7wx/kLPwETXPKV5haF5dwZLHY7MiuM7i M/FEPHgFuOdKmTRYZjCykhPthWdb5u/Cn4T1s4KDcV3BkMv5JktWxUG0jPFHw8Cx7qHWQ9jvO HP4RM6ru/xRPGVr5sxe6NSqTgmjb2X/b7OcLrKz7AbFKMwBrnhKiDPRymocHDF4k7XrN1iLPy LpCxoK8RHyEtNj94AZ1AnmZUSi2o+O+0bWPmk8qrMWvvSMX8jLlVB+0cTFrzr90yknpaQ+ZQx oOUja1LeH2Jv1KZAC1CNIbx+qpsWUPhmirHkzkRQq73fdjiSXGHRsd/nm3n8aplH5lds8Pqcf OfJKA5o4H5PkEeklfpaAyTkWBSSvsLVR/rI//p9bnXS8G35oVCB8MLUczwbsdKDchZZ8yoZnb pUBz2goN6GadXNFOLLgeRof1X18eylJ4npzgUaTfCgd/uXqDEw3iwXGWEjbvINNmznsMCvQaA OVqsX/lev/e0EJCu1gLGK55Oo6SOKzTGaRlpfu0QfQHkKm/SseK6BAgBryHnj1X2nD+OgCXbO IkXm046Rg/9mM6teItcfkeDY95nmX8C07pqOZydKVnk9favHwsMnGc/VSHosNhROJaMG/J+u9 Iz/L1ljyBTcaLu6LCwahTAUPWLNvhMPqeq6mrYF+vh6sm9Ng5mgLN+lFrUV1F2fm94O6om8fp 2xD+ma+0vswLcs9J3fYDu6CQNN2Ne1Dwkg48I5TC4yvw8tqDYhBphndPf5i7wUHRixRCl3wm Received-SPF: pass client-ip=217.72.192.78; envelope-from=arne_bab@web.de; helo=mout.web.de X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H5=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Original-Sender: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.lisp.guile.user:19147 Archived-At: --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable "Artyom V. Poptsov" writes: > I'm pleased to announce Guile State Machine Compiler (Guile-SMC), version > 0.6.2: > https://github.com/artyom-poptsov/guile-smc/releases/tag/v0.6.2 Very cool! > This release fixes some new-found bugs, namely in the state-machine > profiler. Also now it's possible to specify "pre-action" and > "post-action" procedures in PlantUML "legend" block. > - A transition table can be verified and checked for dead-ends and > infinite loops. Can Guile-SMC be used as a linter for plantuml? Best wishes, Arne =2D-=20 Unpolitisch sein hei=C3=9Ft politisch sein, ohne es zu merken. draketo.de --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJEBAEBCAAuFiEE801qEjXQSQPNItXAE++NRSQDw+sFAmTWBRwQHGFybmVfYmFi QHdlYi5kZQAKCRAT741FJAPD67UJD/413mfX43TrjQy/s11HzoeleeDP7JhJMbMU ZCkzOSSXr5xWgpO9zLYG2AWwQO7urO0U546sAVKq7+lCU94lV1D2La2/EO0CZrPu VWibD1ArJlhecLGMOQhrrFu0Jj3/9j3aadzQhundFJ7/APsYPVwScs0YUYbc0j2h eusLA+o9SLgJI36+SCJHOI0491EuXbidjVuRLomdN9yZZI6CEAnCKRjvcbl6uKOc cZpNlyWdiSYpLRTpJm5f860AzeHvnsHz1YA6AIaAZyqN7bQ/bm0cTXnFyJkZQs3Q c6VUcUShrmbhsKGJTwLqje1233Z95HAPZDSSXeFBswcciMXUbMwNUJ2ulIgxB9cM jLiF3pQzwvLxGkMRC10fuhSbNmd+bj1zD+0t85InSH8xHr129v2xfQ2HV85u66MS MF96uGRRhRNvStKzJDdu2hWFGLvR+yTVdf+hQtkuwEHWLpUWiARnTx2Jp86Y9TQD 79XPIxxVoL/sQ/1dX+guZX1YJspK6ncO5eGVwnpuJJDJG75Z0X2Xhw4vg5nbJm/y k4MAXqyWRjKAxCAzbErJKPzWGydC1Pt1LJURw8etBhjcAbQiiWycA8mpDOcrNsrH z+rL8Bsc/B6FkLZlvKkmPpELv1FWfrKwPTqjZZj6tLQYBy4svUT3fom79ec9YbKD bJjU3DI/EojEBAEBCAAuFiEE3Si95tmHXKvOSosd3M8NswvBBUgFAmTWBRwQHGFy bmVfYmFiQHdlYi5kZQAKCRDczw2zC8EFSIlnA/9XV6lA6C5Pr2sPSwL+WjLKmxs4 q5ElYJb3GU8j6KUP4Lfzr+kZd1xzagJOM4OeDpGdYC3Sur/ynx38qeSnqLbh506v UeFGtlHPPLtpQHHLrZmhvndpvcl/rPO7bR/SrRbyzaSj9QaEfjezLTOzzIMC4P6k xsWGaCwDMYvY24O1hw== =40Nn -----END PGP SIGNATURE----- --=-=-=--