Page History

...

• Validation for SCCharts
  
  • SMV
  • nuXMV
  • SPIN
• Circuit Diagrams and Syntheses
• New Dataflow synthesis
• Causal Dataflow View
• Direct Lego NXT support for KiCo
• Expressions in Const Declarations are evaluated
• Float are cast automatically to ints, if the generator can evaluate the expression
• Fixed a associativiy bug in the kexpressions
• C AST Generation via GCC
• Dropped support for 32bit RCA
• Object Orientation
  • Classes
  • Structs
  • SCCharts as classes
  • methods
    • code effects
  • For/While loops
• CLI
• Hostcode
  • #resource
  • host class
• Improvements for timed SCCharts

Fixed Issues

...