Merge remote-tracking branch 'origin/acf' into alrd
Merge remote-tracking branch 'origin/development' into alrd
Update test results after ctxt pop fix in overture
Update models tests results.
Merge remote-tracking branch 'origin/development' into newpog
Removed operations from class translation to avoid name clash.
Fixed translation of types in channel declarations.
added dispose check for the styled reguion in the interpreter editor selection
Merge remote-tracking branch 'origin/test' into kel/base
changed debug target such that it again lets the external process get 500ms to write any errors to the console when reporting that it terminated.
code format
fixed error logging in the model checker plugin and cleaned up unused imports
Added new case study.
Fixed reading of transitions in composite states.
Merge remote-tracking branch 'origin/kel/base' into kel/s2c
Added treatment of completion transitions (transitions without a trigger).
Merge remote-tracking branch 'origin/kel/s2c' into kel/s2c
Refactored identification of parent class of state machine.
added support for static functions in s2c+ added type checking of tests
Merge remote-tracking branch 'origin/kel/s2c' into kel/s2c
Merge with origin/development. Small improvement to the semantics rules of formula script.
Merge remote-tracking branch 'origin/kel/base' into acf