package rfsm

  1. Overview
  2. No Docs
A toolset for describing and simulating StateChart-like state diagrams.

Install

Dune Dependency

cloud.ip.uca.fr Edit opam file Versions (7)

Authors

  1. J
    Jocelyn Sérot <jocelyn.serot@uca.fr>

Maintainers

  1. J
    jocelyn.serot@uca.fr

Sources

rfsm-1.0.tar.gz
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