package rfsm

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

Install

github.com Edit opam file

Authors

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

Maintainers

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

Sources

1.7.0.tar.gz
md5=d1280c02294eaa3d3d87a9d04bc8b91f
sha512=46ef32b23755144036ca530f76636a166e835ebb4baf9a32b8ebfa838ccfb3c7ac8df37d709d12198a5f9d5f13280b341d221989c6a5344963b83daddd47e319

Description

A toolset for describing and simulating StateChart-like state diagrams

Published: 30 Mar 2021

Dependencies (5)

  1. ocaml >= "4.10"
  2. ocamlgraph >= "1.8"
  3. lascar >= "0.7"
  4. menhir >= "2.0" & < "20211215"
  5. dune >= "2.6"

Dev Dependencies

None

Used by

None

Conflicts

None