Merge remote-tracking branch 'origin/development' into sdf
Merge remote-tracking branch 'origin/development' into sdf
Update test results after ctxt pop fix in overture
Update models tests results.
Merge remote-tracking branch 'origin/development' into newpog
Merge remote-tracking branch 'origin/development' into sdf
Began work on a visitor to implement the FV function for the refinement tool
Removed operations from class translation to avoid name clash.
Fixed translation of types in channel declarations.
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 commit '60bd844' into sdf
Fixed some bugs in the visitor and added a number of bits of missing syntax, notably parameterised actions are now support (only head form at the moment, not the AST node)
Added second version of translation for state machines with interlevel transitions.
added visibility for ops and props
added unit test that tests all xmi files
renamed the initial s2c to be excluded