package rfsm
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
A toolset for describing and simulating StateChart-like state diagrams
Install
Dune Dependency
Authors
Maintainers
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)
-
ocaml
>= "4.08" -
ocamlgraph
>= "1.8" -
lascar
>= "0.6.0" -
menhir
>= "2.0" & < "20211215" -
dune
>= "1.11"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page