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
Authors
Maintainers
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)
-
ocaml
>= "4.10"
-
ocamlgraph
>= "1.8"
-
lascar
>= "0.7"
-
menhir
>= "2.0" & < "20211215"
-
dune
>= "2.6"
Dev Dependencies
Used by
Conflicts
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page