Opam Package zelus.2.1

Package info

opam-namezelus
opam-version2.1
synopsisA synchronous language with ODEs
authors
  • Timothy Bourke <timothy.bourke@inria.fr>
  • Marc Pouzet <marc.pouzet@ens.fr>
homepagehttp://zelus.di.ens.fr
readme-fileREADME.md
deps (4)
revdeps (1)
metas (2)
libraries (2)

Package modules

Package sources

zelus

Package files

share/zelus/string.zci
share/zelus/stdlib.zci
share/zelus/run.zci
share/zelus/random.zci
share/zelus/node.zci
share/zelus/nativeint.zci
share/zelus/list.zci
share/zelus/int64.zci
share/zelus/int32.zci
share/zelus/graphics.zci
share/zelus/dump.zci
share/zelus/complex.zci
share/zelus/char.zci
share/zelus/basics.zci
share/zelus
lib/zelus/ztypes.ml
lib/zelus/ztypes.cmx
lib/zelus/ztypes.cmt
lib/zelus/ztypes.cmi
lib/zelus/zlstdlib.cmxs
lib/zelus/zlstdlib.cmxa
lib/zelus/zlstdlib.cma
lib/zelus/zlstdlib.a
lib/zelus/zlsrun.mli
lib/zelus/zlsrun.ml
lib/zelus/zlsrun.cmx
lib/zelus/zlsrun.cmti
lib/zelus/zlsrun.cmt
lib/zelus/zlsrun.cmi
lib/zelus/zlsolve.mli
lib/zelus/zlsolve.ml
lib/zelus/zlsolve.cmx
lib/zelus/zlsolve.cmti
lib/zelus/zlsolve.cmt
lib/zelus/zlsolve.cmi
lib/zelus/zls.ml
lib/zelus/zls.cmx
lib/zelus/zls.cmt
lib/zelus/zls.cmi
lib/zelus/zlcompilerlibs/zopt.ml
lib/zelus/zlcompilerlibs/zopt.cmx
lib/zelus/zlcompilerlibs/zopt.cmt
lib/zelus/zlcompilerlibs/zopt.cmi
lib/zelus/zlcompilerlibs/zlus2lmm.ml
lib/zelus/zlcompilerlibs/zlus2lmm.cmx
lib/zelus/zlcompilerlibs/zlus2lmm.cmt
lib/zelus/zlcompilerlibs/zlus2lmm.cmi
lib/zelus/zlcompilerlibs/zlcompilerlibs.cmxs
lib/zelus/zlcompilerlibs/zlcompilerlibs.cmxa
lib/zelus/zlcompilerlibs/zlcompilerlibs.cma
lib/zelus/zlcompilerlibs/zlcompilerlibs.a
lib/zelus/zlcompilerlibs/zelus.ml
lib/zelus/zlcompilerlibs/zelus.cmx
lib/zelus/zlcompilerlibs/zelus.cmt
lib/zelus/zlcompilerlibs/zelus.cmi
lib/zelus/zlcompilerlibs/zaux.ml
lib/zelus/zlcompilerlibs/zaux.cmx
lib/zelus/zlcompilerlibs/zaux.cmt
lib/zelus/zlcompilerlibs/zaux.cmi
lib/zelus/zlcompilerlibs/write.ml
lib/zelus/zlcompilerlibs/write.cmx
lib/zelus/zlcompilerlibs/write.cmt
lib/zelus/zlcompilerlibs/write.cmi
lib/zelus/zlcompilerlibs/vars.ml
lib/zelus/zlcompilerlibs/vars.cmx
lib/zelus/zlcompilerlibs/vars.cmt
lib/zelus/zlcompilerlibs/vars.cmi
lib/zelus/zlcompilerlibs/unsafe.ml
lib/zelus/zlcompilerlibs/unsafe.cmx
lib/zelus/zlcompilerlibs/unsafe.cmt
lib/zelus/zlcompilerlibs/unsafe.cmi
lib/zelus/zlcompilerlibs/typing.ml
lib/zelus/zlcompilerlibs/typing.cmx
lib/zelus/zlcompilerlibs/typing.cmt
lib/zelus/zlcompilerlibs/typing.cmi
lib/zelus/zlcompilerlibs/types.ml
lib/zelus/zlcompilerlibs/types.cmx
lib/zelus/zlcompilerlibs/types.cmt
lib/zelus/zlcompilerlibs/types.cmi
lib/zelus/zlcompilerlibs/typerrors.ml
lib/zelus/zlcompilerlibs/typerrors.cmx
lib/zelus/zlcompilerlibs/typerrors.cmt
lib/zelus/zlcompilerlibs/typerrors.cmi
lib/zelus/zlcompilerlibs/translate.ml
lib/zelus/zlcompilerlibs/translate.cmx
lib/zelus/zlcompilerlibs/translate.cmt
lib/zelus/zlcompilerlibs/translate.cmi
lib/zelus/zlcompilerlibs/total.ml
lib/zelus/zlcompilerlibs/total.cmx
lib/zelus/zlcompilerlibs/total.cmt
lib/zelus/zlcompilerlibs/total.cmi
lib/zelus/zlcompilerlibs/static.ml
lib/zelus/zlcompilerlibs/static.cmx
lib/zelus/zlcompilerlibs/static.cmt
lib/zelus/zlcompilerlibs/static.cmi
lib/zelus/zlcompilerlibs/shared.ml
lib/zelus/zlcompilerlibs/shared.cmx
lib/zelus/zlcompilerlibs/shared.cmt
lib/zelus/zlcompilerlibs/shared.cmi
lib/zelus/zlcompilerlibs/scoping.ml
lib/zelus/zlcompilerlibs/scoping.cmx
lib/zelus/zlcompilerlibs/scoping.cmt
lib/zelus/zlcompilerlibs/scoping.cmi
lib/zelus/zlcompilerlibs/schedule.ml
lib/zelus/zlcompilerlibs/schedule.cmx
lib/zelus/zlcompilerlibs/schedule.cmt
lib/zelus/zlcompilerlibs/schedule.cmi
lib/zelus/zlcompilerlibs/reset.ml
lib/zelus/zlcompilerlibs/reset.cmx
lib/zelus/zlcompilerlibs/reset.cmt
lib/zelus/zlcompilerlibs/reset.cmi
lib/zelus/zlcompilerlibs/remove_last_in_patterns.ml
lib/zelus/zlcompilerlibs/remove_last_in_patterns.cmx
lib/zelus/zlcompilerlibs/remove_last_in_patterns.cmt
lib/zelus/zlcompilerlibs/remove_last_in_patterns.cmi
lib/zelus/zlcompilerlibs/reduce.ml
lib/zelus/zlcompilerlibs/reduce.cmx
lib/zelus/zlcompilerlibs/reduce.cmt
lib/zelus/zlcompilerlibs/reduce.cmi
lib/zelus/zlcompilerlibs/ptypes.ml
lib/zelus/zlcompilerlibs/ptypes.cmx
lib/zelus/zlcompilerlibs/ptypes.cmt
lib/zelus/zlcompilerlibs/ptypes.cmi
lib/zelus/zlcompilerlibs/proba.ml
lib/zelus/zlcompilerlibs/proba.cmx
lib/zelus/zlcompilerlibs/proba.cmt
lib/zelus/zlcompilerlibs/proba.cmi
lib/zelus/zlcompilerlibs/printer.ml
lib/zelus/zlcompilerlibs/printer.cmx
lib/zelus/zlcompilerlibs/printer.cmt
lib/zelus/zlcompilerlibs/printer.cmi
lib/zelus/zlcompilerlibs/present.ml
lib/zelus/zlcompilerlibs/present.cmx
lib/zelus/zlcompilerlibs/present.cmt
lib/zelus/zlcompilerlibs/present.cmi
lib/zelus/zlcompilerlibs/pre.ml
lib/zelus/zlcompilerlibs/pre.cmx
lib/zelus/zlcompilerlibs/pre.cmt
lib/zelus/zlcompilerlibs/pre.cmi
lib/zelus/zlcompilerlibs/pp_tools.ml
lib/zelus/zlcompilerlibs/pp_tools.cmx
lib/zelus/zlcompilerlibs/pp_tools.cmt
lib/zelus/zlcompilerlibs/pp_tools.cmi
lib/zelus/zlcompilerlibs/plmm.ml
lib/zelus/zlcompilerlibs/plmm.cmx
lib/zelus/zlcompilerlibs/plmm.cmt
lib/zelus/zlcompilerlibs/plmm.cmi
lib/zelus/zlcompilerlibs/pinit.ml
lib/zelus/zlcompilerlibs/pinit.cmx
lib/zelus/zlcompilerlibs/pinit.cmt
lib/zelus/zlcompilerlibs/pinit.cmi
lib/zelus/zlcompilerlibs/period.ml
lib/zelus/zlcompilerlibs/period.cmx
lib/zelus/zlcompilerlibs/period.cmt
lib/zelus/zlcompilerlibs/period.cmi
lib/zelus/zlcompilerlibs/pcaus.ml
lib/zelus/zlcompilerlibs/pcaus.cmx
lib/zelus/zlcompilerlibs/pcaus.cmt
lib/zelus/zlcompilerlibs/pcaus.cmi
lib/zelus/zlcompilerlibs/patternsig.ml
lib/zelus/zlcompilerlibs/patternsig.cmx
lib/zelus/zlcompilerlibs/patternsig.cmt
lib/zelus/zlcompilerlibs/patternsig.cmi
lib/zelus/zlcompilerlibs/parsetree.ml
lib/zelus/zlcompilerlibs/parsetree.cmx
lib/zelus/zlcompilerlibs/parsetree.cmt
lib/zelus/zlcompilerlibs/parsetree.cmi
lib/zelus/zlcompilerlibs/parser.mli
lib/zelus/zlcompilerlibs/parser.ml
lib/zelus/zlcompilerlibs/parser.cmx
lib/zelus/zlcompilerlibs/parser.cmti
lib/zelus/zlcompilerlibs/parser.cmt
lib/zelus/zlcompilerlibs/parser.cmi
lib/zelus/zlcompilerlibs/oprinter.ml
lib/zelus/zlcompilerlibs/oprinter.cmx
lib/zelus/zlcompilerlibs/oprinter.cmt
lib/zelus/zlcompilerlibs/oprinter.cmi
lib/zelus/zlcompilerlibs/ocamlprinter.ml
lib/zelus/zlcompilerlibs/ocamlprinter.cmx
lib/zelus/zlcompilerlibs/ocamlprinter.cmt
lib/zelus/zlcompilerlibs/ocamlprinter.cmi
lib/zelus/zlcompilerlibs/obc.ml
lib/zelus/zlcompilerlibs/obc.cmx
lib/zelus/zlcompilerlibs/obc.cmt
lib/zelus/zlcompilerlibs/obc.cmi
lib/zelus/zlcompilerlibs/oaux.ml
lib/zelus/zlcompilerlibs/oaux.cmx
lib/zelus/zlcompilerlibs/oaux.cmt
lib/zelus/zlcompilerlibs/oaux.cmi
lib/zelus/zlcompilerlibs/modules.ml
lib/zelus/zlcompilerlibs/modules.cmx
lib/zelus/zlcompilerlibs/modules.cmt
lib/zelus/zlcompilerlibs/modules.cmi
lib/zelus/zlcompilerlibs/misc.ml
lib/zelus/zlcompilerlibs/misc.cmx
lib/zelus/zlcompilerlibs/misc.cmt
lib/zelus/zlcompilerlibs/misc.cmi
lib/zelus/zlcompilerlibs/matching.ml
lib/zelus/zlcompilerlibs/matching.cmx
lib/zelus/zlcompilerlibs/matching.cmt
lib/zelus/zlcompilerlibs/matching.cmi
lib/zelus/zlcompilerlibs/match2condition.ml
lib/zelus/zlcompilerlibs/match2condition.cmx
lib/zelus/zlcompilerlibs/match2condition.cmt
lib/zelus/zlcompilerlibs/match2condition.cmi
lib/zelus/zlcompilerlibs/markfunctions.ml
lib/zelus/zlcompilerlibs/markfunctions.cmx
lib/zelus/zlcompilerlibs/markfunctions.cmt
lib/zelus/zlcompilerlibs/markfunctions.cmi
lib/zelus/zlcompilerlibs/location.ml
lib/zelus/zlcompilerlibs/location.cmx
lib/zelus/zlcompilerlibs/location.cmt
lib/zelus/zlcompilerlibs/location.cmi
lib/zelus/zlcompilerlibs/lmm.ml
lib/zelus/zlcompilerlibs/lmm.cmx
lib/zelus/zlcompilerlibs/lmm.cmt
lib/zelus/zlcompilerlibs/lmm.cmi
lib/zelus/zlcompilerlibs/lident.ml
lib/zelus/zlcompilerlibs/lident.cmx
lib/zelus/zlcompilerlibs/lident.cmt
lib/zelus/zlcompilerlibs/lident.cmi
lib/zelus/zlcompilerlibs/lexer.ml
lib/zelus/zlcompilerlibs/lexer.cmx
lib/zelus/zlcompilerlibs/lexer.cmt
lib/zelus/zlcompilerlibs/lexer.cmi
lib/zelus/zlcompilerlibs/letin.ml
lib/zelus/zlcompilerlibs/letin.cmx
lib/zelus/zlcompilerlibs/letin.cmt
lib/zelus/zlcompilerlibs/letin.cmi
lib/zelus/zlcompilerlibs/interface.ml
lib/zelus/zlcompilerlibs/interface.cmx
lib/zelus/zlcompilerlibs/interface.cmt
lib/zelus/zlcompilerlibs/interface.cmi
lib/zelus/zlcompilerlibs/inout.ml
lib/zelus/zlcompilerlibs/inout.cmx
lib/zelus/zlcompilerlibs/inout.cmt
lib/zelus/zlcompilerlibs/inout.cmi
lib/zelus/zlcompilerlibs/inline.ml
lib/zelus/zlcompilerlibs/inline.cmx
lib/zelus/zlcompilerlibs/inline.cmt
lib/zelus/zlcompilerlibs/inline.cmi
lib/zelus/zlcompilerlibs/initialization.ml
lib/zelus/zlcompilerlibs/initialization.cmx
lib/zelus/zlcompilerlibs/initialization.cmt
lib/zelus/zlcompilerlibs/initialization.cmi
lib/zelus/zlcompilerlibs/initial.ml
lib/zelus/zlcompilerlibs/initial.cmx
lib/zelus/zlcompilerlibs/initial.cmt
lib/zelus/zlcompilerlibs/initial.cmi
lib/zelus/zlcompilerlibs/init.ml
lib/zelus/zlcompilerlibs/init.cmx
lib/zelus/zlcompilerlibs/init.cmt
lib/zelus/zlcompilerlibs/init.cmi
lib/zelus/zlcompilerlibs/ident.ml
lib/zelus/zlcompilerlibs/ident.cmx
lib/zelus/zlcompilerlibs/ident.cmt
lib/zelus/zlcompilerlibs/ident.cmi
lib/zelus/zlcompilerlibs/horizon.ml
lib/zelus/zlcompilerlibs/horizon.cmx
lib/zelus/zlcompilerlibs/horizon.cmt
lib/zelus/zlcompilerlibs/horizon.cmi
lib/zelus/zlcompilerlibs/graph.ml
lib/zelus/zlcompilerlibs/graph.cmx
lib/zelus/zlcompilerlibs/graph.cmt
lib/zelus/zlcompilerlibs/graph.cmi
lib/zelus/zlcompilerlibs/global.ml
lib/zelus/zlcompilerlibs/global.cmx
lib/zelus/zlcompilerlibs/global.cmt
lib/zelus/zlcompilerlibs/global.cmi
lib/zelus/zlcompilerlibs/encore.ml
lib/zelus/zlcompilerlibs/encore.cmx
lib/zelus/zlcompilerlibs/encore.cmt
lib/zelus/zlcompilerlibs/encore.cmi
lib/zelus/zlcompilerlibs/disc.ml
lib/zelus/zlcompilerlibs/disc.cmx
lib/zelus/zlcompilerlibs/disc.cmt
lib/zelus/zlcompilerlibs/disc.cmi
lib/zelus/zlcompilerlibs/deps_tools.ml
lib/zelus/zlcompilerlibs/deps_tools.cmx
lib/zelus/zlcompilerlibs/deps_tools.cmt
lib/zelus/zlcompilerlibs/deps_tools.cmi
lib/zelus/zlcompilerlibs/dependences.ml
lib/zelus/zlcompilerlibs/dependences.cmx
lib/zelus/zlcompilerlibs/dependences.cmt
lib/zelus/zlcompilerlibs/dependences.cmi
lib/zelus/zlcompilerlibs/depend.ml
lib/zelus/zlcompilerlibs/depend.cmx
lib/zelus/zlcompilerlibs/depend.cmt
lib/zelus/zlcompilerlibs/depend.cmi
lib/zelus/zlcompilerlibs/deftypes.ml
lib/zelus/zlcompilerlibs/deftypes.cmx
lib/zelus/zlcompilerlibs/deftypes.cmt
lib/zelus/zlcompilerlibs/deftypes.cmi
lib/zelus/zlcompilerlibs/definit.ml
lib/zelus/zlcompilerlibs/definit.cmx
lib/zelus/zlcompilerlibs/definit.cmt
lib/zelus/zlcompilerlibs/definit.cmi
lib/zelus/zlcompilerlibs/defcaus.ml
lib/zelus/zlcompilerlibs/defcaus.cmx
lib/zelus/zlcompilerlibs/defcaus.cmt
lib/zelus/zlcompilerlibs/defcaus.cmi
lib/zelus/zlcompilerlibs/deadcode.ml
lib/zelus/zlcompilerlibs/deadcode.cmx
lib/zelus/zlcompilerlibs/deadcode.cmt
lib/zelus/zlcompilerlibs/deadcode.cmi
lib/zelus/zlcompilerlibs/cse.ml
lib/zelus/zlcompilerlibs/cse.cmx
lib/zelus/zlcompilerlibs/cse.cmt
lib/zelus/zlcompilerlibs/cse.cmi
lib/zelus/zlcompilerlibs/cost.ml
lib/zelus/zlcompilerlibs/cost.cmx
lib/zelus/zlcompilerlibs/cost.cmt
lib/zelus/zlcompilerlibs/cost.cmi
lib/zelus/zlcompilerlibs/copy.ml
lib/zelus/zlcompilerlibs/copy.cmx
lib/zelus/zlcompilerlibs/copy.cmt
lib/zelus/zlcompilerlibs/copy.cmi
lib/zelus/zlcompilerlibs/control.ml
lib/zelus/zlcompilerlibs/control.cmx
lib/zelus/zlcompilerlibs/control.cmt
lib/zelus/zlcompilerlibs/control.cmi
lib/zelus/zlcompilerlibs/config.ml
lib/zelus/zlcompilerlibs/config.cmx
lib/zelus/zlcompilerlibs/config.cmt
lib/zelus/zlcompilerlibs/config.cmi
lib/zelus/zlcompilerlibs/complete.ml
lib/zelus/zlcompilerlibs/complete.cmx
lib/zelus/zlcompilerlibs/complete.cmt
lib/zelus/zlcompilerlibs/complete.cmi
lib/zelus/zlcompilerlibs/causality.ml
lib/zelus/zlcompilerlibs/causality.cmx
lib/zelus/zlcompilerlibs/causality.cmt
lib/zelus/zlcompilerlibs/causality.cmi
lib/zelus/zlcompilerlibs/causal.ml
lib/zelus/zlcompilerlibs/causal.cmx
lib/zelus/zlcompilerlibs/causal.cmt
lib/zelus/zlcompilerlibs/causal.cmi
lib/zelus/zlcompilerlibs/automata.ml
lib/zelus/zlcompilerlibs/automata.cmx
lib/zelus/zlcompilerlibs/automata.cmt
lib/zelus/zlcompilerlibs/automata.cmi
lib/zelus/zlcompilerlibs/aform.ml
lib/zelus/zlcompilerlibs/aform.cmx
lib/zelus/zlcompilerlibs/aform.cmt
lib/zelus/zlcompilerlibs/aform.cmi
lib/zelus/zlcompilerlibs/add_copy_for_last.ml
lib/zelus/zlcompilerlibs/add_copy_for_last.cmx
lib/zelus/zlcompilerlibs/add_copy_for_last.cmt
lib/zelus/zlcompilerlibs/add_copy_for_last.cmi
lib/zelus/zlcompilerlibs/activate.ml
lib/zelus/zlcompilerlibs/activate.cmx
lib/zelus/zlcompilerlibs/activate.cmt
lib/zelus/zlcompilerlibs/activate.cmi
lib/zelus/zlcompilerlibs
lib/zelus/solvers.ml
lib/zelus/solvers.cmx
lib/zelus/solvers.cmt
lib/zelus/solvers.cmi
lib/zelus/run.ml
lib/zelus/run.cmx
lib/zelus/run.cmt
lib/zelus/run.cmi
lib/zelus/opam
lib/zelus/odexx.ml
lib/zelus/odexx.cmx
lib/zelus/odexx.cmt
lib/zelus/odexx.cmi
lib/zelus/node_base.ml
lib/zelus/node_base.cmx
lib/zelus/node_base.cmt
lib/zelus/node_base.cmi
lib/zelus/node.ml
lib/zelus/node.cmx
lib/zelus/node.cmt
lib/zelus/node.cmi
lib/zelus/lift.ml
lib/zelus/lift.cmx
lib/zelus/lift.cmt
lib/zelus/lift.cmi
lib/zelus/illinois.mli
lib/zelus/illinois.ml
lib/zelus/illinois.cmx
lib/zelus/illinois.cmti
lib/zelus/illinois.cmt
lib/zelus/illinois.cmi
lib/zelus/dune-package
lib/zelus/dump.ml
lib/zelus/dump.cmx
lib/zelus/dump.cmt
lib/zelus/dump.cmi
lib/zelus/defaultsolver.ml
lib/zelus/defaultsolver.cmx
lib/zelus/defaultsolver.cmt
lib/zelus/defaultsolver.cmi
lib/zelus/basics.ml
lib/zelus/basics.cmx
lib/zelus/basics.cmt
lib/zelus/basics.cmi
lib/zelus/META
lib/zelus
doc/zelus/README.md
doc/zelus/LICENSE
doc/zelus
bin/zeluc