package fsml
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
A library for describing and describing synchronous finite state machines
Install
dune-project
Dependency
Authors
Maintainers
Sources
0.3.0.tar.gz
md5=f06ff3e5dac1dd6f9a3401112a9973ee
sha512=c06daf2434035340d54f9beb0838e7951a6c540267d7922ee836bbff1aebe3887576a3bb5a749dddfd385f0165f9cf12d2f9a7d43b23d056558f50d3d7b33440
doc/CHANGES.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_outpsandFsm.moore_outpsto move output valuations from state to transitions and vice versa - optional range attribute for
inttype (ex:var k: int<0..7>) - added function
Fsm.defactorizeto defactorize an FSM wrt. to local variables (seeexamples/ex5) - build now also builds a custom
utoptoplevel (which can be used, for instance, to evaluate the examples in./examples/*interactively)
0.2.1 (Oct 21, 2020)
- updated interface for functions
C.writeandVhdl.write - distribution now correctly includes Makefile and testbenchs in examples
candvhdlsubdirs
0.2 (Aug 14, 2020)
- first "public" version
0.1 (Aug 8, 2020)
- initial version
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>