package zelus
 sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >
  
  
On This Page
  
  
  A synchronous language with ODEs
Install
    
    dune-project
 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
- CostSimple cost function for an expression
- Cse
- DefcausType definitions.
- DefinitType 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
- Reducereduce expressions that are tagged to be static; leave other unchanged
- Remove_last_in_patterns
- Reset
- Schedule
- Scoping
- Shared
- Simulator
- Staticstatic evaluation of expressions
- Total
- 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