From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: "Artyom V. Poptsov" Newsgroups: gmane.lisp.guile.user Subject: [ANN] Guile-SMC 0.5.1 released Date: Fri, 02 Sep 2022 06:56:04 +0300 Message-ID: <87h71qwht7.fsf@gmail.com> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="28784"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) To: Guile Users' Mailing List Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Fri Sep 02 05:56:33 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 1oTxnF-0007MT-ML for guile-user@m.gmane-mx.org; Fri, 02 Sep 2022 05:56:33 +0200 Original-Received: from localhost ([::1]:44512 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oTxnD-0003xd-VS for guile-user@m.gmane-mx.org; Thu, 01 Sep 2022 23:56:31 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:49196) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oTxn2-0003xQ-R2 for guile-user@gnu.org; Thu, 01 Sep 2022 23:56:20 -0400 Original-Received: from mail-lf1-x12a.google.com ([2a00:1450:4864:20::12a]:46060) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oTxmy-0002vi-40 for guile-user@gnu.org; Thu, 01 Sep 2022 23:56:20 -0400 Original-Received: by mail-lf1-x12a.google.com with SMTP id w8so1480330lft.12 for ; Thu, 01 Sep 2022 20:56:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:user-agent:message-id:date:subject:to:from:from:to:cc :subject:date; bh=ySuOnCS1fhvIqg5yJEfztMMTgedt+Gf/P3ojEIuSm+g=; b=DvKHeczidjMLFc8hlR6h/oCejuIkOPOQ0BFr5SbGo8D3acHiTGdZdXwmAv7YUAhc6R UQrwHF6qsAmywnH96l2Crs2a2MJSe9jsWEGoerbPL47lGG610dToONHBId9/8P4ZPTr1 azTDuLRML6O/WLex7YYz5Dw2ObrI0/xQvlzfbZuxXkkBz2OSLP6hEKz3OZWXJOhO1+mP hJJ1SrIXpjmDZiTkze0jxc+wMXz4cFTyyVT6mgw7WHkOjcZkiTGEjddCc2gMtQPVISDW MYok9XiMN50EYlTaaN8xRzHqIBhiaS+NSvG1xtooVzbcVIOh3Buz8YNSnJIxkGe+lFwx O0Gw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:user-agent:message-id:date:subject:to:from :x-gm-message-state:from:to:cc:subject:date; bh=ySuOnCS1fhvIqg5yJEfztMMTgedt+Gf/P3ojEIuSm+g=; b=OYPGRJcYonetuDPbUo8Z1AgoAKyjklihACzkTbCXJ3llWxruVYjM0agDdsj6SpbaH3 g+kyXmmD1gGmYCJR9EqaRqg0r+1qu7C36rpBZXF8CHlg1VMj7/nSINVm7++zr9KfCWUZ tLVjBTRU18P7E/YRK//66HStHawH+oUQ8QV+5/Mc+SiVX5n8NDjW+/8BL8mHEbQ2MTEn vPD2I6vkIL4qSe5jMGCr5Xt6YwWykgApew78iCEYxAxZ4WI8tuLVZXQOwEf3QxpGKd9L zGkGcBVN0CCOfxVjqoHaJfz19Hz7rZhHU9DgUp858QGZSGHKUv2DY1GoY1LATU69fMDy hCqg== X-Gm-Message-State: ACgBeo2qbnG2jo55dS0iq2uG0OGX0PV0CgYWx01INSqAee3OMe2LT9iT HyctQ4IxnA08SgKm9BnpAX3vQaUoNes= X-Google-Smtp-Source: AA6agR7SMSXJKLDxP9iEGAKmDjap1Tmz/0Zhx3c6kp1eDMMALkjnxryZTCCFecNwPEoGDkED2SLx5g== X-Received: by 2002:a05:6512:3f1a:b0:492:fbc6:7179 with SMTP id y26-20020a0565123f1a00b00492fbc67179mr10906947lfa.286.1662090973235; Thu, 01 Sep 2022 20:56:13 -0700 (PDT) Original-Received: from elephant ([95.79.23.141]) by smtp.gmail.com with ESMTPSA id d11-20020a056512368b00b0048b309aeb09sm101563lfs.226.2022.09.01.20.56.07 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 01 Sep 2022 20:56:08 -0700 (PDT) Received-SPF: pass client-ip=2a00:1450:4864:20::12a; envelope-from=poptsov.artyom@gmail.com; helo=mail-lf1-x12a.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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_NONE=-0.0001, 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:18556 Archived-At: --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Hello Guilers, I'm pleased to announce Guile State Machine Compiler (Guile-SMC), version 0.5.1: https://github.com/artyom-poptsov/guile-smc/releases/tag/v0.5.1 In short, this release fixes issues with Guile-SMC logging and can be used as a drop-in replacement for 0.5.0. Special thanks to Mathieu Othacehe and Maxime Devos who pointed out to problems with the logging subsystem in Guile-SMC 0.5.0. * What is Guile-SMC? Guile-SMC is a state machine compiler that allows to describe finite state machines (FSMs) in Scheme in terms of transition tables. It is capable to generate such transition tables from a PlantUML state diagrams. [1] Some of the key features: =2D A transition table can be verified and checked for dead-ends and infinite loops. =2D Guile-SMC FSMs gather statistics when they run (steps/transitions); the statistics can be used can be used to compare/analyze FSMs.. =2D There's an FSM profiler that runs on FSMs trace logs. The profiler output shows how much time the FSM spends in each state. This can be useful for optimization. =2D The state machine compiler supports three "targets" for compilation: a regular Guile target where the output FSM depends on Guile-SMC; "guile-standalone" target that produce an FSM that does not depend on Guile-SMC; "guile-standalone-copy" where all the required parts of Guile-SMC are copied alongside with the output FSM to make the code independent. =2D Guile-SMC allows to run a FSM on-the-fly with a single "smc run" command -- see the docs and the examples for more information. Guile-SMC comes with a Scheme program called 'smc' -- a state machine compiler itself. It produces a Scheme code for an FSM from the PlantUML format. This tool is meant to be called on a PlantUML file when a program with a FSM is being built (for example, from a Makefile.) I'm hoping that it will ease the burden of writing format parsers and other useful GNU Guile libraries for the community. * User-visible changes =2D-8<---------------cut here---------------start------------->8--- * Version 0.5.1 (2022-09-02) ** Fix =3Dlog=3D core binding shadowing by =3D(smc core log)=3D ** Allow to set the log driver in Guile-SMC CLI. See the =3D--help=3D for each =3Dsmc=3D action for the description of the n= ew command line options. Implemented log drivers are: =3Dsyslog=3D, =3Dfile=3D and =3Dnull=3D. ** =3Dstderr=3D logging now works with any log driver Updated =3D(smc core log)=3D API now allows to use =3Dstderr=3D logging wit= h any other driver. That is, Guile-SMC will log messages to the =3Dstderr=3D even for = =3Dnone=3D driver is set after =3Dlog-use-stderr!=3D is called with =3D#t=3D. The =3Dstderr=3D logging can be disabled by calling =3Dlog-use-stderr!=3D w= ith =3D#f=3D as the argument. ** PNG parser example now uses =3Dnull=3D log driver That should make building in isolated/restricted environments (like in Guix) easier. ** Guile-SMC tests now uses file log driver Each test suite now logs to a file named =3D-smc.log=3D in= the =3Dtests=3D directory. ** Update the Texinfo documentation =2D-8<---------------cut here---------------end--------------->8--- * Some ideas for the future development =2D Write a PlantUML generator that take a instance and produces a PlantUML state diagram. =2D Add support for other output languages (e.g. C, Common Lisp, ...) =2D Expand the suite of FSM contexts for FSM of different domains. That is, there's already "char-context" for text processing FSMs and we can add "binary" context, for example. Or "network" context for writing networking applications. Any help with this list will be appreciated, and new ideas are welcome! * Usage examples I wrote an INI[2] format parser to test the foundation ideas behind Guile-SMC from the practical perspective: https://github.com/artyom-poptsov/guile-ini Happy hacking, =2D Artyom References: 1: https://plantuml.com/state-diagram 2: https://en.wikipedia.org/wiki/INI_file =2D-=20 Artyom "avp" Poptsov Home page: https://memory-heap.org/~avp/ CADR Hackerspace co-founder: https://cadrspace.ru/ GPG: D0C2 EAC1 3310 822D 98DE B57C E9C5 A2D9 0898 A02F --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQFNBAEBCgA3FiEE0MLqwTMQgi2Y3rV86cWi2QiYoC8FAmMRftQZHHBvcHRzb3Yu YXJ0eW9tQGdtYWlsLmNvbQAKCRDpxaLZCJigL+uDB/47FNEfVQpwjDhML7Va3ISz luwK+c7h/tltHnZqyV8Z7ypadOARm/gYMoAD6KfTL8v0UK9A0SzvHMUXI/bSYk3b 3nGZZtVahwA3bcu6C3BIs4mSyEWl2HTMgCROnxuu3sFmv+bw7fAURpII7lGppizq b6Gq+DS79TeEHSoGVEGj4bB77O/wuYIziROpxwY9FUOxvvE1BzRWLz6E2Z3i18dh kw7OSACK/PLUSO8i5BnfRlZD/tCkKv55FYHKB/wBWlVQbWVS2YVGXQjx3ZlriHB3 1sJ1QWyBPgaqfbjEFYU5jHMNmlxNb0Zb0jdsnD8b9UJLFlMXP/ka8ws/PlOuVFGc =7NPS -----END PGP SIGNATURE----- --=-=-=--