KIELER SCCharts Release 1.3.0

We are happy to provide a new release of the KIELER SCCharts Editor and Compiler.

What's Changed

General

• Moved code to GitHub
• Improved code base by addressing warnings by @Skgland
• Improved verification support by @BLuedtke in #2, #4, #12
• Changed behavior of verification properties in regular compilation by @a-sr in #49
• Improved benchmarking and analysis capabilities of KiCo by @a-sr in #61

SCCharts

• Smart zoom support for state labels by @Trayan7
• Added support for simple OED actions by @lgr-rtsys
• Improved OO support by @a-sr
• Added enums by @a-sr
• Fixed termination of final states with only entry actions by @a-sr
• Added model order in diagrams by @soerendomroes in #60
• Fix infinite self-loop due to exit transformation by @fabianheyer in #15

Language Server

• Added support for loading/saving simulation traces by @NiklasRentzCAU
• Various internal improvements by @soerendomroes in #6 and @NiklasRentzCAU in #51, #57
• Added support for verification by @Drakae in #67

Full Changelog: release-1.2...release-1.3

Download & Installation

The artifacts of this release can be found at the following locations:

• Eclipse RCA: https://rtsys.informatik.uni-kiel.de/~kieler/files/release_sccharts_1.3.0/
• CLI tools: https://rtsys.informatik.uni-kiel.de/~kieler/files/release_sccharts_1.3.0/cli/
• P2 Repository: https://rtsys.informatik.uni-kiel.de/~kieler/updatesite/release-semantics-1.3.0/

The KIELER VS Code extension can be found in the VS Code Marketplace or on Open VSX. The corresponding release notes will reveal which version of Kieler is used by the underlying language server.

Please visit the Download & Installation wiki page for further installation instructions, details on different variants of the tools, and system requirements. Please be advised that running the Eclipse RCA or CLI on Mac OS, especially on Apple silicon, will require additional steps.