package zelus
A synchronous language with ODEs
Install
Dune Dependency
Authors
Maintainers
Sources
2.2.tar.gz
md5=437ae922f1fda392efca3e37e8b8bb4c
sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6
doc/index.html
zelus
API
Library zelus
Library zelus.zlcompilerlibs
Activate
Add_copy_for_last
Aform
Automata
Causal
Causality
Compiler
Complete
Control
Copy
Cost
Simple cost function for an expressionCse
Defcaus
Type definitions.Definit
Type definitions.Deftypes
Dependences
Deps_tools
Disc
Encore
Fixstep
Global
Graph
Horizon
Init
Initial
Initialization
Inline
Inout
Interface
Letin
Lident
Lmm
Markfunctions
Match2condition
Modules
Oaux
Obc
Ocamlprinter
Oprinter
Patternsig
Pcaus
Period
Pinit
Plmm
Pp_tools
Pre
Present
Printer
Proba
Ptypes
Reduce
reduce expressions that are tagged to be static; leave other unchangedRemove_last_in_patterns
Reset
Schedule
Scoping
Shared
Simulator
Static
static evaluation of expressionsTotal
Translate
Typerrors
Typing
Unsafe
Vars
Write
Zaux
Zconfig
Zdeadcode
Zdepend
Zelus
Zident
Zlexer
Zlocation
Zlus2lmm
Zmatching
Zmisc
Zopt
Zparser
Zparsetree
Ztypes
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page