Page History
...
- Official Project Website
- Built on Eclipse 4.14 15 "20192020-1203"
We are happy to provide a new release of the Kiel Integrated Environment for Layout Eclipse Rich Client SCCharts Editor and Compiler!
...
- You'll require a Java Runtime Environment >= version 1.8
- With KIELER 1.1 we only support 64bit architectures
There is also a command line interface for the KIELER compiler. You can use the executable jar or a platform specific execrable file.
Download
Release Notes
Whats new in KIELER SCCharts 1.1?
- 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
- Transformation into validation backends
- SCCharts Extensions
- Added weak entry & exit actions
- Reworked deferred transformation
- Analyses & Visualization
- Re-engineered Dataflow synthesis
- Circuit Diagrams and Syntheses
- New Dataflow synthesis
- Causal Dataflow View
- Compiler Extensions
- 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
- 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 | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
|
...
Code Block |
---|
xattr -rc com.apple.quarantine ./Kieler.app |
Collapse/Expand and Simulation Highlighting stops working (Fixed in 1.1.1)
After some time, usually related to diagram updates or synthesis option changes, the collapse/expand functionality of regions, as well as any simulation highlighting will stop working. This is caused by a bug in Klighd.
A possible workaround is activating the "Force simply update strategy" option of the Diagram view. The option is located in menu at the right side of the view's toolbar.
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.
...