Page History

...

• Validation for SCCharts
  • Transformation into validation backends
    
    • SMV
    • nuXMV
    • SPIN
  • A validation view to interactively validate models and simulation counter examples
• Circuit Diagrams and Syntheses
• Re-engineered Dataflow synthesis
• Causal Dataflow View
• Direct Lego NXT support for KiCo
• Improved compile-time evaluation of constant expressions
  
  • Floats are cast automatically to ints, if the generator can evaluate the expression
• Fixed a associativity problems in KExpressions
• C AST Generation via GCC
• Object Orientation (see Object Orientation)
  
  • Class and struct Types
  • SCCharts class modeling
  • Methods
  • For/While loops
• Improved hostcode integration
• Improved timed SCCharts (see Timed Automata)
• SCCharts Java Debugging
• Dropped support for 32bit RCA
• Reworked deferred transformation
• Lustre Support
  • Transformation to SCCharts
  • Integration of Lustre V6 compiler
  • Simulation
  • Synthesis using SCCharts transformation

Fixed Issues

...