KIELER Project


Get me back to the home page!

Page tree

Versions Compared

Old Version 3

changes.mady.by.user Alexander Schulz-Rosengarten

Saved on

compared with

New Version 4

changes.mady.by.user Steven Smyth

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

VersionRCAUpdatesite
1.1https://rtsys.informatik.uni-kiel.de/~kieler/files/release_sccharts_1.1.0/https://rtsys.informatik.uni-kiel.de/~kieler/updatesite/release-semantics-1.1.0/

Release Notes

Whats new in KIELER SCCharts?

...

  • Validation for SCCharts
    • SMV
    • nuXMV
    • SPIN

Changes in KIELER

  • 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
  • Lustre support

...

  • C AST Generation via GCC

Known Problems and Limitations

...