[ANN] lascar 0.7.0 - a library for manipulating Labeled Transition Systems in OCaml

Community
1

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 Fsm_expr and Fsm modules (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.

Lascar is available in source code from github or as a opam package .

Comments and feedbacks welcome !

JS

6 Likes