Versions Compared

Key

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

...

  • Command-line compiler for the KIELER compiler
  • Object Orientation (see Object Orientation)
    • Class and struct Types
    • SCCharts class modeling
    • Methods
    • For/While loops
  • Lustre Support
    • Transformation to SCCharts
    • Integration of Lustre V6 compiler
    • Simulation
    • Synthesis using SCCharts transformation
  • Validation for SCCharts
    • Transformation into validation backends
      • SMV
      • nuXMV
      • SPIN
    • A validation view to interactively validate models and simulation counter examples
  • SCCharts Extensions
    • Added weak entry & exit actions
    • Reworked deferred transformation
  • Analyses & Visualization
    • Re-engineered Dataflow synthesis
    • Circuit Diagrams and Syntheses
    • Causal Dataflow View
  • Compiler Extensions
    • Direct Lego NXT support for KiCo
    • C AST Generation via GCC
    • Improved hostcode integration
    • Improved timed SCCharts (see Timed Automata)
    • SCCharts Java Debugging (experimental)
    • Stream-lined direct State-based compilation for actions
    • Added Netlist-based code optimization for _GO
    • Improved compile-time evaluation of constant expressions
    • Fixed minor bugs in associativity of KExpressions 
  • Dropped support for 32bit RCA

Whats new in KIELER SCCharts 1.1.1?

  • Build against KLighD 1.1.1 resolving issues with incremental update breaking modeling process (editor association, collapse/expand of regions, and simulation highlighting)
  • Minor bug fixes

Fixed Issues

Jira
serverJIRA
columnskey,summary,type,created,updated,assignee,reporter,priority,status,resolution
maximumIssues5
jqlQueryproject = KISEMA AND fixVersion = 1.1 AND status = Closed
serverId2851bd34-0bf1-3f02-ab12-7d77ccab0fae

...