rfsm

A toolset for describing and simulating StateChart-like state diagrams
Description
Install
Documentation dream.ispr-ip.fr Edit opam file
Published
03 Jun 2019
Authors
Maintainers
Sources
rfsm.tar.gz
md5=282f7edd81e19e0a5e3856d42759158a sha512=7c0222cceab482593366ab9b8cc4cd3b10aa49b41d183630a825809be3dee4b701a7381c2789cda82a70f43ee49db321b400401ab07cfa335e76604223d55c87
Dependencies
lascar < "0.6.0"
menhir < "20211215"
ocamlgraph
ocamlbuild build
ocamlfind build
camlp4
ocaml >= "4.03"
Reverse Dependencies