package fsml

  1. Overview
  2. Docs
A library for describing and describing synchronous finite state machines

Install

Dune Dependency

Authors

Maintainers

Sources

0.3.0.tar.gz
md5=f06ff3e5dac1dd6f9a3401112a9973ee
sha512=c06daf2434035340d54f9beb0838e7951a6c540267d7922ee836bbff1aebe3887576a3bb5a749dddfd385f0165f9cf12d2f9a7d43b23d056558f50d3d7b33440

CHANGES.md.html

Changes

0.3.0 (Mar 10, 2021)

  • output valuations can now be added to states (see for inst. examples/ex{2,3})

  • added functions Fsm.mealy_outps and Fsm.moore_outps to move output valuations from state to transitions and vice versa

  • optional range attribute for int type (ex: var k: int<0..7>)

  • added function Fsm.defactorize to defactorize an FSM wrt. to local variables (see examples/ex5)

  • build now also builds a custom utop toplevel (which can be used, for instance, to evaluate the examples in ./examples/* interactively)

0.2.1 (Oct 21, 2020)

  • updated interface for functions C.write and Vhdl.write

  • distribution now correctly includes Makefile and testbenchs in examples c and vhdl subdirs

0.2 (Aug 14, 2020)

  • first "public" version

0.1 (Aug 8, 2020)

  • initial version

OCaml

Innovation. Community. Security.