Removed operations from class translation to avoid name clash.
Fixed translation of types in channel declarations.
Added translation of classes
Restricted translation to blocks only
updated s2c
added new version of dwarf simple
Merge remote-tracking branch 'origin/kel/s2c' into jwc/base
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