KIELER SCCharts Release 1.5.0

What's Changed

SCCharts

• Proxy Views: SCCharts-specific renderings by @NiklasRentzCAU in #81

Tooling/Infrastructure

• Add MrTree LS extension and configuration. by @soerendomroes in #73
• Updated ELK semantics setup by @soerendomroes in #109
• Update Deprecated Actions. Bump update-artifact to v4 by @Eddykasp in #111
• Adapt LS Communication to only use one Parameter. by @NiklasRentzCAU in #113
• Rename Language Server Artifact to "kieler-language-server.jar" by @NiklasRentzCAU in #114
• Update to maven-only KLighD patch release 3.0.2 by @NiklasRentzCAU in #115

New Contributors

• @Eddykasp made their first contribution in #111

Full Changelog: release-1.4...release-1.5

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.5.0/
• CLI tools: https://rtsys.informatik.uni-kiel.de/~kieler/files/release_sccharts_1.5.0/cli/
• P2 Repository: https://rtsys.informatik.uni-kiel.de/~kieler/updatesite/release-semantics-1.5.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.

KIELER SCCharts Release 1.4.0

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

What's Changed

SCCharts

• Mindstorms fixes by @NiklasRentzCAU in #76
• NXT template/execution fixes by @NiklasRentzCAU in #82
• Comment nodes of edges now also lead back to their code by @NiklasRentzCAU in #83
• Range Assumptions Propagation by @BLuedtke in #88

Tooling/Infrastructure

• fixed launch configuration regarding verification.ide with KLighD in workspace by @NiklasRentzCAU in #74
• Added ELK stream to oomph setup by @soerendomroes in #90
• Restructured language server component by @a-sr in #91
• Add Apple Silicon dedicated product builds by @a-sr in #94
• Added support for showing compilation logs in Kieler VS Code by @soerendomroes in #95
• Fixed synthesis hook priority handling by @NiklasRentzCAU in #105
• Removed incremental update strategy from launch configuration for language server by @NiklasRentzCAU in #93
• Cleaner jars without Xtext and Xtend source and mapping files by @NiklasRentzCAU in #106
• Removed Sprotty as P2 dependency, update to Maven Dependency LSP4J 0.22.0 for downstream alignment with Sprotty by @NiklasRentzCAU in #108

Full Changelog: release-1.3...release-1.4

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.4.0/
• CLI tools: https://rtsys.informatik.uni-kiel.de/~kieler/files/release_sccharts_1.4.0/cli/
• P2 Repository: https://rtsys.informatik.uni-kiel.de/~kieler/updatesite/release-semantics-1.4.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.

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.