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.4.2.tar.gz
md5=2febda48d5fed77b887778f65d4c2685

Description

Published: 01 Apr 2019

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