KIELER Project


Get me back to the home page!

Page tree
Skip to end of metadata
Go to start of metadata

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 13 Next »


KIELER SCCharts Release 1.1

We are happy to provide a new release of the Kiel Integrated Environment for Layout Eclipse Rich Client SCCharts Editor and Compiler!

Installation

You can either download the Rich Client Application (RCA) which is a self-contained application bundled with everything you need to run KIELER SCCharts, or you can install the single KIELER SCCharts features via an update site on top of your own Eclipse installation.

  • You'll require a Java Runtime Environment >= version 1.8

Download

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
  • 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
  • SCCharts Java Debugging

Fixed Issues

Key Summary T Created Updated Assignee Reporter P Status Resolution
Refresh

Known Problems and Limitations

Kieler on Mac OS

After downloading KIELER, Mac OS quarantines the application and, for some reason, considers the app broken and wants you to move it into the Trash.
Hence, if you want to use KIELER on your Mac, you have to remove the quarantine flag manually. You can use the following command:

xattr -rc com.apple.quarantine ./Kieler.app


Bug Reports, Comments

We're working hard to make the graphical modeling user experience as convenient as possible. However, bugs can still remain in the code and some things might not be as you would expect them. Please don't hesitate to send in bug reports or give other comments like feature requests.

Use our Bugtracker file bug reports. For news or general questions subscribe to the rt-kieler mailing list.

  • No labels