rfsm

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

A toolset for describing and simulating StateChart-like state diagrams

Install
Documentation localhost Changelog MIT License Edit opam file
Published
23 Aug 2019
Authors
Maintainers
Sources
rfsm-v1.6-alpha-3.tbz
sha256=eb9583d2a7e354f00f4e0f6b2ea34f2825c92a15a21b708e03fa72c570104ab6 sha512=baff3194770f85efc55e813bbf5e515e1d0d4fae44c492fc6c15ba4834cc41fae5ecb842de1b1fdea10bafe19b4b72320b829d862aeefc6d58845270d8b3088f
Dependencies
lascar = "0.6-alpha"
ocamlgraph
ocaml >= "4.06"
menhir >= "2.0" & < "20211215"
dune >= "1.11"
Reverse Dependencies