Merge remote-tracking branch 'origin/development' into sdf
initial s2c parser
added initial model
Merge remote-tracking branch 'origin/development' into sdf
updated s2c with dom and cml generator using text + UI for the ide that enabled the convert command in the cml navigator on xmi files
close #227 fixed the intialization of the initial root context such that it includes the statics. Also fixed issue where the Interpeter.getInstance() was wrongly initialized twice.
Merge remote-tracking branch 'origin/kel/base' into jwc/base
Remove nondeterministic form of assignment declarations
E.g. x : int in (0<x and x<10)
(This was never implemented anyway.)
Resize Kill Isabelle Icon. Fixes #278.
Test for #252 (fixed in Overture).
Add test for #252 identified as such.
Update test result with improved pogging of atomic assignments
Add test for #259 (fixed in Overture).
Merged with origin/development. Small improvements to the formula script to improve performance.
added support for classes with state machines. Adding support for properties and operations

also updated the initial test model such that is is cml correct and added a body for the operation
Update test results after ctxt pop fix in overture
Update models tests results.
Merge remote-tracking branches 'origin/newpog' and 'origin/acf' into jwc/base
Added treatment for hierarchy of states to the XMI reader.
Added field substates and transitions to class State.
Updated lookUpState in the State and StateMachine to deal with the hierarchy.
Added casestudy HSUV.xmi
Merge remote-tracking branch 'origin/development' into newpog