diff --git a/build/com.mbeddr.allScripts/build.xml b/build/com.mbeddr.allScripts/build.xml index 0c72c801531..999bc9ec506 100644 --- a/build/com.mbeddr.allScripts/build.xml +++ b/build/com.mbeddr.allScripts/build.xml @@ -17,6 +17,8 @@ + + @@ -486,7 +488,6 @@ - diff --git a/code/languages/com.mbeddr.analyses/languages/com.mbeddr.analyses.cbmc/solutions/pluginSolution/icons/verify.png b/code/languages/com.mbeddr.analyses/languages/com.mbeddr.analyses.cbmc/solutions/pluginSolution/icons/verify.png index b4b4f47e40b..32400780f4e 100644 Binary files a/code/languages/com.mbeddr.analyses/languages/com.mbeddr.analyses.cbmc/solutions/pluginSolution/icons/verify.png and b/code/languages/com.mbeddr.analyses/languages/com.mbeddr.analyses.cbmc/solutions/pluginSolution/icons/verify.png differ diff --git a/code/languages/com.mbeddr.analyses/languages/com.mbeddr.analyses.cbmc/solutions/pluginSolution/models/com/mbeddr/analyses/cbmc/pluginSolution/plugin.mps b/code/languages/com.mbeddr.analyses/languages/com.mbeddr.analyses.cbmc/solutions/pluginSolution/models/com/mbeddr/analyses/cbmc/pluginSolution/plugin.mps index aaebefd7c14..0a41ad73054 100644 --- a/code/languages/com.mbeddr.analyses/languages/com.mbeddr.analyses.cbmc/solutions/pluginSolution/models/com/mbeddr/analyses/cbmc/pluginSolution/plugin.mps +++ b/code/languages/com.mbeddr.analyses/languages/com.mbeddr.analyses.cbmc/solutions/pluginSolution/models/com/mbeddr/analyses/cbmc/pluginSolution/plugin.mps @@ -2723,7 +2723,7 @@ - + diff --git a/code/languages/com.mbeddr.build/solutions/com.mbeddr.platform/models/com/mbeddr/platform/build.mps b/code/languages/com.mbeddr.build/solutions/com.mbeddr.platform/models/com/mbeddr/platform/build.mps index ce147264814..cca4bcf65da 100755 --- a/code/languages/com.mbeddr.build/solutions/com.mbeddr.platform/models/com/mbeddr/platform/build.mps +++ b/code/languages/com.mbeddr.build/solutions/com.mbeddr.platform/models/com/mbeddr/platform/build.mps @@ -242,6 +242,108 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -377,292 +479,222 @@ - + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - - - - + + + + + + - - + + - + - - + + - + - - + + - + - - + + - + - - - - + + + + - - - - + + + + - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - + + + + + - + - - + + - + - - - - - - - - - + + + + + + - - - - - - - - + + - - - - - - - - + + - + - - + + - + - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + @@ -824,2670 +856,2006 @@ - + - - + + - + - - - - - - + + + + + + - - + + - - - - - - - - - - - - - - - - - - - + - - - + + + + - - - + + + + - - - + + + + - - - - - - - - - + + + + - + + + + - - + + - + - + - - - - + + + + - - - - - - - - + + - + - - + + - + - - + + - + - + - - - - + + + + - - + + - - + + - + - - + + - + - - + + - + - - + + - + - - - - - - + + + + - - - + + + + - - - - - - - + + - + - - + + + + - - - - + + + - - - - - - - - - - - - - - - - + + + - - - - + + + - - + + - + + + + + + - + - - + + - + - + - - - - + + + + - - - - + + + + - - - - - - + + + + - - - + + + + - - - - - - - - - + + + + - - - - + + + - - - - - - - - + + + + - + - - + + - + - + - - - - + + + + - - + + - + - - + + - + - - - - - - + + + + - - - + + + - - - - - - - - - - - - - - - - - + + + + + - - + + - + - - - - + + + + - - + + - + - - + + + + + - - - - - - - - - - - - - - - - + + + + - - + + - + - - + + - + + + + + + - + - - + + - + - + - - - - + + + + - - + + - - + + - + + + + + + + - + - - + + - + - + - - - - + + + + - - + + - - + + - + - - + + - - + + - + - - - + + + - - + + - + - - + + - + - + + + + - - + + - + - + - - - - - - - + + + + - - + + + + + + + - + - - - - - - - - - - - - - - - - - - - + + + + - - + + - + - - + + - + - - - - + + + + - - + + - + - - - - - - - - + + - + - + - - + + - + - - - - - - + + + + + + - - - - + + + - - - - + + + - - - - + + + - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - - + + + + + + + + + + - + + + + - - + + - + - - - - - - + + + + + + - - + + - + - - - - + + + - - - - - + + + + - - - - + + + + + + + + + + + + + + + + - - + + - + - - + + - + - - - - + + + - - - - + + + - - - - + + + + + + + + + + + + + + + + + + + + + - + - - + + - + - - - - - - + + + + + + - - + + - + - - + + - + - - - - - + + - - + + + + + + + - + - - + + - + - - + + - + - - - - + + + - + + + + - - + + - + - + - - - - + + + + - - - - - - - - + + - + - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - + + + + - - + + - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - + + + + - + - - + + - + - + - - - - + + + + - - - + + + + - - - + + + + - - - - - - - - - + + + + - - - - - + + - + - - - - - - + + + + - - + + - + + + + + + - + - - + + - + - + - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - + - - + + - + - - + + - + - - - + + + - - - + + + - - - - - - - - - - - - - - + + - + - - + + - + - - + + - + - - - - + + + + + + + + + + + + + + + + - - + + - + - - - - + + + + + + + + + + + + + + + + + + + - - + + - + - - + + - + - - - + + + + - - + + - + - - - - - - + + + + - - + + - + - - + + - - - - - - - - - - - - - + - + - - + + - + - - - - - - + + + + + + - - - - - - - - - - - - - + + + + - - - + + + + - - - - - - + - - + + - + - + - - - - + + + + - - - - + + + + + - - + + - + - - + + - - + + - + - - - - + + + - - - - + + + + + + + + + + + + + + + + + + + + + - - - - + + + - - - - + + + + + + + - + + + + - - + + - + - + - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - + + + + - - + + - + - - + + - - - - - - + + + + - - - + + + + - - - + + + + - - + + - + - - + + - + - - - + + + - - - - + + + - - - - - - - - - - - - - - - + + + + + + + + - - - - - - - - - + + + + - - - - - - - - + + - + - - + + - + - + - - - - + + + + - - - - + + + + - - + + - + - - - - + + + + + + + + + + + + + + + + + + + + + + - - + + - + - + - - + + - + - - - - - - + + + + + + - - - - + + + - - - - + + + - - - - + + + - - - - - - - - - - - - - - - - + + + - - - + + + - - - + + + + - - + + - + - - + + - + - - - + + + + + + + + + + + + + + - - + + - + - - + + - + - - + + - - + + - + - - - - - - - - + + - - - - - - - - + + - + - - - - - - - + + - - + + - + - - + + - + - - + + - + - - - - - - - - - - - - - - - - - - - - - - + + + - - + + - + - - - - + + + + + + - - + + - + - - + + - + - - + + - + - - + + - + - + + + + - - + + - + - - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - + + - + - - + + - + - - + + - - - - - - - - - - - - - - - - - - - + - - + + - + - - - - + + + + - - - - + + + + - - - - - - - + + - - - - + + + - - - + + + - - - - - - - - + + - + - - + + - + - - + + - + - - + + + + + + + + - + - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - + + - + - - + + - + - - + + - + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + - - + + + + + + + + - - + + - + - - - - - - - - - - - - - - - - + + + + - - + + - + - - + + - - - - + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + - + - - + + - + - - - - - - - - - - - - + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + - - + + - + - - + + - + - - + + - + - - + + - + - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + - - + + - + + + + + + + + + + + + + - + - - + + - + - + - - - - - - - - - - - - - - - + + + + + + + + + + + + @@ -3496,3676 +2864,4536 @@ - - - - + + + + - - + + - + - - + + - - + + + + + + + + + + + + + + + + + + + + + + + - + - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - + + + - - - - + + + - - - - - + + + + - - + + - - - - - - - - - - - - - - - - - - - + - - - - - - - - + + - - - - + + + + - + - - + + - - - - - - - - - - - - - - - - - + + + + + + + + - - - - - + + - + - - + + - + - + - - + + - + - - - - - - + + + + + + - - + + - + - - - - + + + + + + - - - - + + + - - - - + + + + + + + + + - - + + - + - - + + + + + - + - + - - + + - + - + - - - - + + + + - - + + - + - - + + - + - - + + - - - - - - - - - - - - - - - - + + + - - - - + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - + + - + - - + + - + - - + + - + - - + + + + + + + + - + + + + - + - - + + - + - + - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - + + - + - - + + - + - - - - + + + + + + + + + + + + + + + + + + + - - + + - + - - - - + + + + - + - - + + - - - - - - - - + + + + + + + + + - - - - - - - - + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + - - + + - - + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + - - - - + + + - - - - + + + - - + + + + + + + + + + - - + + + + + - + - - - + + + + + + - - + + - + - + + + + - - + + - - - - - - + - + - - - - + + + + + + + - - + + - + - - + + - + - - - - - + + + + + - - + + - + - - + + - + - - - + + + + - + - - + + - + - + - - - - + + + + - - - - - - - + + + + + + + + + - - - - - + + + + + - - - - + + + + + - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + - - - - + + + + - - + + - + - - - - - - - - + + - - - - + + + + + + - - - - + + + - - + + + + + + + - + - - + + - + - - + + + + + + + - + - + - - + + - - - - + - + - - - - + + + + - - - - - - - - - - - + + + + - - + + - + - - - - + + - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - - - - - + + + + + - - + + - + - - + + - + - - + + - + - + - - + + - - - - - - - - - - - - - - - - - + + + + + + + + - - - - - - - - - - + + - + - - + + - + + + + + + + - + + + + - - + + - + - - - - - - + + + + + + - - + + + + + + + + + + + + - + - - + + - + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - + + + + + + + + + + - + - - + + - + - - - - - - + + + + + + - - + + - + - - + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + - - + + - + - + - - - - + + + + - - + + - - - - - - - - - - + + + + - - + + - + - - + + - + - - + + - + - - + + - + - + - - + + - + - + - - - - - - - + + + + + + + - - + + - + - - + + - + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + - - + + - + - + - - - - + + + + - - - - - - - - - - - - - + + - - - + + + - - + + - + - - + + - + + + + + + + - - - + + + + + + + + + + + + + + + - + - - + + - + - + - - - - + + + + - - + + - + - - - - + + + + - - + + - + - - - - + + + + - + + + + - - + + - + - - - - - - + + + + + + + + + + + + - - + + - + - - + + - + - - + + - + - - + + - + - - + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + - - - - + + + + + + + + + + + + + + + + - - + + + + + - + - - + + - + - + + + + - - + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + - - + + - - + + - + - - + + - + - - + + - + - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - - - - - + + - + - - + + - + - - + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + - - - + + + + - - + + - + - - - - - - + + + + - - + + - + - - - - - - + + + + + + - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - + + + + - - - - + + + + - - + + + + + + + + + + + - + - - + + - + - + - - - - + + + + - - + + - + - - - + + + + - - - - + + - + - - + + - + - + - - - - + + + + - - + + - - - - - - - + - - + + - - + + - - - - - - - - + + + - - + + - - + + - + - - - - - - - - - - - - - - - - + + + + - - - - - - - - + + - - - - - - - + - - + + - - - - - - - - - - - - - - - - - - - - + - + - - + + - + - + - - - - + + + + - - - - + + + + - - - - + + + + - - + + - + - - - - + + + + - - + + - + + + + + + + + + + + + + - - + + - + - - + + - + - + - - + + - - - - - - - - - + + + + + + + + - - - - - - - - - - - - - + - + - - - - + + + + - - + + - + - - - - - - + + + + - - - - - - - - - + + + + + + + - - - - - + + + + + - - - + + + + - - - - - - - - - - - - - - - - + + + + - - + + + + + - + - - - - + + + - - + + - + - + - - + + - + + + + + + - + - - - - + + + + - - + + - + - - + + - + - - - - - + + - - + + + + + - + - - + + - + - - - - + + + - - - - + + + + + + + + + + + + + + + + - - + + - - - + + + + - - - - - - - - - + + + + + + + + + - + + + + - - + + - + - - - - - - + + + + + + - - - - + + + + - - + + + + + + + + + + + + + + - - - - + + + + - - + + - + - - - + + + + - - - - + + + + + + + + + + + - + - - + + - + + + + - + - - - - + + + + - - + + - + - - + + - + - - + + - + - - - - - - - - - + + + - - - - + + + - - - - + + + + + + + + + - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - + - - + + - + - - - + + + + - + - - + + - - - - - - - - + + + + + + + + + + + + + + + + + - - - + + + + + + - - - - - - - - - - - + + + + + - - + + - + - + + + + - - + + - + - - - - - - + + + + + + - - - - - - - - + + - + - - - + + + + - - - + + + + - - - - - - - - - + + + + - - + + - - + + + + + + + + - + - - + + - + - + - - - - + + + + - - + + - + - - + + - + - - - - - + + - - - - + + + + + + + + + + + + + + + + - - - + + + + - - - - - + + - - - - + + + - - - + + + - - - - - - - - - - - - - - - - + + + + + + + + + + - - - - + + + - + + + + - - + + - + - + - - - - - - - - - - - - + + + + + + - - - - - - - - - - - + + - - + + - + - - + + - + + + + + + + - + - - + + - + - + - - - - + + + + - - + + - + - - + + - + - - + + - + - - + + + + + - - + + + + + - - + + - - - + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + - - + + - + - - - - + + + + - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - - - - - + + + + + - - - - - - - - - - - - - - - - + + + + - - - - - + + + + + - - - - - + + + + + - - + + - + - - + + - + - - - - + + + + + + + + + + + + + + + + + + + - - + + - + - - - - + + + + - - - - - + + - - - - + + + - - + + - - - - - - - - + + + - - - - + + + + - - - - - + + + + + - - - - + - - + + - + - + - - - - + + + + - - + + - + - - + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + + + - - + + - + - + - - - - + + + + - - + + - - - - - - - + - - - - + + + + + + + + + + + + + + + + - - + + - + - - - - + + + + + + - - - - + + + + + + + + + + + + + + + - - - - + + + - - - - + + + + + + + + + + + + + + + + + + + - - + + - + - - + + + + + + + + - + - - + + - + - + - - - - + + + + - - + + - + - - + + - + - - + + - + - - + + - + - - + + + + + - - - + + + + - - + + - + - - - + + + + + + + + + + + - - + + - - - - - - - - - - - - - - - - - - - + - + + + + - - + + - + - + - - - - + + + + - - - - - - - + + + + + - - + + - + - - + + - - + + - + + + + + + + + + + + + + + + + + + + + + + + - + - - + + - + - - - - - - - - - - - - + + + + + + - - - - + + + + - - - - + + + + + + + + + + + + + + + + + + + - - - - + + + + - - - - - + + - - + + + + + + + + - + - - + + - + - - + + - + - + - - + + - + - - - - - - + + + + + + - - + + - + - - + + - + - - + + - + - - - - + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - + + - + - - + + - + - - + + - + - + + + + - - + + - + - + - - - - + + + + - - - + + + - - + + - - + + - + - - + + + + + + + + - - + + - + - - + + - + - - + + - + - - + + - + - - - - + + + + - + - - + + - + - + - - - - + + + + - - - - - - - - - - - - - - - - - - - - + + - + - - + + - + - - + + - + - - + + - + - - + + - - + + - - - - + + + + + - - - + + + - - - - - - - - - - - - - - + + - - - - - - - + - - + + - + - - + + - + - - + + - + - - - - + + + + + + + + + + + + + + + + - - + + + + + + + + + + - + - - + + - + - - + + - + - + - - + + - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + - - + + - + - - + + - + - - + + - + + + + + + + + + + + + + + + + + + + + + + + + + - + - - + + - + - - - - - - + + + + + + - - + + - + - - + + - + - - + + + + + - - - - + + + + + - - + + - - + + - + - - + + - + - - - + + + + + + + @@ -7444,6 +7672,9 @@ + + + @@ -7589,6 +7820,9 @@ + + + @@ -7741,6 +7975,9 @@ + + + @@ -7875,6 +8112,9 @@ + + + @@ -9933,6 +10173,13 @@ + + + + + + + diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/intentions.mps b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/intentions.mps index 09828af0d59..da79038c18b 100644 --- a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/intentions.mps +++ b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/intentions.mps @@ -1512,6 +1512,21 @@ + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/solutions/pluginSolution/icons/hints.png b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/solutions/pluginSolution/icons/hints.png index 5907d12c269..34e3f6333d0 100644 Binary files a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/solutions/pluginSolution/icons/hints.png and b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/solutions/pluginSolution/icons/hints.png differ diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/solutions/pluginSolution/icons/search.png b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/solutions/pluginSolution/icons/search.png index cde5e1bdc15..ffa9cffee89 100644 Binary files a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/solutions/pluginSolution/icons/search.png and b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/solutions/pluginSolution/icons/search.png differ diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/solutions/pluginSolution/icons/terminal.png b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/solutions/pluginSolution/icons/terminal.png index 6ee3efc5e5f..c77981513a2 100644 Binary files a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/solutions/pluginSolution/icons/terminal.png and b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/solutions/pluginSolution/icons/terminal.png differ diff --git a/code/languages/com.mbeddr.doc.aspect/languages/com.mbeddr.doc.aspect/com.mbeddr.doc.aspect.mpl b/code/languages/com.mbeddr.doc.aspect/languages/com.mbeddr.doc.aspect/com.mbeddr.doc.aspect.mpl index ece4aa4d93d..75af3503786 100755 --- a/code/languages/com.mbeddr.doc.aspect/languages/com.mbeddr.doc.aspect/com.mbeddr.doc.aspect.mpl +++ b/code/languages/com.mbeddr.doc.aspect/languages/com.mbeddr.doc.aspect/com.mbeddr.doc.aspect.mpl @@ -126,6 +126,7 @@ + diff --git a/code/languages/com.mbeddr.doc.aspect/languages/com.mbeddr.doc.aspect/icons/toc_closed.gif b/code/languages/com.mbeddr.doc.aspect/languages/com.mbeddr.doc.aspect/icons/toc_closed.gif deleted file mode 100755 index 504acb24448..00000000000 Binary files a/code/languages/com.mbeddr.doc.aspect/languages/com.mbeddr.doc.aspect/icons/toc_closed.gif and /dev/null differ diff --git a/code/languages/com.mbeddr.doc.aspect/languages/com.mbeddr.doc.aspect/icons/toc_closed.png b/code/languages/com.mbeddr.doc.aspect/languages/com.mbeddr.doc.aspect/icons/toc_closed.png new file mode 100644 index 00000000000..1feaca58e64 Binary files /dev/null and b/code/languages/com.mbeddr.doc.aspect/languages/com.mbeddr.doc.aspect/icons/toc_closed.png differ diff --git a/code/languages/com.mbeddr.doc.aspect/languages/com.mbeddr.doc.aspect/models/com/mbeddr/doc/aspect/editor.mps b/code/languages/com.mbeddr.doc.aspect/languages/com.mbeddr.doc.aspect/models/com/mbeddr/doc/aspect/editor.mps index 886ba010100..f452156e2a4 100755 --- a/code/languages/com.mbeddr.doc.aspect/languages/com.mbeddr.doc.aspect/models/com/mbeddr/doc/aspect/editor.mps +++ b/code/languages/com.mbeddr.doc.aspect/languages/com.mbeddr.doc.aspect/models/com/mbeddr/doc/aspect/editor.mps @@ -4,6 +4,7 @@ + diff --git a/code/languages/com.mbeddr.doc.aspect/languages/com.mbeddr.doc.aspect/models/com/mbeddr/doc/aspect/plugin.mps b/code/languages/com.mbeddr.doc.aspect/languages/com.mbeddr.doc.aspect/models/com/mbeddr/doc/aspect/plugin.mps index dd6f079cd4a..71ce417d8ed 100755 --- a/code/languages/com.mbeddr.doc.aspect/languages/com.mbeddr.doc.aspect/models/com/mbeddr/doc/aspect/plugin.mps +++ b/code/languages/com.mbeddr.doc.aspect/languages/com.mbeddr.doc.aspect/models/com/mbeddr/doc/aspect/plugin.mps @@ -3,7 +3,7 @@ - + @@ -15,13 +15,13 @@ - - + + - + - + @@ -47,7 +47,7 @@ - + diff --git a/code/languages/com.mbeddr.doc.aspect/solutions/com.mbeddr.doc.aspect.ui/com.mbeddr.doc.aspect.ui.msd b/code/languages/com.mbeddr.doc.aspect/solutions/com.mbeddr.doc.aspect.ui/com.mbeddr.doc.aspect.ui.msd index 261d21bb5a0..ba026ab412d 100755 --- a/code/languages/com.mbeddr.doc.aspect/solutions/com.mbeddr.doc.aspect.ui/com.mbeddr.doc.aspect.ui.msd +++ b/code/languages/com.mbeddr.doc.aspect/solutions/com.mbeddr.doc.aspect.ui/com.mbeddr.doc.aspect.ui.msd @@ -29,6 +29,7 @@ + diff --git a/code/languages/com.mbeddr.doc.aspect/solutions/com.mbeddr.doc.aspect.ui/icons/toc_closed.gif b/code/languages/com.mbeddr.doc.aspect/solutions/com.mbeddr.doc.aspect.ui/icons/toc_closed.gif deleted file mode 100755 index 504acb24448..00000000000 Binary files a/code/languages/com.mbeddr.doc.aspect/solutions/com.mbeddr.doc.aspect.ui/icons/toc_closed.gif and /dev/null differ diff --git a/code/languages/com.mbeddr.doc.aspect/solutions/com.mbeddr.doc.aspect.ui/icons/toc_closed.png b/code/languages/com.mbeddr.doc.aspect/solutions/com.mbeddr.doc.aspect.ui/icons/toc_closed.png new file mode 100644 index 00000000000..1feaca58e64 Binary files /dev/null and b/code/languages/com.mbeddr.doc.aspect/solutions/com.mbeddr.doc.aspect.ui/icons/toc_closed.png differ diff --git a/code/languages/com.mbeddr.doc.aspect/solutions/com.mbeddr.doc.aspect.ui/models/com/mbeddr/doc/aspect/ui/plugin.mps b/code/languages/com.mbeddr.doc.aspect/solutions/com.mbeddr.doc.aspect.ui/models/com/mbeddr/doc/aspect/ui/plugin.mps index 6d7c6834940..5662b726626 100755 --- a/code/languages/com.mbeddr.doc.aspect/solutions/com.mbeddr.doc.aspect.ui/models/com/mbeddr/doc/aspect/ui/plugin.mps +++ b/code/languages/com.mbeddr.doc.aspect/solutions/com.mbeddr.doc.aspect.ui/models/com/mbeddr/doc/aspect/ui/plugin.mps @@ -11,6 +11,7 @@ + @@ -509,7 +510,7 @@ - + @@ -1832,7 +1833,7 @@ - + @@ -1888,7 +1889,7 @@ - + @@ -2507,7 +2508,7 @@ - + @@ -2548,7 +2549,7 @@ - + @@ -2566,7 +2567,7 @@ - + diff --git a/code/languages/com.mbeddr.mpsutil/.mps/modules.xml b/code/languages/com.mbeddr.mpsutil/.mps/modules.xml index 2378c729959..b5e0552a71a 100755 --- a/code/languages/com.mbeddr.mpsutil/.mps/modules.xml +++ b/code/languages/com.mbeddr.mpsutil/.mps/modules.xml @@ -63,7 +63,7 @@ - + @@ -112,6 +112,7 @@ + @@ -135,7 +136,7 @@ - + @@ -164,8 +165,8 @@ - - + + diff --git a/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.compare.pattern/generator/template/main@generator.mps b/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.compare.pattern/generator/template/main@generator.mps index c31c40024e5..bcade9b2734 100644 --- a/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.compare.pattern/generator/template/main@generator.mps +++ b/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.compare.pattern/generator/template/main@generator.mps @@ -48,6 +48,9 @@ + + + @@ -1097,6 +1100,71 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.compare.pattern/models/constraints.mps b/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.compare.pattern/models/constraints.mps index 9a451a58b6d..308441e73ce 100644 --- a/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.compare.pattern/models/constraints.mps +++ b/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.compare.pattern/models/constraints.mps @@ -3,6 +3,7 @@ + @@ -11,6 +12,7 @@ + @@ -85,6 +87,9 @@ + + + @@ -821,5 +826,44 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.compare.pattern/models/editor.mps b/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.compare.pattern/models/editor.mps index 3be155b7ac8..525a633db8e 100644 --- a/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.compare.pattern/models/editor.mps +++ b/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.compare.pattern/models/editor.mps @@ -12,6 +12,7 @@ + @@ -33,6 +34,9 @@ + + + @@ -928,5 +932,23 @@ + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.compare.pattern/models/structure.mps b/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.compare.pattern/models/structure.mps index 482c88da73b..efd49d82b40 100644 --- a/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.compare.pattern/models/structure.mps +++ b/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.compare.pattern/models/structure.mps @@ -309,5 +309,16 @@ + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.compare.pattern/models/typesystem.mps b/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.compare.pattern/models/typesystem.mps index 9ae21a2bdcd..a91fc520fe6 100644 --- a/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.compare.pattern/models/typesystem.mps +++ b/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.compare.pattern/models/typesystem.mps @@ -41,6 +41,7 @@ + @@ -1183,5 +1184,101 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.lantest/com.mbeddr.mpsutil.lantest.mpl b/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.lantest/com.mbeddr.mpsutil.lantest.mpl index 257c96d690c..6d40812538e 100644 --- a/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.lantest/com.mbeddr.mpsutil.lantest.mpl +++ b/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.lantest/com.mbeddr.mpsutil.lantest.mpl @@ -6,47 +6,7 @@ - - - - - - - - - - fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) diff --git a/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.lantest/languageModels/constraints.mps b/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.lantest/languageModels/constraints.mps index c1c878e44d2..c264a898cb9 100644 --- a/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.lantest/languageModels/constraints.mps +++ b/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.lantest/languageModels/constraints.mps @@ -3,7 +3,6 @@ - diff --git a/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.nodes_tracing/com.mbeddr.mpsutil.nodes_tracing.mpl b/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.nodes_tracing/com.mbeddr.mpsutil.nodes_tracing.mpl index 96805ab6dbd..c703b3d3348 100644 --- a/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.nodes_tracing/com.mbeddr.mpsutil.nodes_tracing.mpl +++ b/code/languages/com.mbeddr.mpsutil/languages/com.mbeddr.mpsutil.nodes_tracing/com.mbeddr.mpsutil.nodes_tracing.mpl @@ -6,59 +6,7 @@ - - - - - - - - - - fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) diff --git a/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.compare.pattern.runtime/models/com/mbeddr/mpsutil/compare/pattern/runtime/plugin.mps b/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.compare.pattern.runtime/models/com/mbeddr/mpsutil/compare/pattern/runtime/plugin.mps index 6b40837ab55..6ae03ec49a1 100644 --- a/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.compare.pattern.runtime/models/com/mbeddr/mpsutil/compare/pattern/runtime/plugin.mps +++ b/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.compare.pattern.runtime/models/com/mbeddr/mpsutil/compare/pattern/runtime/plugin.mps @@ -244,6 +244,7 @@ + @@ -480,6 +481,29 @@ + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.genericactions/com.mbeddr.mpsutil.genericactions.msd b/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.genericactions/com.mbeddr.mpsutil.genericactions.msd new file mode 100644 index 00000000000..df162e90372 --- /dev/null +++ b/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.genericactions/com.mbeddr.mpsutil.genericactions.msd @@ -0,0 +1,41 @@ + + + + + + + + + + 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) + 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) + 371850a9-2c5b-4e1d-a811-70d97e847917(com.mbeddr.mpsutil.editor.utils) + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.genericactions/models/com/mbeddr/mpsutil/genericactions/plugin.mps b/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.genericactions/models/com/mbeddr/mpsutil/genericactions/plugin.mps new file mode 100644 index 00000000000..dd7e11ef533 --- /dev/null +++ b/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.genericactions/models/com/mbeddr/mpsutil/genericactions/plugin.mps @@ -0,0 +1,488 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.lantest.pluginSolution/models/com/mbeddr/mpsutil/lantest/pluginSolution/plugin.mps b/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.lantest.pluginSolution/models/com/mbeddr/mpsutil/lantest/pluginSolution/plugin.mps index 0508537c972..2aa2cf89331 100644 --- a/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.lantest.pluginSolution/models/com/mbeddr/mpsutil/lantest/pluginSolution/plugin.mps +++ b/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.lantest.pluginSolution/models/com/mbeddr/mpsutil/lantest/pluginSolution/plugin.mps @@ -12,8 +12,8 @@ + - diff --git a/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.lantest.rt/com.mbeddr.mpsutil.lantest.rt.msd b/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.lantest.rt/com.mbeddr.mpsutil.lantest.rt.msd index 253b002004a..f71828a4b7e 100644 --- a/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.lantest.rt/com.mbeddr.mpsutil.lantest.rt.msd +++ b/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.lantest.rt/com.mbeddr.mpsutil.lantest.rt.msd @@ -18,7 +18,6 @@ ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure) 9a4afe51-f114-4595-b5df-048ce3c596be(jetbrains.mps.runtime) - b401a680-8325-4110-8fd3-84331ff25bef(jetbrains.mps.lang.generator) @@ -47,7 +46,6 @@ - diff --git a/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.lantest.rt/models/com/mbeddr/mpsutil/lantest/rt/gen.mps b/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.lantest.rt/models/com/mbeddr/mpsutil/lantest/rt/gen.mps index ab308fa94a5..7b4f3e0cd4d 100644 --- a/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.lantest.rt/models/com/mbeddr/mpsutil/lantest/rt/gen.mps +++ b/code/languages/com.mbeddr.mpsutil/solutions/com.mbeddr.mpsutil.lantest.rt/models/com/mbeddr/mpsutil/lantest/rt/gen.mps @@ -12,7 +12,6 @@ - @@ -21,9 +20,7 @@ - - @@ -36,20 +33,14 @@ - - - - - - diff --git a/code/languages/com.mbeddr.mpsutil/tests/com.mbeddr.mpsutil.compare.pattern.test/models/com/mbeddr/mpsutil/compare/pattern/test/basic@tests.mps b/code/languages/com.mbeddr.mpsutil/tests/com.mbeddr.mpsutil.compare.pattern.test/models/com/mbeddr/mpsutil/compare/pattern/test/basic@tests.mps index bf1cce40d46..f2c84fb8bc5 100644 --- a/code/languages/com.mbeddr.mpsutil/tests/com.mbeddr.mpsutil.compare.pattern.test/models/com/mbeddr/mpsutil/compare/pattern/test/basic@tests.mps +++ b/code/languages/com.mbeddr.mpsutil/tests/com.mbeddr.mpsutil.compare.pattern.test/models/com/mbeddr/mpsutil/compare/pattern/test/basic@tests.mps @@ -182,6 +182,7 @@ + @@ -221,6 +222,13 @@ + + + + + + + @@ -235,6 +243,9 @@ + + + @@ -499,6 +510,29 @@ + + + + + + + + + + + + + + + + + + + + + + +