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

Install

github.com Readme Changelog MIT License Edit opam file

Authors

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

Maintainers

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

Sources

rfsm-1.6.0.tbz
sha256=04c4a433c4ac0678193d7cc45dcd09967f9518fa7bcbf88b1cd3662f9e106c72
sha512=7c7d568cdcb368cb33d1e3aa71e3456295ed0fe96f5879efbf2f8457cd370f854050df2faa987312251920bd7013134d86b69553dc9f60fe946e169c66b44d3b

Description

A toolset for describing and simulating StateChart-like state diagrams

Published: 21 Sep 2019

Dependencies (5)

  1. ocaml >= "4.08"
  2. ocamlgraph >= "1.8"
  3. lascar >= "0.6.0"
  4. menhir >= "2.0" & < "20211215"
  5. dune >= "1.11"

Dev Dependencies

    None

Used by

    None

Conflicts

    None