Page History

...

• Validation for SCCharts
  
  • SMV
  • nuXMV
  • SPIN
• Circuit Diagrams and Syntheses
• 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

Known Problems and Limitations

...