From: "Dr. Arne Babenhauserheide" <arne_bab@web.de>
To: "Artyom V. Poptsov" <poptsov.artyom@gmail.com>
Cc: guile-user@gnu.org
Subject: Re: [ANN] Guile-SMC 0.4.0 released
Date: Fri, 11 Mar 2022 22:25:23 +0100 [thread overview]
Message-ID: <874k44rxiv.fsf@web.de> (raw)
In-Reply-To: <87v8wk7132.fsf@gmail.com>
[-- Attachment #1: Type: text/plain, Size: 693 bytes --]
"Artyom V. Poptsov" <poptsov.artyom@gmail.com> writes:
> A transition table can be verified and checked for dead-ends and
> infinite loops. Also Guile-SMC FSMs gather statistics when they run.
…
> ** Add =guile-standalone= compilation target
> This compilation target produces GNU Guile FSM code in a single file that
> 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’s pretty cool! Thank you!
Best wishes,
Arne
--
Unpolitisch sein
heißt politisch sein,
ohne es zu merken.
draketo.de
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 1125 bytes --]
prev parent reply other threads:[~2022-03-11 21:25 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-03-11 19:15 [ANN] Guile-SMC 0.4.0 released Artyom V. Poptsov
2022-03-11 19:44 ` Aleix Conchillo Flaqué
2022-03-11 21:25 ` Dr. Arne Babenhauserheide [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/guile/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=874k44rxiv.fsf@web.de \
--to=arne_bab@web.de \
--cc=guile-user@gnu.org \
--cc=poptsov.artyom@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).