Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
examples/ex{2,3})Fsm.mealy_outps and Fsm.moore_outps to move output valuations from state to transitions and vice versaint type (ex: var k: int<0..7>)Fsm.defactorize to defactorize an FSM wrt. to local variables (see examples/ex5)utop toplevel (which can be used, for instance, to evaluate the examples in ./examples/* interactively)C.write and Vhdl.writec and vhdl subdirs