Change-Id: I25a0481ca27a4c31cf681ff36f943753b732ac4b
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

Change-Id: I617b719c9234d5ea809d5f7723c595f41111c54e
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

bug: https://bugs.polarsys.org/show_bug.cgi?id=1823


Change-Id: I867a8d054185511a33e877a1cc90e6a6a7e92d9c
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

Change-Id: Ied0d9778ba6787482c4ac33ebecefa0b974a41b5
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

Change-Id: I828dee11c3ea1121f3b285e9f958ebbae047323c
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

and improved methods isBooleanType, isRealType etc...

Change-Id: I29b51865d8be8e9555b496fcbf4b17386d2618a5
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

- improved code
- fixedunexpected exception in refinementView and HierarchicalView
plugins
- fixed misplaced diagrams in the generated doc
- fixed license header of some classes

Change-Id: If6c9b182b4d807211fbcf4634fa964fdacbf9c8f
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

Change-Id: I649d9ddccd11b44829c083e78eead56233baa19b
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

plugins

Change-Id: I0b06056f1477957c8cca623d95098391de555e8a
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

Change-Id: I21f4a59f3566ea5462cff25f8395592ebe5feebf
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

instanceView needs to be fixed, some problems with IncQuery and Xtext
dependencies

Change-Id: I31e55e298e232964498891be3398b550b2ab52ff
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

Change-Id: I93b8c36709206e89e09eaf9a2be3a2c8bc3694f3
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

- contractEditor
- contraintEditor
- propertyEditor

- hierarchicalContractView
- refinementView

- safetyAnalysis

- verificationService

- diagram.eu


Change-Id: Ia8617063336b0d866b66555d0ac319432a610486
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

Update to the contributors header of the changed files related to the previous commit

Bug: https://bugs.polarsys.org/show_bug.cgi?id=1821


Signed-off-by: Irfan Sljivo <irfan.sljivo@gmail.com>

Support for alternative way of checking contract refinement with OCRA tool by distinguishing between strong and weak contracts. The corresponding MTL transformation updated, new command for validation of weak contracts added as well as update of contract statusses upon validation check.

Bug: https://bugs.polarsys.org/show_bug.cgi?id=1821


Signed-off-by: Irfan Sljivo <irfan.sljivo@gmail.com>