package rfsm

  1. Overview
  2. No Docs
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)

  1. lascar < "0.6.0"
  2. menhir < "20211215"
  3. ocamlgraph
  4. ocamlbuild build
  5. ocamlfind build
  6. camlp4
  7. ocaml >= "4.03"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.