package rfsm
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
A toolset for describing and simulating StateChart-like state diagrams.
Install
Dune Dependency
Authors
Maintainers
Sources
rfsm-1.0.tar.gz
sha256=96f4c7d26d25478c018afcd2c3c58c12719c5e745797a590bc61c6608ed54025
md5=e4d7f1086eb346e7a61760036f059bc6
Description
Published: 28 Apr 2018
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