unofficial mirror of 
 help / color / mirror / Atom feed
* [ANN] Guile-SMC 0.3.0 released
@ 2021-12-04 13:47 Artyom V. Poptsov
  0 siblings, 0 replies; only message in thread
From: Artyom V. Poptsov @ 2021-12-04 13:47 UTC (permalink / raw)
  To: Guile Users' Mailing List

[-- Attachment #1: Type: text/plain, Size: 2993 bytes --]


I'm pleased to announce Guile State Machine Compiler (Guile-SMC), version

* 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]

A transition table can be verified and checked for dead-ends and
infinite loops.  Also Guile-SMC FSMs gather statistics when they run.

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

--8<---------------cut here---------------start------------->8---
* Version 0.3.0 (2021-12-04)
** Bootstrap PlantUML parser by itself
   Now Guile-SMC uses itself to generate an FSM for PlantUML format.
** =(smc version)=: New module
   The module contains information about the current Guile-SMC version.
** Guile-SMC compiler now adds version information to the output file
** Add new context modules
   There are now =(smc context context-char)=.  This module defines guards
   for the whole ASCII table.
** Allow to provide custom event sources for FSMs
** Allow to set entry/exit actions for each state
** Use a logger implementation from the Guile-Library
** Order of parameters of guards and actions is changed
** =(smc puml)=: Improve PlantUML syntax checking
** Guile-SMC now allows to set a FSM description
** =smc= functionality now split between sub-commands
** =smc= now allows to generate and analyze FSM context
   See =context= sub-command.
** =(smc fsm)=: API of =fsm-run!= is simplified
** Implement "run" command
   The =smc= program now has =run= command that allows to read and run a
   finite-state machine based on a PlantUML description right away.
** Add new tests
** Documentation updated
--8<---------------cut here---------------end--------------->8---

* Usage examples

I wrote an INI[2] format parser to test the foundation ideas behind
Guile-SMC from the practical perspective:

Also I wrote a simple PNG[3] format parser that uses Guile-SMC as well:

Happy hacking,

- Artyom


Artyom "avp" Poptsov <>
Home page:
CADR Hackerspace co-founder:
GPG: D0C2 EAC1 3310 822D 98DE  B57C E9C5 A2D9 0898 A02F

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 487 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2021-12-04 13:47 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-12-04 13:47 [ANN] Guile-SMC 0.3.0 released Artyom V. Poptsov

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).