This is to announce the availability of version 0.7.0 of
Lascar , a library for manipulating Labeled Transition Systems (such as DFA, NFA, FSM, etc…) in OCaml.
The most significative changes are
- a revised (generalized) interface for the
Fsmmodules (now parametrized on the type of values)
- a rewriting of the FSM examples with dedicated parsers for conditions, actions and transitions
- the building of a custom toplevel (which can used, for instance, to evaluate the examples interactively)
The complete list of changes is given in file
CHANGES.md for the distribution.
Comments and feedbacks welcome !