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.4.0 released Date: Fri, 11 Mar 2022 22:25:23 +0100 Message-ID: <874k44rxiv.fsf@web.de> References: <87v8wk7132.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="39250"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: mu4e 1.6.10; emacs 27.2 Cc: guile-user@gnu.org To: "Artyom V. Poptsov" Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Fri Mar 11 22:26:54 2022 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 1nSmmj-000A2O-Ck for guile-user@m.gmane-mx.org; Fri, 11 Mar 2022 22:26:53 +0100 Original-Received: from localhost ([::1]:57616 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nSmmh-0005Yf-TK for guile-user@m.gmane-mx.org; Fri, 11 Mar 2022 16:26:51 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:47400) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nSmmW-0005YW-US for guile-user@gnu.org; Fri, 11 Mar 2022 16:26:40 -0500 Original-Received: from mout.web.de ([212.227.15.3]:39703) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nSmmV-0004tl-7Y for guile-user@gnu.org; Fri, 11 Mar 2022 16:26:40 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1647033995; bh=F04osUrzRoSk1Vt7/+CoNyXcvUSqPxWNNbN7ByT7Wmc=; h=X-UI-Sender-Class:References:From:To:Cc:Subject:Date:In-reply-to; b=nhNO8X62DbWnfr4bjK2ujHT5SU0dTopOQFLmjKLXyNB9LgBBlkvqFAaGbhd7RgtvF A6mWT6WubLbiW5GdVWAM5mqESxof844GQyk4uzX1BQxKHgMhNPGv6Pvx9CjAeAcDO2 qP47VW528g3upG+cVl6qw268Qw2CIGX7/7APGsMU= X-UI-Sender-Class: c548c8c5-30a9-4db5-a2e7-cb6cb037b8f9 Original-Received: from fluss ([84.149.92.66]) by smtp.web.de (mrweb006 [213.165.67.108]) with ESMTPSA (Nemesis) id 1M9IOZ-1nXRDZ3QFb-006Jiz; Fri, 11 Mar 2022 22:26:34 +0100 In-reply-to: <87v8wk7132.fsf@gmail.com> X-Provags-ID: V03:K1:uzxMwr1073DMCztg8MUsMnGH0zIkeL5bxGEpmc/lvu7fYAN2WBR ke2AdvKDkL76SH7PVAhA7pnMWZuGcq064kJQOocI9+kmPNVYwcq2Q8t6K3CM0uHEpSyX/2d y2YQ1erVrqQSWWyDLFsFL0s5b9VNd4zp0ApFtO+yU8YQ/+q7koNclzpl0UlbqOzGizPTMcF Jp5R9YtSZDb8emdYmgpMQ== X-UI-Out-Filterresults: notjunk:1;V03:K0:bDpk6Fq5OYs=:FG0NiNW/uJ3cq+xnVNcfLt XhDYFFLHXgFiThyUoRLDFO15E2lMvVu7o/zbAm8PCLFO8EUFFfFjX1vTmWSpd63sYjWpMAgfN fzDTAp0qfxb8FD3SBpSgYDiqGSqDjGcATWdyFlK8LiksXcJBBkPdoPqsAxYaqtym8otECXtGA OUlsQ+b2UG6gfaA/4RD7OMeJBS8kn5cs0BqsZ2uvoFa/IbT9DJc4U+5kZOEbB+MPOj1t24Pzw NeLrDfte+IXtoM0E+44wxdGZyYXaT7O+V6RalGVaamyWYboW+QTJt8qSs7apJ4CmolmmPITQH KD0nJTkbz4+WMLS9JnKnMBY1ozPIz4gN0+M3u0chPzlvdeFL7CtCJhecpL8/nhU2uGI8Mx+aI azZC3x9+uZHrnE2WdZMqCKwf6pr89pZrrkQmWwBkekaKaKqSR8zsBde1rzFdGxv/r099Si0vL CmoZqLOtYK2EJ8gEfaYgQXHo/deZV/tbzNR1y2Z8mBZOBLYvGYPuhppYWWKtTuLRHXMT5N3yo 1IZxcfR2mq9g+cS9r1sIJoswvSORvyKf0wDFjUBBhjoboe/Ml1n9RjdDT/8p1Y3FNdsYqxONj 8Ezxg44qgwTNvfM2AYAOBvW5EfTZEtTj+5mXBdltl7wx8cjBOpphBny9Ut5XRclezbIMDtW1W 62he3DP/cYd5SC99V/1vJo0BLiIoYzdWQlNH7XCcZCqaXrK0D463Y0M5Roqbd/CzgBDQ9QHug NXH2YdAHrbe2W+S1rnZlZNh/ynDeVLA0dZBpsxLKWOzLH+ExfNzVeAiIJ3YJ91lwSMPNkGQd Received-SPF: pass client-ip=212.227.15.3; 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_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 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" Xref: news.gmane.io gmane.lisp.guile.user:18197 Archived-At: --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable "Artyom V. Poptsov" writes: > A transition table can be verified and checked for dead-ends and > infinite loops. Also Guile-SMC FSMs gather statistics when they run. =E2=80=A6 > ** Add =3Dguile-standalone=3D compilation target > This compilation target produces GNU Guile FSM code in a single file t= hat > does not dependent on Guile-SMC. > > All required Guile-SMC procedures will be copied to the output stream,= and > the extra procedures that are not used in the output code are removed = by > pruning. Wow, that=E2=80=99s pretty cool! Thank you! 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+sFAmIrvokQHGFybmVfYmFi QHdlYi5kZQAKCRAT741FJAPD63mqD/4j31HHVAtgt5cJYv6ISVjDPGls4eAIhgFD gXCxcgx+nf8mHwVXi/c/HE0ET8iAmkPCe6BlQ72iegS4m9bZEz+tK4Oaa7m02lNv 6Cf2D86ggAotlXNb89x4pWCkqq0Bhsu3D8kGbC544l6vnT8JZG3O/mQJbWdyGhMm yigkae2jZkzqV9dAhDDrdSCK/G7zY2gHBT165Y+5ZnzEtOPDRYn+5ZSRh2Z600cW 1P4xZK9lViCGyMnqmMWqVl7ugydnE71bnZ7bH6ypGuXQLXtYUCFs7oJpWm3JF/BY /VFaTLoFcKZ1X9WD6tJDSBB7gxykrZyb6aVWU1oxM2A/XrJzjycjUxinlRceKgCJ rCMGHh+Kzex5r1vyDw976jcU42cYHhQuFvyd4yZKJSGTQ7oclGuQgQCqc4VLy1cb QCrUkChOeqCWMckR8OzJ+dtAxYCbMxOVSHDb6l4WhACcO0I6W1b7g13xO7CFCxy+ otbdonDqD+8r6cIkZrDGHqbmpPcCgTXFSTEDi3ZV54jPtjsYI9WXOJdBpS0z/K7i U721ZBKC3e9E+Q0iZJtjj08Wx6Sd/eiyNOssEEDWKXnz4TEgH1eIwyYDaAYgkZq6 oVIfDEqFZ3/0NHt7E9d+pNCFfJISAWpi2ecSzvsY1swe5KeGcoHAE1WR8il+/NGu 4dB+TV0d8IjEBAEBCAAuFiEE3Si95tmHXKvOSosd3M8NswvBBUgFAmIrvokQHGFy bmVfYmFiQHdlYi5kZQAKCRDczw2zC8EFSEkaA/0TrhP3hHTN/BaMinVrfEg4ToKu yfccGOghmGjfZfz4Px0xp6iB3TfYv4Zu8TWJ/DM339os/jo1apCGSjFcUVp+ts5m wSpgXduTRYyzmwFC5BzXFnjOlvpdSmqNimKv4hTD9pfm7VYnKFtcktiFv3SToTyg ctsFtEMkj7T6bMX1eg== =Inho -----END PGP SIGNATURE----- --=-=-=--