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
Merge remote-tracking branch 'origin/development' into newpog
Added new case study.
Fixed reading of transitions in composite states.
Merge remote-tracking branches 'origin/newpog', 'origin/kel/s2c' and 'origin/kel/base' into jwc/base