Skip to content

Tags: kieler/semantics

Tags

release-1.5

Toggle release-1.5's commit message
build: Configured release product

release-1.4

Toggle release-1.4's commit message
build: Fixed version in release configuration

release-1.3

Toggle release-1.3's commit message
KIELER SCCharts Release 1.3.0

ben/edge_grouping2

Toggle ben/edge_grouping2's commit message

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
move back to server side only

improves edge layout, significantly

ben/edge_grouping1

Toggle ben/edge_grouping1's commit message

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
unconditionaly mark representative

release-1.2

Toggle release-1.2's commit message
release: Fixed version in cli version file

diagrams21

Toggle diagrams21's commit message
implementation state for diagrams21 paper

ssm-2020-merge

Toggle ssm-2020-merge's commit message
verification: fixed MC counter-example trace

release-1.1.1

Toggle release-1.1.1's commit message
kicool: Improved error output in cli

release-1.1

Toggle release-1.1's commit message
scg: Deactivated final region support also in java system