Opam Package rfsm.1.7.0

Package info

opam-namerfsm
opam-version1.7.0
synopsisA toolset for describing and simulating StateChart-like state diagrams
descriptionA toolset for describing and simulating StateChart-like state diagrams
authors
  • Jocelyn Sérot <jocelyn.serot@uca.fr>
homepagehttp://github.com/jserot/rfsm
licenseMIT
changes-fileCHANGES.md
readme-fileREADME.md
deps (5)
revdeps(0)
metas (1)
libraries (1)

Package modules

Package sources

rfsm

Package files

share/rfsm/templates/Makefile.vhdl.templ
share/rfsm/templates/Makefile.test.templ
share/rfsm/templates/Makefile.templ
share/rfsm/templates/Makefile.systemc.templ
share/rfsm/templates
share/rfsm/platform
share/rfsm/lib/vhdl/rfsm.vhd
share/rfsm/lib/vhdl
share/rfsm/lib/systemc/rfsm.h
share/rfsm/lib/systemc/rfsm.cpp
share/rfsm/lib/systemc
share/rfsm/lib
share/rfsm
share/emacs/site-lisp/rfsm-mode.el
lib/rfsm/typing.mli
lib/rfsm/typing.ml
lib/rfsm/types.mli
lib/rfsm/types.ml
lib/rfsm/type_expr.mli
lib/rfsm/type_expr.ml
lib/rfsm/trace.ml
lib/rfsm/stimuli.mli
lib/rfsm/stimuli.ml
lib/rfsm/static.mli
lib/rfsm/static.ml
lib/rfsm/simul.mli
lib/rfsm/simul.ml
lib/rfsm/rfsm__Typing.cmx
lib/rfsm/rfsm__Typing.cmti
lib/rfsm/rfsm__Typing.cmt
lib/rfsm/rfsm__Typing.cmi
lib/rfsm/rfsm__Types.cmx
lib/rfsm/rfsm__Types.cmti
lib/rfsm/rfsm__Types.cmt
lib/rfsm/rfsm__Types.cmi
lib/rfsm/rfsm__Type_expr.cmx
lib/rfsm/rfsm__Type_expr.cmti
lib/rfsm/rfsm__Type_expr.cmt
lib/rfsm/rfsm__Type_expr.cmi
lib/rfsm/rfsm__Trace.cmx
lib/rfsm/rfsm__Trace.cmt
lib/rfsm/rfsm__Trace.cmi
lib/rfsm/rfsm__Stimuli.cmx
lib/rfsm/rfsm__Stimuli.cmti
lib/rfsm/rfsm__Stimuli.cmt
lib/rfsm/rfsm__Stimuli.cmi
lib/rfsm/rfsm__Static.cmx
lib/rfsm/rfsm__Static.cmti
lib/rfsm/rfsm__Static.cmt
lib/rfsm/rfsm__Static.cmi
lib/rfsm/rfsm__Simul.cmx
lib/rfsm/rfsm__Simul.cmti
lib/rfsm/rfsm__Simul.cmt
lib/rfsm/rfsm__Simul.cmi
lib/rfsm/rfsm__Misc.cmx
lib/rfsm/rfsm__Misc.cmti
lib/rfsm/rfsm__Misc.cmt
lib/rfsm/rfsm__Misc.cmi
lib/rfsm/rfsm__Intbits.cmx
lib/rfsm/rfsm__Intbits.cmti
lib/rfsm/rfsm__Intbits.cmt
lib/rfsm/rfsm__Intbits.cmi
lib/rfsm/rfsm__Ident.cmx
lib/rfsm/rfsm__Ident.cmti
lib/rfsm/rfsm__Ident.cmt
lib/rfsm/rfsm__Ident.cmi
lib/rfsm/rfsm__Global.cmx
lib/rfsm/rfsm__Global.cmti
lib/rfsm/rfsm__Global.cmt
lib/rfsm/rfsm__Global.cmi
lib/rfsm/rfsm__Fsm.cmx
lib/rfsm/rfsm__Fsm.cmti
lib/rfsm/rfsm__Fsm.cmt
lib/rfsm/rfsm__Fsm.cmi
lib/rfsm/rfsm__Expr.cmx
lib/rfsm/rfsm__Expr.cmti
lib/rfsm/rfsm__Expr.cmt
lib/rfsm/rfsm__Expr.cmi
lib/rfsm/rfsm__Eval.cmx
lib/rfsm/rfsm__Eval.cmti
lib/rfsm/rfsm__Eval.cmt
lib/rfsm/rfsm__Eval.cmi
lib/rfsm/rfsm__Dynamic.cmx
lib/rfsm/rfsm__Dynamic.cmti
lib/rfsm/rfsm__Dynamic.cmt
lib/rfsm/rfsm__Dynamic.cmi
lib/rfsm/rfsm__Condition.cmx
lib/rfsm/rfsm__Condition.cmti
lib/rfsm/rfsm__Condition.cmt
lib/rfsm/rfsm__Condition.cmi
lib/rfsm/rfsm__Builtins.cmx
lib/rfsm/rfsm__Builtins.cmti
lib/rfsm/rfsm__Builtins.cmt
lib/rfsm/rfsm__Builtins.cmi
lib/rfsm/rfsm__Action.cmx
lib/rfsm/rfsm__Action.cmti
lib/rfsm/rfsm__Action.cmt
lib/rfsm/rfsm__Action.cmi
lib/rfsm/rfsm.ml
lib/rfsm/rfsm.cmxs
lib/rfsm/rfsm.cmxa
lib/rfsm/rfsm.cmx
lib/rfsm/rfsm.cmt
lib/rfsm/rfsm.cmi
lib/rfsm/rfsm.cma
lib/rfsm/rfsm.a
lib/rfsm/opam
lib/rfsm/misc.mli
lib/rfsm/misc.ml
lib/rfsm/intbits.mli
lib/rfsm/intbits.ml
lib/rfsm/ident.mli
lib/rfsm/ident.ml
lib/rfsm/global.mli
lib/rfsm/global.ml
lib/rfsm/fsm.mli
lib/rfsm/fsm.ml
lib/rfsm/expr.mli
lib/rfsm/expr.ml
lib/rfsm/eval.mli
lib/rfsm/eval.ml
lib/rfsm/dynamic.mli
lib/rfsm/dynamic.ml
lib/rfsm/dune-package
lib/rfsm/condition.mli
lib/rfsm/condition.ml
lib/rfsm/builtins.mli
lib/rfsm/builtins.ml
lib/rfsm/action.mli
lib/rfsm/action.ml
lib/rfsm/META
lib/rfsm
doc/rfsm/rfsm.pdf
doc/rfsm/README.md
doc/rfsm/LICENSE
doc/rfsm/CHANGES.md
doc/rfsm
bin/rfsmmake
bin/rfsmc