package rfsm
A toolset for describing and simulating StateChart-like state diagrams
Install
Dune Dependency
Authors
Maintainers
Sources
rfsm.tar.gz
md5=282f7edd81e19e0a5e3856d42759158a
sha512=7c0222cceab482593366ab9b8cc4cd3b10aa49b41d183630a825809be3dee4b701a7381c2789cda82a70f43ee49db321b400401ab07cfa335e76604223d55c87
Description
Published: 03 Jun 2019
Dependencies (7)
-
lascar
< "0.6.0" -
menhir
< "20211215" - ocamlgraph
-
ocamlbuild
build -
ocamlfind
build - camlp4
-
ocaml
>= "4.03"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page