rfsm

A toolset for describing and simulating StateChart-like state diagrams
Description

A toolset for describing and simulating StateChart-like state diagrams

Install
Published
21 Sep 2019
Authors
Maintainers
Sources
rfsm-1.6.0.tbz
sha256=04c4a433c4ac0678193d7cc45dcd09967f9518fa7bcbf88b1cd3662f9e106c72 sha512=7c7d568cdcb368cb33d1e3aa71e3456295ed0fe96f5879efbf2f8457cd370f854050df2faa987312251920bd7013134d86b69553dc9f60fe946e169c66b44d3b
Dependencies
ocaml >= "4.08"
ocamlgraph >= "1.8"
lascar >= "0.6.0"
menhir >= "2.0" & < "20211215"
dune >= "1.11"
Reverse Dependencies