package zelus

  1. Overview
  2. Docs
A synchronous language with ODEs

Install

Dune Dependency

zelus.di.ens.fr Readme Edit opam file Versions (2)

Authors

  1. T
    Timothy Bourke <timothy.bourke@inria.fr>
  2. M
    Marc Pouzet <marc.pouzet@ens.fr>

Maintainers

  1. M
    Marc Pouzet <marc.pouzet@ens.fr>

Sources

2.2.tar.gz
md5=437ae922f1fda392efca3e37e8b8bb4c
sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6

doc/zelus.zlcompilerlibs/Markfunctions/index.html

Module Markfunctions

type info = {
  1. inputs : Causal.S.t;
  2. outputs : Causal.S.t;
  3. o_table : Causal.S.t Causal.M.t;
  4. io_table : Causal.S.t Causal.M.t;
}
val funexp_info : Zelus.funexp -> info
val to_inline : info -> Defcaus.tc list -> Defcaus.tc -> bool
val funexp_mark_to_inline : info -> Zelus.funexp -> Zelus.funexp
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct