package zelus

  1. Overview
  2. Docs
A synchronous language with ODEs

Install 

dune-project
 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.1.tar.gz
sha256=cb0f7bacc33a4bb425683e2def67359fcf6d402545a32f7f953c4822a9a01862
md5=83fb886e4b14ce286e7a6eb59248be4b

doc/zelus.zlcompilerlibs/Deadcode/index.html

Module Deadcode

type table = cont Ident.Env.t

horizons are considered to be useful

and cont = {
  1. mutable c_vars : Ident.S.t;
  2. mutable c_useful : bool;
  3. mutable c_visited : bool;
}
val print : Format.formatter -> cont Ident.Env.t -> unit

Useful function. For debugging purpose.

val add : bool -> Ident.S.t -> Ident.S.t -> cont Ident.Env.t -> cont Ident.Env.t

is marked to also depend on names in names

Fusion of two tables

val build_equation : cont Ident.Env.t -> Zelus.eq -> cont Ident.Env.t

Build the association table yk -> { x1,..., xn}

val build_block : cont Ident.Env.t -> Zelus.eq list Zelus.block -> cont Ident.Env.t
val build_local : cont Ident.Env.t -> Zelus.local -> cont Ident.Env.t
val build_equation_list : cont Ident.Env.t -> Zelus.eq list -> cont Ident.Env.t

read is a set of variables

val is_empty_block : 'a list Zelus.block -> bool

Empty block

remove useless names in write names

val remove_equation : Ident.S.t -> Zelus.eq -> Zelus.eq list -> Zelus.eq list

Remove useless equations. useful is the set of useful names

val remove_equation_list : Ident.S.t -> Zelus.eq list -> Zelus.eq list
val remove_block : Ident.S.t -> Zelus.eq list Zelus.block -> Zelus.eq list Zelus.block
val remove_local : Ident.S.t -> Zelus.local -> Zelus.local
val horizon : Ident.S.t -> Zelus.local -> Ident.S.t

Compute the set of horizons

val exp : Zelus.exp -> Zelus.exp

the main entry for expressions. Warning: e must be in normal form