Merge pull request #160 in KIELER/semantics from nbw/c/statebased.lean.template to master* commit '38ca3a768b48ab4a97132e70ef7e4a6ae4eff962':
statebased.lean.common: Ensure unique names for regions with the same name
statebased.lean.c: Moved common functionality to abstract template
statebased.lean.c: Moved template codegen for C to dedicated package
Merge pull request #159 in KIELER/semantics from nbw/KISEMA-1404-Statebased-Precedence to master* commit 'a1292bed7c4c343d91ebab379c366e9c73b81dbe':
statebased.lean.c: Fixed broken precendences with multiple guards on deleayed transitions
statebased.lean.common: Ensure unique names for regions with the same nameSigned-off-by: Nis Wechselberg <wechselberg.nisboerge@scheidt-bachmann-st.de>
statebased.lean.c: Moved template codegen for C to dedicated packageTo allow for templates for other target languages, the target language should be
represented in the packagename.
Signed-off-by: Nis Wechselberg <wechselberg.nisboerge@scheidt-bachmann-st.de>
sccharts: Fixed ambiguous transition syntax. KISEMA-1399- The sctx grammar no longer supports both orders in transition
definitions. Target state now has to be at the end.
sccharts.ui: Added reserialization commandAdded reserialization command to parse an sctx file, ignoring all user
formatting and syntax options and overrideing the file with newly
serialzed content.
Merge pull request #157 in KIELER/semantics from const-input-for-referenced-sccharts to master* commit '2536877cc8eecca3c8f33a109700bb397ac3ef0c':
sccharts: Reference: declare declarations bound to literals as const, if it was const before kexpressions: don't show error because of missing initialization on const input (for referenced sccharts)
sccharts: Reference: declare declarations bound to literals as const, if it was const beforekexpressions: don't show error because of missing initialization on const input (for referenced sccharts)
Steven Smyth
Nis Wechselberg
Alexander Schulz-Rosengarten
Andreas Stange