Fix: build with gradle automatically downloads suitable jvm if not installed (hence, gradlew bootRun , gradlew ... work even without pre-installed java virtual machine)
Fix: hint in README on required relaxed security settings for using installer
Extension: Abstract representation classes for expressions added

Improved SysML v2 & KerML compiler, error reporting in UI

• Improved compatibility (ISQ library)
• Added support for unioning, differencing of types in KerML
• Bugfixes

• Bugfix in rendering of ":="
• Added support for some more SysML v2, e.g. Port Conjugation

• Added support for Structure, Behavior, Step, ... in KerML
• Revised tutorial w.r.t. above features
• Bugfixes (UI Crash, Compiler issues, ...)

• Re-worked parser (interface compiler - semantic actions)
• Increased supported subset of KerML and SysML v2 (subsetting, feature chains, and more)
• Slightly improved UI (less small and cryptic icons - slightly larger menu, thanks Theo)
• Fixed errors or incompatibilities (memberships for owned elements now as in standard)
• Started improving compliance of Expressions to standard

• Fixed some issues in the compiler.
• Updated dependencies and build environment.

• Fixed small issues in solver for the Integers
• Updated versions of build framework, dependencies
• (13.06.25: added Windows MSI installer)

Improved parser

• added support for guarded actions
• fixed require and assert constraint

• Fix in error recovery; still buggy
• Improved tutorial