v0.2.0

Another official release of the KIELER VS Code extension, the VS Code successor of the KIELER SCCharts editor. Find the extension published via Open VSX and the Visual Studio Code Marketplace.

New Features

• Added a model checker view, changed the appereance of the simulation view #43

Changes

• Updated Language Server to the latest KIELER SCCharts Release 1.3.0

Fixes

• Applied Java > 8 compatibility for working with Mindstorms, see kieler/semantics#76