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/Misc/index.html

Module Misc

val header_in_file : string
module S : sig ... end
module Env : sig ... end
val name_of_stdlib_module : string
val standard_lib : string
val default_used_modules : string list ref
val load_path : string list ref
val set_stdlib : string -> unit
val locate_stdlib : unit -> unit
val show_version : unit -> unit
val simulation_node : string option ref
val set_simulation_node : string -> unit
val outname : string option ref
val set_outname : string -> unit
val node_outname : string option ref
val set_node_outname : string -> unit
val number_of_checks : int ref
val set_check : int -> unit
val sampling_period : float ref
val set_sampling_period : float -> unit
val inlining_level : int ref
val set_inlining_level : int -> unit
val inline_all : bool ref
val dzero : bool ref
val verbose : bool ref
val vverbose : bool ref
val print_types : bool ref
val print_causality_types : bool ref
val print_initialization_types : bool ref
val typeonly : bool ref
val use_gtk : bool ref
val no_stdlib : bool ref
val no_causality : bool ref
val no_initialisation : bool ref
val no_opt : bool ref
val no_deadcode : bool ref
val no_simplify_causality_type : bool ref
val no_reduce : bool ref
val no_warning : bool ref
val zsign : bool ref
val with_copy : bool ref
val use_rif : bool ref
val build_deps : bool ref
val lmm_nodes : S.t ref
val set_lmm_nodes : string -> unit
class name_generator : object ... end
val symbol : name_generator
class name_assoc_table : (int -> string) -> object ... end
val int_to_letter : int -> int -> string
val int_to_alpha : int -> string
val generic : int
val notgeneric : int
val maxlevel : int
val binding_level : int ref
val top_binding_level : unit -> bool
val push_binding_level : unit -> unit
val pop_binding_level : unit -> unit
val reset_binding_level : unit -> unit
val optional : ('a -> 'b -> 'a) -> 'a -> 'b option -> 'a
val optional_unit : ('a -> 'b -> unit) -> 'a -> 'b option -> unit
val optional_map : ('a -> 'b) -> 'a option -> 'b option
val optional_with_map : ('a -> 'b -> 'c * 'a) -> 'a -> 'b option -> 'c option * 'a
val optional_get : 'a option -> 'a
val iter : ('a -> 'b) -> 'a list -> 'b list
val fold : ('a list -> 'b -> 'a list) -> 'b list -> 'a list
val from : int -> int list
val map_fold : ('a -> 'b -> 'c * 'a) -> 'a -> 'b list -> 'c list * 'a
val firsts : 'a list -> 'a list * 'a
module State : sig ... end

The data-structure to represent a state

exception Error
val internal_error : string -> (Format.formatter -> 'a -> unit) -> 'a -> 'b