diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index e9815d7d..c6777084 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -67,8 +67,8 @@ jobs: - name: Upload distribution uses: actions/upload-artifact@v4 with: - name: fasten-distribution-win-2023.2-${{ steps.time.outputs.time }} - path: build/distributions/fasten-2023.2-SNAPSHOT-Win-2023.2-SNAPSHOT.zip + name: fasten-distribution-win-2024.1-${{ steps.time.outputs.time }} + path: build/distributions/fasten-2024.1-SNAPSHOT-Win-2024.1-SNAPSHOT.zip publish: # Only publish on push (to maintenance or master) or on dispatch if requested diff --git a/README.md b/README.md index ce5f9493..d41814aa 100644 --- a/README.md +++ b/README.md @@ -19,7 +19,7 @@ and build the languages. * copy the *gradle.properties.example* as *gradle.properties* and replace "<...>" with your paths, github-username and a token with rights to access github-packages - in *Windows* please note that the paths should use *slash* instead of *back-slash*, and they must NOT contain any *space* character (' ') - e.g. ```properties - mpsHomeDir=C:/work/MPS_2023.2 + mpsHomeDir=C:/work/MPS_2024.1 mbeddr.formal.home=C:/work/mbeddr.formal gpr.user= gpr.token= @@ -31,7 +31,7 @@ and build the languages. ## Building (from MPS) -1. [download](https://www.jetbrains.com/mps/download/previous.html) and install MPS 2023.2 +1. [download](https://www.jetbrains.com/mps/download/previous.html) and install MPS 2024.1 2. run `gradlew.bat setup`. You can skip this step if you have built the project with Gradle already. 3. start MPS 4. in 'Settings->Appearance & Behavior->Path Variables', set the path variable `mbeddr.formal.home` to point to the directory which contains the cloned 'mbeddr.formal' repository. diff --git a/build.gradle.kts b/build.gradle.kts index f35ab44e..59a776a6 100644 --- a/build.gradle.kts +++ b/build.gradle.kts @@ -15,7 +15,7 @@ plugins { id("de.itemis.mps.gradle.common") version mpsGradlePluginVersion } -val jbrVers = "17.0.8.1-b1000.32" +val jbrVers = "17.0.11-b1207.30" downloadJbr { jbrVersion = jbrVers @@ -35,9 +35,9 @@ if (nexusUsername == null) { logger.info("Repository username: {}", nexusUsername) // Project versions -val major = "2023" -val minor = "2" -val bugfix = "" +val major = "2024" +val minor = "1" +val bugfix = "1" fun appendOpt(str:String, pre:String) = if(!str.isEmpty()) "${pre}${str}" else "" @@ -98,19 +98,11 @@ configurations { dependencyLocking { lockAllConfigurations() } repositories { - val dependencyRepositories = listOf("https://artifacts.itemis.cloud/repository/maven-mps", - "https://maven.pkg.github.com/mbeddr/*") + val dependencyRepositories = listOf("https://artifacts.itemis.cloud/repository/maven-mps") for (repoUrl in dependencyRepositories) { maven { url = uri(repoUrl) - - if (repoUrl.startsWith("https://maven.pkg.github.com/")) { - credentials { - username = project.property("gpr.user") as String - password = project.property("gpr.token") as String - } - } } } mavenCentral() diff --git a/build/scripts/build_all_scripts.xml b/build/scripts/build_all_scripts.xml index 25cd349c..2bfacaad 100644 --- a/build/scripts/build_all_scripts.xml +++ b/build/scripts/build_all_scripts.xml @@ -21,6 +21,7 @@ + @@ -61,7 +62,6 @@ - @@ -101,7 +101,6 @@ - @@ -133,7 +132,7 @@ - mps.build.number=${mps.build.number}${line.separator}mps.date=${mps.date}${line.separator}mps.build.vcs.number=${mps.build.vcs.number}${line.separator}mps.teamcity.buildConfName=${mps.teamcity.buildConfName}${line.separator}mps.idea.platform.build.number=${mps.idea.platform.build.number}${line.separator}mps.mps.build.counter=${mps.mps.build.counter}${line.separator}mpsBootstrapCore.version.major=${mpsBootstrapCore.version.major}${line.separator}mpsBootstrapCore.version.minor=${mpsBootstrapCore.version.minor}${line.separator}mpsBootstrapCore.version.bugfixNr=${mpsBootstrapCore.version.bugfixNr}${line.separator}mpsBootstrapCore.version.eap=${mpsBootstrapCore.version.eap}${line.separator}mpsBootstrapCore.version=${mpsBootstrapCore.version}${line.separator}com.mbeddr.platform.major.version=${com.mbeddr.platform.major.version}${line.separator}com.mbeddr.platform.minor.version=${com.mbeddr.platform.minor.version}${line.separator}com.mbeddr.platform.build=${com.mbeddr.platform.build}${line.separator}com.mbeddr.platform.mbeddr.version=${com.mbeddr.platform.mbeddr.version}${line.separator}de.itemis.mps.extensions.versionNumber=${de.itemis.mps.extensions.versionNumber}${line.separator}com.mbeddr.mpsutil.actionsfilter.major.version=${com.mbeddr.mpsutil.actionsfilter.major.version}${line.separator}com.mbeddr.mpsutil.actionsfilter.minor.version=${com.mbeddr.mpsutil.actionsfilter.minor.version}${line.separator}com.mbeddr.mpsutil.actionsfilter.build=${com.mbeddr.mpsutil.actionsfilter.build}${line.separator}com.mbeddr.mpsutil.actionsfilter.mbeddr.version=${com.mbeddr.mpsutil.actionsfilter.mbeddr.version} + mps.build.number=${mps.build.number}${line.separator}mps.date=${mps.date}${line.separator}mps.build.vcs.number=${mps.build.vcs.number}${line.separator}mps.teamcity.buildConfName=${mps.teamcity.buildConfName}${line.separator}mps.idea.platform.build.number=${mps.idea.platform.build.number}${line.separator}mps.mps.build.counter=${mps.mps.build.counter}${line.separator}mps.runtimeBuild=${mps.runtimeBuild}${line.separator}mpsBootstrapCore.version.major=${mpsBootstrapCore.version.major}${line.separator}mpsBootstrapCore.version.minor=${mpsBootstrapCore.version.minor}${line.separator}mpsBootstrapCore.version.bugfixNr=${mpsBootstrapCore.version.bugfixNr}${line.separator}mpsBootstrapCore.version.eap=${mpsBootstrapCore.version.eap}${line.separator}mpsBootstrapCore.version=${mpsBootstrapCore.version}${line.separator}com.mbeddr.platform.major.version=${com.mbeddr.platform.major.version}${line.separator}com.mbeddr.platform.minor.version=${com.mbeddr.platform.minor.version}${line.separator}com.mbeddr.platform.build=${com.mbeddr.platform.build}${line.separator}com.mbeddr.platform.mbeddr.version=${com.mbeddr.platform.mbeddr.version}${line.separator}de.itemis.mps.extensions.versionNumber=${de.itemis.mps.extensions.versionNumber}${line.separator}com.mbeddr.mpsutil.actionsfilter.major.version=${com.mbeddr.mpsutil.actionsfilter.major.version}${line.separator}com.mbeddr.mpsutil.actionsfilter.minor.version=${com.mbeddr.mpsutil.actionsfilter.minor.version}${line.separator}com.mbeddr.mpsutil.actionsfilter.build=${com.mbeddr.mpsutil.actionsfilter.build}${line.separator}com.mbeddr.mpsutil.actionsfilter.mbeddr.version=${com.mbeddr.mpsutil.actionsfilter.mbeddr.version} @@ -161,99 +160,11 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + @@ -291,6 +202,9 @@ + + + @@ -307,6 +221,9 @@ + + + diff --git a/code/languages/com.fasten.symo/.mps/migration.xml b/code/languages/com.fasten.symo/.mps/migration.xml index d62e30e5..5524d8e3 100644 --- a/code/languages/com.fasten.symo/.mps/migration.xml +++ b/code/languages/com.fasten.symo/.mps/migration.xml @@ -11,6 +11,7 @@ - + + \ No newline at end of file diff --git a/code/languages/com.fasten.symo/languages/com.fasten.symo.hw/com.fasten.symo.hw.mpl b/code/languages/com.fasten.symo/languages/com.fasten.symo.hw/com.fasten.symo.hw.mpl index d268f8a6..80724c18 100644 --- a/code/languages/com.fasten.symo/languages/com.fasten.symo.hw/com.fasten.symo.hw.mpl +++ b/code/languages/com.fasten.symo/languages/com.fasten.symo.hw/com.fasten.symo.hw.mpl @@ -67,7 +67,6 @@ - diff --git a/code/languages/com.mbeddr.formal.cprover/.mps/migration.xml b/code/languages/com.mbeddr.formal.cprover/.mps/migration.xml index 8cebed28..a236af66 100644 --- a/code/languages/com.mbeddr.formal.cprover/.mps/migration.xml +++ b/code/languages/com.mbeddr.formal.cprover/.mps/migration.xml @@ -6,7 +6,8 @@ + - + \ No newline at end of file diff --git a/code/languages/com.mbeddr.formal.nusmv/.mps/migration.xml b/code/languages/com.mbeddr.formal.nusmv/.mps/migration.xml index a2e96ad5..475d1f0b 100644 --- a/code/languages/com.mbeddr.formal.nusmv/.mps/migration.xml +++ b/code/languages/com.mbeddr.formal.nusmv/.mps/migration.xml @@ -12,6 +12,7 @@ - + + \ No newline at end of file diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.activity/com.fasten.base.activity.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.activity/com.fasten.base.activity.mpl index 4bc2286b..c89daa07 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.activity/com.fasten.base.activity.mpl +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.activity/com.fasten.base.activity.mpl @@ -60,7 +60,6 @@ - @@ -140,7 +139,6 @@ - diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.git/com.fasten.base.git.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.git/com.fasten.base.git.mpl index a5a1bcc7..f99e1d86 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.git/com.fasten.base.git.mpl +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.git/com.fasten.base.git.mpl @@ -71,7 +71,6 @@ - diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.arch/com.mbeddr.formal.base.arch.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.arch/com.mbeddr.formal.base.arch.mpl index e227c745..89633635 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.arch/com.mbeddr.formal.base.arch.mpl +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.arch/com.mbeddr.formal.base.arch.mpl @@ -35,6 +35,7 @@ + @@ -83,7 +84,6 @@ - diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.operatorspanel/com.mbeddr.formal.base.operatorspanel.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.operatorspanel/com.mbeddr.formal.base.operatorspanel.mpl index 25705a0b..493e94f3 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.operatorspanel/com.mbeddr.formal.base.operatorspanel.mpl +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.operatorspanel/com.mbeddr.formal.base.operatorspanel.mpl @@ -27,6 +27,7 @@ + @@ -76,7 +77,6 @@ - diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.tabular/com.mbeddr.formal.base.tabular.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.tabular/com.mbeddr.formal.base.tabular.mpl index b3afeeb1..7304391e 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.tabular/com.mbeddr.formal.base.tabular.mpl +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.tabular/com.mbeddr.formal.base.tabular.mpl @@ -77,7 +77,6 @@ - diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/com.mbeddr.formal.base.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/com.mbeddr.formal.base.mpl index 2980aa60..18f582eb 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/com.mbeddr.formal.base.mpl +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/com.mbeddr.formal.base.mpl @@ -99,7 +99,6 @@ - diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.arch/com.mbeddr.formal.nusmv.arch.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.arch/com.mbeddr.formal.nusmv.arch.mpl index d9cd246e..d48ec580 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.arch/com.mbeddr.formal.nusmv.arch.mpl +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.arch/com.mbeddr.formal.nusmv.arch.mpl @@ -98,6 +98,7 @@ + @@ -161,7 +162,6 @@ - diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/com.mbeddr.formal.nusmv.cbd.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/com.mbeddr.formal.nusmv.cbd.mpl index 586433bf..d8844e7f 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/com.mbeddr.formal.nusmv.cbd.mpl +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/com.mbeddr.formal.nusmv.cbd.mpl @@ -46,6 +46,7 @@ + @@ -126,6 +127,7 @@ + @@ -189,7 +191,6 @@ - diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.importer/com.mbeddr.formal.nusmv.importer.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.importer/com.mbeddr.formal.nusmv.importer.mpl index cd77a103..d644aa61 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.importer/com.mbeddr.formal.nusmv.importer.mpl +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.importer/com.mbeddr.formal.nusmv.importer.mpl @@ -133,6 +133,7 @@ + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.sm/com.mbeddr.formal.nusmv.sm.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.sm/com.mbeddr.formal.nusmv.sm.mpl index 709f4eb2..624b2c0d 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.sm/com.mbeddr.formal.nusmv.sm.mpl +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.sm/com.mbeddr.formal.nusmv.sm.mpl @@ -90,6 +90,7 @@ + @@ -149,7 +150,6 @@ - diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv/com.mbeddr.formal.nusmv.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv/com.mbeddr.formal.nusmv.mpl index 9a4bd2c7..81b992af 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv/com.mbeddr.formal.nusmv.mpl +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv/com.mbeddr.formal.nusmv.mpl @@ -132,7 +132,6 @@ - diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.operatorspanel.rt/com.mbeddr.formal.base.operatorspanel.rt.msd b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.operatorspanel.rt/com.mbeddr.formal.base.operatorspanel.rt.msd index 3a34d746..b6b39547 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.operatorspanel.rt/com.mbeddr.formal.base.operatorspanel.rt.msd +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.operatorspanel.rt/com.mbeddr.formal.base.operatorspanel.rt.msd @@ -12,7 +12,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.pluginSolution/com.mbeddr.formal.base.pluginSolution.msd b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.pluginSolution/com.mbeddr.formal.base.pluginSolution.msd index 3267266b..5507b9e5 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.pluginSolution/com.mbeddr.formal.base.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.pluginSolution/com.mbeddr.formal.base.pluginSolution.msd @@ -32,6 +32,7 @@ + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.pluginSolution/models/plugin.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.pluginSolution/models/plugin.mps index e0cc4586..408f28c1 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.pluginSolution/models/plugin.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.pluginSolution/models/plugin.mps @@ -15,6 +15,7 @@ + @@ -54,6 +55,7 @@ + @@ -66,6 +68,7 @@ + @@ -123,7 +126,6 @@ - @@ -219,6 +221,7 @@ + @@ -426,13 +429,6 @@ - - - - - - - @@ -457,7 +453,6 @@ - @@ -468,15 +463,14 @@ - + - @@ -550,7 +544,8 @@ - + + @@ -584,9 +579,14 @@ - - - + + + + + + + + @@ -2494,6 +2494,7 @@ + @@ -2562,8 +2563,8 @@ - - + + @@ -2572,17 +2573,43 @@ - - - + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + @@ -2595,34 +2622,34 @@ - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + @@ -2824,36 +2851,17 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + @@ -3414,24 +3422,6 @@ - - - - - - - - - - - - - - - - - - @@ -3499,12 +3489,6 @@ - - - - - - @@ -3756,12 +3740,6 @@ - - - - - - @@ -4012,8 +3990,8 @@ - + @@ -4068,90 +4046,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/com.mbeddr.formal.base.tooling.msd b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/com.mbeddr.formal.base.tooling.msd index edaad65d..107e5e6c 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/com.mbeddr.formal.base.tooling.msd +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/com.mbeddr.formal.base.tooling.msd @@ -28,10 +28,8 @@ b0f8641f-bd77-4421-8425-30d9088a82f7(org.apache.commons) 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) - 34e84b8f-afa8-4364-abcd-a279fddddbe7(jetbrains.mps.editor.runtime) 6fd1293f-7f65-4ffd-99dc-4719eca7c171(jetbrains.mps.ide.vcs.platform) 215c4c45-ba99-49f5-9ab7-4b6901a63cfd(MPS.Generator) - 5ad14eca-28d7-4bce-b8e0-648908a49062(org.apache.batik) @@ -41,6 +39,7 @@ + @@ -64,7 +63,6 @@ - diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/simulator.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/simulator.mps index 7b17f80d..594c25d9 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/simulator.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/simulator.mps @@ -19,6 +19,7 @@ + @@ -1162,12 +1163,15 @@ - - - + + - + + + + + @@ -1183,12 +1187,15 @@ - - - + + + + + - + + @@ -1216,12 +1223,15 @@ - - - + + + + + - + + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/ui.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/ui.mps index eaa89cef..d8c5c4e7 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/ui.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/ui.mps @@ -20,29 +20,8 @@ - - - - - - - - - - - - - - - - - - - - - - + @@ -250,20 +229,15 @@ - - - - - + + + + - + - - - - @@ -292,138 +266,25 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - @@ -467,21 +328,25 @@ - - - - - - + + + + + + + + + + + + + + - + - - - - @@ -518,21 +383,25 @@ - - - - - - + + + + + + + + + + + + + + - + - - - - @@ -569,21 +438,25 @@ - - - - - - + + + + + + + + + + + + + + - + - - - - @@ -620,21 +493,25 @@ - - - - - - + + + + + + + + + + + + + + - + - - - - diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.cbd.pluginSolution/com.mbeddr.formal.nusmv.cbd.pluginSolution.msd b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.cbd.pluginSolution/com.mbeddr.formal.nusmv.cbd.pluginSolution.msd index db195f1f..33c4db69 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.cbd.pluginSolution/com.mbeddr.formal.nusmv.cbd.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.cbd.pluginSolution/com.mbeddr.formal.nusmv.cbd.pluginSolution.msd @@ -33,6 +33,7 @@ + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/com.mbeddr.formal.nusmv.importer.rt.msd b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/com.mbeddr.formal.nusmv.importer.rt.msd index 30fe2429..bfb69133 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/com.mbeddr.formal.nusmv.importer.rt.msd +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/com.mbeddr.formal.nusmv.importer.rt.msd @@ -39,6 +39,7 @@ + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/com.mbeddr.formal.nusmv.pluginSolution.msd b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/com.mbeddr.formal.nusmv.pluginSolution.msd index 11cfe8a6..240bb58d 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/com.mbeddr.formal.nusmv.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/com.mbeddr.formal.nusmv.pluginSolution.msd @@ -40,6 +40,7 @@ + @@ -49,6 +50,7 @@ + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/com.mbeddr.formal.nusmv.pluginSolution.msc.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/com.mbeddr.formal.nusmv.pluginSolution.msc.mps index 408dc5a0..c2001a67 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/com.mbeddr.formal.nusmv.pluginSolution.msc.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/com.mbeddr.formal.nusmv.pluginSolution.msc.mps @@ -7,6 +7,9 @@ + + + @@ -26,7 +29,13 @@ - + + + + + + + @@ -46,9 +55,6 @@ - - - @@ -62,28 +68,18 @@ - + - - - - - - - - - - @@ -93,6 +89,9 @@ + + + @@ -136,15 +135,13 @@ - - - + @@ -164,6 +161,9 @@ + + + @@ -173,9 +173,7 @@ - - - + @@ -188,10 +186,17 @@ + + + + + + + @@ -255,11 +260,6 @@ - - - - - @@ -272,7 +272,6 @@ - @@ -310,373 +309,376 @@ - - - - - + + + + + + - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - + + + + + + + + + + - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - - - - - + + - - - + + + + + + + + + + + + + - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + - - + + + + + + + + + + - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - - - - - - - - - + + + + + + + + + + + + - - + + + + + + + + + - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + @@ -685,121 +687,121 @@ + + + + + + - - - - - + + + + + + + + + + + + + + + + - - - - - - - - + + + + + + - - + + + + + + + - - - - + + + + - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - + + - - - @@ -832,356 +834,64 @@ - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + - - - - - + + + + + + - - - - + + + + + - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - + + + + - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -1189,65 +899,9 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -1260,6 +914,16 @@ + + + + + + + + + + @@ -1484,5 +1148,251 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/runner.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/runner.mps index e8253929..fe23b637 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/runner.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/runner.mps @@ -39,6 +39,7 @@ + @@ -326,6 +327,7 @@ + @@ -9469,7 +9471,7 @@ - + @@ -9484,7 +9486,7 @@ - + @@ -9492,13 +9494,23 @@ - - - - - - - + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/ui.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/ui.mps index 4973d0d0..3aac7899 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/ui.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/ui.mps @@ -28,6 +28,7 @@ + @@ -81,9 +82,6 @@ - - - @@ -1069,27 +1067,23 @@ - - - - - + + + + + - - + + - + - - - - - - + + @@ -1153,13 +1147,15 @@ - - - - - - - + + + + + + + + + @@ -1293,13 +1289,15 @@ - - - - - - - + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.tutorialActions/com.mbeddr.formal.rcp.tutorialActions.msd b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.tutorialActions/com.mbeddr.formal.rcp.tutorialActions.msd index 84b13a47..c6b39a85 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.tutorialActions/com.mbeddr.formal.rcp.tutorialActions.msd +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.tutorialActions/com.mbeddr.formal.rcp.tutorialActions.msd @@ -22,6 +22,7 @@ + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.tutorialActions/models/plugin.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.tutorialActions/models/plugin.mps index e4dfcf61..0e86822d 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.tutorialActions/models/plugin.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.tutorialActions/models/plugin.mps @@ -39,6 +39,10 @@ + + + + @@ -733,6 +737,28 @@ + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/test.mbeddr.formal.nusmv.msd b/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/test.mbeddr.formal.nusmv.msd index 91905ee1..ea65e0b2 100644 --- a/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/test.mbeddr.formal.nusmv.msd +++ b/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/test.mbeddr.formal.nusmv.msd @@ -57,6 +57,7 @@ + diff --git a/code/languages/com.mbeddr.formal.prism/.mps/migration.xml b/code/languages/com.mbeddr.formal.prism/.mps/migration.xml index d62e30e5..5524d8e3 100644 --- a/code/languages/com.mbeddr.formal.prism/.mps/migration.xml +++ b/code/languages/com.mbeddr.formal.prism/.mps/migration.xml @@ -11,6 +11,7 @@ - + + \ No newline at end of file diff --git a/code/languages/com.mbeddr.formal.prism/languages/com.mbeddr.formal.prism/com.mbeddr.formal.prism.mpl b/code/languages/com.mbeddr.formal.prism/languages/com.mbeddr.formal.prism/com.mbeddr.formal.prism.mpl index 8f9a3d99..32466ebe 100644 --- a/code/languages/com.mbeddr.formal.prism/languages/com.mbeddr.formal.prism/com.mbeddr.formal.prism.mpl +++ b/code/languages/com.mbeddr.formal.prism/languages/com.mbeddr.formal.prism/com.mbeddr.formal.prism.mpl @@ -70,7 +70,6 @@ - diff --git a/code/languages/com.mbeddr.formal.prism/solutions/com.mbeddr.formal.prism.pluginSolution/com.mbeddr.formal.prism.pluginSolution.msd b/code/languages/com.mbeddr.formal.prism/solutions/com.mbeddr.formal.prism.pluginSolution/com.mbeddr.formal.prism.pluginSolution.msd index bdaf2127..4f19a477 100644 --- a/code/languages/com.mbeddr.formal.prism/solutions/com.mbeddr.formal.prism.pluginSolution/com.mbeddr.formal.prism.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.prism/solutions/com.mbeddr.formal.prism.pluginSolution/com.mbeddr.formal.prism.pluginSolution.msd @@ -25,6 +25,7 @@ + diff --git a/code/languages/com.mbeddr.formal.repo_admin/.mps/migration.xml b/code/languages/com.mbeddr.formal.repo_admin/.mps/migration.xml index d62e30e5..5524d8e3 100644 --- a/code/languages/com.mbeddr.formal.repo_admin/.mps/migration.xml +++ b/code/languages/com.mbeddr.formal.repo_admin/.mps/migration.xml @@ -11,6 +11,7 @@ - + + \ No newline at end of file diff --git a/code/languages/com.mbeddr.formal.req/.mps/migration.xml b/code/languages/com.mbeddr.formal.req/.mps/migration.xml index d62e30e5..5524d8e3 100644 --- a/code/languages/com.mbeddr.formal.req/.mps/migration.xml +++ b/code/languages/com.mbeddr.formal.req/.mps/migration.xml @@ -11,6 +11,7 @@ - + + \ No newline at end of file diff --git a/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.odd/com.fasten.req.odd.mpl b/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.odd/com.fasten.req.odd.mpl index d7504a4a..175567ae 100644 --- a/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.odd/com.fasten.req.odd.mpl +++ b/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.odd/com.fasten.req.odd.mpl @@ -75,7 +75,6 @@ - diff --git a/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.ontology/com.fasten.req.ontology.mpl b/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.ontology/com.fasten.req.ontology.mpl index 7d194360..1d19d81d 100644 --- a/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.ontology/com.fasten.req.ontology.mpl +++ b/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.ontology/com.fasten.req.ontology.mpl @@ -80,7 +80,6 @@ - diff --git a/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.arch/com.mbeddr.formal.req.arch.mpl b/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.arch/com.mbeddr.formal.req.arch.mpl index 13be5fb3..b177e260 100644 --- a/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.arch/com.mbeddr.formal.req.arch.mpl +++ b/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.arch/com.mbeddr.formal.req.arch.mpl @@ -116,7 +116,6 @@ - diff --git a/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.base/com.mbeddr.formal.req.base.mpl b/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.base/com.mbeddr.formal.req.base.mpl index 6ce440e6..c0809829 100644 --- a/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.base/com.mbeddr.formal.req.base.mpl +++ b/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.base/com.mbeddr.formal.req.base.mpl @@ -57,7 +57,6 @@ - @@ -122,7 +121,6 @@ - diff --git a/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.msc/com.mbeddr.formal.req.msc.mpl b/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.msc/com.mbeddr.formal.req.msc.mpl index 769d70a6..b6d2491f 100644 --- a/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.msc/com.mbeddr.formal.req.msc.mpl +++ b/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.msc/com.mbeddr.formal.req.msc.mpl @@ -61,7 +61,6 @@ - @@ -123,7 +122,6 @@ - diff --git a/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.nusmv/com.mbeddr.formal.req.nusmv.mpl b/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.nusmv/com.mbeddr.formal.req.nusmv.mpl index b0c01581..88375a8f 100644 --- a/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.nusmv/com.mbeddr.formal.req.nusmv.mpl +++ b/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.nusmv/com.mbeddr.formal.req.nusmv.mpl @@ -58,7 +58,6 @@ - @@ -120,7 +119,6 @@ - diff --git a/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.scenarios/com.mbeddr.formal.req.scenarios.mpl b/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.scenarios/com.mbeddr.formal.req.scenarios.mpl index adbc8bc9..390f20a0 100644 --- a/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.scenarios/com.mbeddr.formal.req.scenarios.mpl +++ b/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.scenarios/com.mbeddr.formal.req.scenarios.mpl @@ -58,7 +58,6 @@ - @@ -122,7 +121,6 @@ - diff --git a/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.tl_patterns.arch/com.mbeddr.formal.req.tl_patterns.arch.mpl b/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.tl_patterns.arch/com.mbeddr.formal.req.tl_patterns.arch.mpl index 63de3e2e..380b57f8 100644 --- a/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.tl_patterns.arch/com.mbeddr.formal.req.tl_patterns.arch.mpl +++ b/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.tl_patterns.arch/com.mbeddr.formal.req.tl_patterns.arch.mpl @@ -60,7 +60,6 @@ - @@ -125,7 +124,6 @@ - diff --git a/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.tl_patterns.nusmv/com.mbeddr.formal.req.tl_patterns.nusmv.mpl b/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.tl_patterns.nusmv/com.mbeddr.formal.req.tl_patterns.nusmv.mpl index c9c84486..65e946e7 100644 --- a/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.tl_patterns.nusmv/com.mbeddr.formal.req.tl_patterns.nusmv.mpl +++ b/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.tl_patterns.nusmv/com.mbeddr.formal.req.tl_patterns.nusmv.mpl @@ -77,7 +77,6 @@ - @@ -202,7 +201,6 @@ - diff --git a/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.tl_patterns/com.mbeddr.formal.req.tl_patterns.mpl b/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.tl_patterns/com.mbeddr.formal.req.tl_patterns.mpl index ad906b96..157e7c35 100644 --- a/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.tl_patterns/com.mbeddr.formal.req.tl_patterns.mpl +++ b/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.tl_patterns/com.mbeddr.formal.req.tl_patterns.mpl @@ -67,7 +67,6 @@ - diff --git a/code/languages/com.mbeddr.formal.req/solutions/com.fasten.req.ontology.pluginSolution/com.fasten.req.ontology.pluginSolution.msd b/code/languages/com.mbeddr.formal.req/solutions/com.fasten.req.ontology.pluginSolution/com.fasten.req.ontology.pluginSolution.msd index d787facb..c312f16b 100644 --- a/code/languages/com.mbeddr.formal.req/solutions/com.fasten.req.ontology.pluginSolution/com.fasten.req.ontology.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.req/solutions/com.fasten.req.ontology.pluginSolution/com.fasten.req.ontology.pluginSolution.msd @@ -6,7 +6,7 @@ - + @@ -43,7 +43,6 @@ - diff --git a/code/languages/com.mbeddr.formal.req/solutions/com.mbeddr.formal.req.base.pluginSolution/com.mbeddr.formal.req.base.pluginSolution.msd b/code/languages/com.mbeddr.formal.req/solutions/com.mbeddr.formal.req.base.pluginSolution/com.mbeddr.formal.req.base.pluginSolution.msd index 75be86af..00ca4015 100644 --- a/code/languages/com.mbeddr.formal.req/solutions/com.mbeddr.formal.req.base.pluginSolution/com.mbeddr.formal.req.base.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.req/solutions/com.mbeddr.formal.req.base.pluginSolution/com.mbeddr.formal.req.base.pluginSolution.msd @@ -46,7 +46,6 @@ - diff --git a/code/languages/com.mbeddr.formal.req/solutions/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution.msd b/code/languages/com.mbeddr.formal.req/solutions/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution.msd index 56594529..e0dd5c5e 100644 --- a/code/languages/com.mbeddr.formal.req/solutions/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.req/solutions/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution.msd @@ -33,6 +33,7 @@ + @@ -68,7 +69,6 @@ - diff --git a/code/languages/com.mbeddr.formal.req/solutions/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution/models/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution.plugin.mps b/code/languages/com.mbeddr.formal.req/solutions/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution/models/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution.plugin.mps index e301e4ce..ca1095a3 100644 --- a/code/languages/com.mbeddr.formal.req/solutions/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution/models/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution.plugin.mps +++ b/code/languages/com.mbeddr.formal.req/solutions/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution/models/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution.plugin.mps @@ -33,6 +33,7 @@ + @@ -116,9 +117,6 @@ - - - @@ -597,21 +595,16 @@ - - - - - - - + + + + + + - + - - - - @@ -625,21 +618,16 @@ - - - - - - - + + + + + + - + - - - - diff --git a/code/languages/com.mbeddr.formal.req/tests/test.com.mbeddr.formal.req.tl_patterns/test.com.mbeddr.formal.req.tl_patterns.msd b/code/languages/com.mbeddr.formal.req/tests/test.com.mbeddr.formal.req.tl_patterns/test.com.mbeddr.formal.req.tl_patterns.msd index a8552510..0877f11f 100644 --- a/code/languages/com.mbeddr.formal.req/tests/test.com.mbeddr.formal.req.tl_patterns/test.com.mbeddr.formal.req.tl_patterns.msd +++ b/code/languages/com.mbeddr.formal.req/tests/test.com.mbeddr.formal.req.tl_patterns/test.com.mbeddr.formal.req.tl_patterns.msd @@ -65,7 +65,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/.mps/migration.xml b/code/languages/com.mbeddr.formal.safety/.mps/migration.xml index d62e30e5..5524d8e3 100644 --- a/code/languages/com.mbeddr.formal.safety/.mps/migration.xml +++ b/code/languages/com.mbeddr.formal.safety/.mps/migration.xml @@ -11,6 +11,7 @@ - + + \ No newline at end of file diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.process.review/com.fasten.process.review.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.process.review/com.fasten.process.review.mpl index be42de2e..0777dfed 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.process.review/com.fasten.process.review.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.process.review/com.fasten.process.review.mpl @@ -70,7 +70,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea.iso26262/com.fasten.safety.fmea.iso26262.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea.iso26262/com.fasten.safety.fmea.iso26262.mpl index 3b45b67c..a8e7acd0 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea.iso26262/com.fasten.safety.fmea.iso26262.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea.iso26262/com.fasten.safety.fmea.iso26262.mpl @@ -68,7 +68,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea/com.fasten.safety.fmea.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea/com.fasten.safety.fmea.mpl index f13c6cef..78d0e383 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea/com.fasten.safety.fmea.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea/com.fasten.safety.fmea.mpl @@ -64,7 +64,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.ft/com.fasten.safety.ft.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.ft/com.fasten.safety.ft.mpl index 9a0323da..74954f6d 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.ft/com.fasten.safety.ft.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.ft/com.fasten.safety.ft.mpl @@ -90,7 +90,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.hazop.iso26262/com.fasten.safety.hazop.iso26262.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.hazop.iso26262/com.fasten.safety.hazop.iso26262.mpl index f76aa6ba..ad5397c9 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.hazop.iso26262/com.fasten.safety.hazop.iso26262.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.hazop.iso26262/com.fasten.safety.hazop.iso26262.mpl @@ -66,7 +66,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.jira_integration/com.mbeddr.formal.safety.argument.jira_integration.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.jira_integration/com.mbeddr.formal.safety.argument.jira_integration.mpl index 92cd4aa2..215d94d5 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.jira_integration/com.mbeddr.formal.safety.argument.jira_integration.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.jira_integration/com.mbeddr.formal.safety.argument.jira_integration.mpl @@ -76,7 +76,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/com.mbeddr.formal.safety.argument.modelquery.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/com.mbeddr.formal.safety.argument.modelquery.mpl index dcaca82f..1aeac585 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/com.mbeddr.formal.safety.argument.modelquery.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/com.mbeddr.formal.safety.argument.modelquery.mpl @@ -68,7 +68,6 @@ - @@ -148,7 +147,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.process.artefacts/com.mbeddr.formal.safety.argument.process.artefacts.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.process.artefacts/com.mbeddr.formal.safety.argument.process.artefacts.mpl index f9dfc7ea..fbf56344 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.process.artefacts/com.mbeddr.formal.safety.argument.process.artefacts.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.process.artefacts/com.mbeddr.formal.safety.argument.process.artefacts.mpl @@ -78,7 +78,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.process/com.mbeddr.formal.safety.argument.process.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.process/com.mbeddr.formal.safety.argument.process.mpl index 0ca05af4..d0c0d657 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.process/com.mbeddr.formal.safety.argument.process.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.process/com.mbeddr.formal.safety.argument.process.mpl @@ -71,7 +71,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.runtime/com.mbeddr.formal.safety.argument.runtime.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.runtime/com.mbeddr.formal.safety.argument.runtime.mpl index 5e4dfc7b..a84b85de 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.runtime/com.mbeddr.formal.safety.argument.runtime.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.runtime/com.mbeddr.formal.safety.argument.runtime.mpl @@ -86,7 +86,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.spi/com.mbeddr.formal.safety.argument.spi.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.spi/com.mbeddr.formal.safety.argument.spi.mpl index 65aedb8f..0df4ccce 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.spi/com.mbeddr.formal.safety.argument.spi.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.spi/com.mbeddr.formal.safety.argument.spi.mpl @@ -6,7 +6,7 @@ - + @@ -73,7 +73,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/com.mbeddr.formal.safety.argument.visualisation.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/com.mbeddr.formal.safety.argument.visualisation.mpl index 81686e97..f05fffb5 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/com.mbeddr.formal.safety.argument.visualisation.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/com.mbeddr.formal.safety.argument.visualisation.mpl @@ -76,7 +76,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae.ext/com.mbeddr.formal.safety.cae.ext.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae.ext/com.mbeddr.formal.safety.cae.ext.mpl index 94c870a2..373aee88 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae.ext/com.mbeddr.formal.safety.cae.ext.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae.ext/com.mbeddr.formal.safety.cae.ext.mpl @@ -72,7 +72,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae.external_evidence/com.mbeddr.formal.safety.cae.external_evidence.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae.external_evidence/com.mbeddr.formal.safety.cae.external_evidence.mpl index f6be3113..848aa680 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae.external_evidence/com.mbeddr.formal.safety.cae.external_evidence.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae.external_evidence/com.mbeddr.formal.safety.cae.external_evidence.mpl @@ -71,7 +71,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae/com.mbeddr.formal.safety.cae.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae/com.mbeddr.formal.safety.cae.mpl index 23d58779..b59fdd12 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae/com.mbeddr.formal.safety.cae.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae/com.mbeddr.formal.safety.cae.mpl @@ -83,7 +83,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.acp/com.mbeddr.formal.safety.gsn.confidence.acp.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.acp/com.mbeddr.formal.safety.gsn.confidence.acp.mpl index d4cf21a4..1ee9169b 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.acp/com.mbeddr.formal.safety.gsn.confidence.acp.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.acp/com.mbeddr.formal.safety.gsn.confidence.acp.mpl @@ -79,7 +79,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.mpl index baa84af3..2ae3524d 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.mpl @@ -79,7 +79,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.doc/com.mbeddr.formal.safety.gsn.doc.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.doc/com.mbeddr.formal.safety.gsn.doc.mpl index 8582c2ed..e389b4ce 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.doc/com.mbeddr.formal.safety.gsn.doc.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.doc/com.mbeddr.formal.safety.gsn.doc.mpl @@ -42,6 +42,7 @@ + @@ -86,11 +87,11 @@ - + @@ -197,11 +198,11 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/com.mbeddr.formal.safety.gsn.ext.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/com.mbeddr.formal.safety.gsn.ext.mpl index c01edbbd..5c8bedf2 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/com.mbeddr.formal.safety.gsn.ext.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/com.mbeddr.formal.safety.gsn.ext.mpl @@ -93,7 +93,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/models/com.mbeddr.formal.safety.gsn.ext.intentions.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/models/com.mbeddr.formal.safety.gsn.ext.intentions.mps index 444e1b06..84eeceab 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/models/com.mbeddr.formal.safety.gsn.ext.intentions.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/models/com.mbeddr.formal.safety.gsn.ext.intentions.mps @@ -15,6 +15,7 @@ + @@ -804,11 +805,10 @@ - - - - - + + + + @@ -836,9 +836,12 @@ - + + + + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.external_evidence/com.mbeddr.formal.safety.gsn.external_evidence.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.external_evidence/com.mbeddr.formal.safety.gsn.external_evidence.mpl index 0df711d6..2577b34c 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.external_evidence/com.mbeddr.formal.safety.gsn.external_evidence.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.external_evidence/com.mbeddr.formal.safety.gsn.external_evidence.mpl @@ -82,7 +82,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/com.mbeddr.formal.safety.gsn.importer.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/com.mbeddr.formal.safety.gsn.importer.mpl index efb70d8b..9c500f52 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/com.mbeddr.formal.safety.gsn.importer.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/com.mbeddr.formal.safety.gsn.importer.mpl @@ -76,7 +76,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.odd/com.mbeddr.formal.safety.gsn.odd.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.odd/com.mbeddr.formal.safety.gsn.odd.mpl index 767afa09..87e30612 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.odd/com.mbeddr.formal.safety.gsn.odd.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.odd/com.mbeddr.formal.safety.gsn.odd.mpl @@ -85,7 +85,6 @@ - @@ -182,7 +181,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.patterns/com.mbeddr.formal.safety.gsn.patterns.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.patterns/com.mbeddr.formal.safety.gsn.patterns.mpl index 1ea17d72..6b98c9b9 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.patterns/com.mbeddr.formal.safety.gsn.patterns.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.patterns/com.mbeddr.formal.safety.gsn.patterns.mpl @@ -89,7 +89,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/com.mbeddr.formal.safety.gsn.pdfexport.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/com.mbeddr.formal.safety.gsn.pdfexport.mpl index 1ddde925..18352204 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/com.mbeddr.formal.safety.gsn.pdfexport.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/com.mbeddr.formal.safety.gsn.pdfexport.mpl @@ -70,7 +70,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.smv/com.mbeddr.formal.safety.gsn.smv.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.smv/com.mbeddr.formal.safety.gsn.smv.mpl index f90cb68f..724cf486 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.smv/com.mbeddr.formal.safety.gsn.smv.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.smv/com.mbeddr.formal.safety.gsn.smv.mpl @@ -90,7 +90,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.web/com.mbeddr.formal.safety.gsn.web.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.web/com.mbeddr.formal.safety.gsn.web.mpl index 5d16e9c2..347a3d7b 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.web/com.mbeddr.formal.safety.gsn.web.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.web/com.mbeddr.formal.safety.gsn.web.mpl @@ -75,7 +75,6 @@ - @@ -141,7 +140,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.xml_gen/com.mbeddr.formal.safety.gsn.xml_gen.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.xml_gen/com.mbeddr.formal.safety.gsn.xml_gen.mpl index ad24444c..439a3456 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.xml_gen/com.mbeddr.formal.safety.gsn.xml_gen.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.xml_gen/com.mbeddr.formal.safety.gsn.xml_gen.mpl @@ -71,7 +71,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/com.mbeddr.formal.safety.gsn.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/com.mbeddr.formal.safety.gsn.mpl index 3c594bc3..533d6c66 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/com.mbeddr.formal.safety.gsn.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/com.mbeddr.formal.safety.gsn.mpl @@ -95,7 +95,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.hara/com.mbeddr.formal.safety.hara.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.hara/com.mbeddr.formal.safety.hara.mpl index e0529358..8d87e36f 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.hara/com.mbeddr.formal.safety.hara.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.hara/com.mbeddr.formal.safety.hara.mpl @@ -64,7 +64,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.iso26262/com.mbeddr.formal.safety.iso26262.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.iso26262/com.mbeddr.formal.safety.iso26262.mpl index 139ad680..74488c6c 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.iso26262/com.mbeddr.formal.safety.iso26262.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.iso26262/com.mbeddr.formal.safety.iso26262.mpl @@ -70,7 +70,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.req/com.mbeddr.formal.safety.req.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.req/com.mbeddr.formal.safety.req.mpl index 274a0086..3e30d9c6 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.req/com.mbeddr.formal.safety.req.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.req/com.mbeddr.formal.safety.req.mpl @@ -68,7 +68,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.stamp.ext/com.mbeddr.formal.safety.stamp.ext.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.stamp.ext/com.mbeddr.formal.safety.stamp.ext.mpl index c27fcb9c..863d44f9 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.stamp.ext/com.mbeddr.formal.safety.stamp.ext.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.stamp.ext/com.mbeddr.formal.safety.stamp.ext.mpl @@ -68,7 +68,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.stamp/com.mbeddr.formal.safety.stamp.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.stamp/com.mbeddr.formal.safety.stamp.mpl index 6c91c115..ec57e29a 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.stamp/com.mbeddr.formal.safety.stamp.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.stamp/com.mbeddr.formal.safety.stamp.mpl @@ -90,7 +90,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/com.fasten.assurance.build.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/com.fasten.assurance.build.msd index 03dc4a7c..3023f783 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/com.fasten.assurance.build.msd +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/com.fasten.assurance.build.msd @@ -18,7 +18,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps index d5db9b88..587f1381 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps @@ -3,7 +3,7 @@ - + @@ -1919,11 +1919,6 @@ - - - - - @@ -1977,6 +1972,11 @@ + + + + + @@ -2055,11 +2055,6 @@ - - - - - @@ -3952,11 +3947,6 @@ - - - - - @@ -4027,11 +4017,6 @@ - - - - - @@ -8048,7 +8033,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.doc2word/com.fasten.safety.doc2word.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.doc2word/com.fasten.safety.doc2word.msd index ba298ff9..c0c4ce50 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.doc2word/com.fasten.safety.doc2word.msd +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.doc2word/com.fasten.safety.doc2word.msd @@ -71,11 +71,11 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.fmea.sandbox/com.fasten.safety.fmea.sandbox.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.fmea.sandbox/com.fasten.safety.fmea.sandbox.msd index a8b357f6..4f08a224 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.fmea.sandbox/com.fasten.safety.fmea.sandbox.msd +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.fmea.sandbox/com.fasten.safety.fmea.sandbox.msd @@ -6,7 +6,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.xfta.pluginSolution/com.fasten.safety.ft.xfta.pluginSolution.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.xfta.pluginSolution/com.fasten.safety.ft.xfta.pluginSolution.msd index 583db31e..34fb90f0 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.xfta.pluginSolution/com.fasten.safety.ft.xfta.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.xfta.pluginSolution/com.fasten.safety.ft.xfta.pluginSolution.msd @@ -6,7 +6,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.rcp.pluginSolution/com.fasten.safety.rcp.pluginSolution.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.rcp.pluginSolution/com.fasten.safety.rcp.pluginSolution.msd index dec26f0f..96958aa5 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.rcp.pluginSolution/com.fasten.safety.rcp.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.rcp.pluginSolution/com.fasten.safety.rcp.pluginSolution.msd @@ -6,7 +6,7 @@ - + @@ -96,11 +96,11 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.argument.spi.sandbox/com.mbeddr.formal.safety.argument.spi.sandbox.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.argument.spi.sandbox/com.mbeddr.formal.safety.argument.spi.sandbox.msd index be9407ef..ed4f4393 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.argument.spi.sandbox/com.mbeddr.formal.safety.argument.spi.sandbox.msd +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.argument.spi.sandbox/com.mbeddr.formal.safety.argument.spi.sandbox.msd @@ -6,7 +6,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/com.mbeddr.formal.safety.build.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/com.mbeddr.formal.safety.build.msd index 5772e0b6..c82d8b23 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/com.mbeddr.formal.safety.build.msd +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/com.mbeddr.formal.safety.build.msd @@ -18,7 +18,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps index 6ecdbc21..109dab8f 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps @@ -2,7 +2,7 @@ - + @@ -345,7 +345,7 @@ - + @@ -2147,11 +2147,6 @@ - - - - - @@ -2205,6 +2200,11 @@ + + + + + @@ -2283,11 +2283,6 @@ - - - - - @@ -7281,11 +7276,6 @@ - - - - - @@ -7306,11 +7296,6 @@ - - - - - @@ -16063,7 +16048,7 @@ - + @@ -16071,7 +16056,7 @@ - + @@ -16094,7 +16079,7 @@ - + @@ -16194,7 +16179,7 @@ - + @@ -16533,12 +16518,12 @@ - + - + @@ -16759,7 +16744,7 @@ - + @@ -16884,9 +16869,6 @@ - - - @@ -16995,8 +16977,8 @@ - - + + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.cbd.pluginSolution/com.mbeddr.formal.safety.gsn.cbd.pluginSolution.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.cbd.pluginSolution/com.mbeddr.formal.safety.gsn.cbd.pluginSolution.msd index 2ee85a15..87cdeaf2 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.cbd.pluginSolution/com.mbeddr.formal.safety.gsn.cbd.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.cbd.pluginSolution/com.mbeddr.formal.safety.gsn.cbd.pluginSolution.msd @@ -72,7 +72,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.patterns.lib/models/_010_patterns_catalogue.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.patterns.lib/models/_010_patterns_catalogue.mps index 49c2dd03..a466c71d 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.patterns.lib/models/_010_patterns_catalogue.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.patterns.lib/models/_010_patterns_catalogue.mps @@ -132,20 +132,20 @@ - - - - + + + + - - - - + + + + @@ -156,8 +156,8 @@ - - + + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.pluginSolution/com.mbeddr.formal.safety.gsn.pluginSolution.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.pluginSolution/com.mbeddr.formal.safety.gsn.pluginSolution.msd index 45d5d2b9..6070221e 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.pluginSolution/com.mbeddr.formal.safety.gsn.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.pluginSolution/com.mbeddr.formal.safety.gsn.pluginSolution.msd @@ -44,7 +44,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/com.mbeddr.formal.safety.gsn.sandbox.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/com.mbeddr.formal.safety.gsn.sandbox.msd index bd790b26..bbf446dd 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/com.mbeddr.formal.safety.gsn.sandbox.msd +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/com.mbeddr.formal.safety.gsn.sandbox.msd @@ -79,6 +79,7 @@ + @@ -109,7 +110,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/models/com.mbeddr.formal.safety.gsn.sandbox._500_gsn_doc.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/models/com.mbeddr.formal.safety.gsn.sandbox._500_gsn_doc.mps index 7fcd9d2c..394a3ed5 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/models/com.mbeddr.formal.safety.gsn.sandbox._500_gsn_doc.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/models/com.mbeddr.formal.safety.gsn.sandbox._500_gsn_doc.mps @@ -635,110 +635,110 @@ - + - - + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + @@ -776,18 +776,26 @@ + + + + + + + + - - + + - - + + @@ -838,18 +846,26 @@ + + + + + + + + - - + + - - + + @@ -882,18 +898,26 @@ + + + + + + + + - - + + - - + + @@ -914,12 +938,12 @@ - - + + - - + + @@ -940,8 +964,8 @@ - - + + @@ -956,6 +980,10 @@ + + + + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.smv.pluginSolution/com.mbeddr.formal.safety.gsn.smv.pluginSolution.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.smv.pluginSolution/com.mbeddr.formal.safety.gsn.smv.pluginSolution.msd index a1d7441e..25b335cf 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.smv.pluginSolution/com.mbeddr.formal.safety.gsn.smv.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.smv.pluginSolution/com.mbeddr.formal.safety.gsn.smv.pluginSolution.msd @@ -32,6 +32,7 @@ + @@ -70,7 +71,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.spin.pluginSolution/com.mbeddr.formal.safety.gsn.spin.pluginSolution.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.spin.pluginSolution/com.mbeddr.formal.safety.gsn.spin.pluginSolution.msd index d0bde5f0..328a5f27 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.spin.pluginSolution/com.mbeddr.formal.safety.gsn.spin.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.spin.pluginSolution/com.mbeddr.formal.safety.gsn.spin.pluginSolution.msd @@ -24,6 +24,7 @@ + @@ -61,7 +62,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.rt/com.mbeddr.formal.safety.gsn.web.rt.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.rt/com.mbeddr.formal.safety.gsn.web.rt.msd index ace0420b..ff75e0e4 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.rt/com.mbeddr.formal.safety.gsn.web.rt.msd +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.rt/com.mbeddr.formal.safety.gsn.web.rt.msd @@ -6,7 +6,7 @@ - + @@ -74,7 +74,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.rt/models/com.mbeddr.formal.safety.gsn.web.rt.gsn_genplan.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.rt/models/com.mbeddr.formal.safety.gsn.web.rt.gsn_genplan.mps index d287b509..d2c7c49c 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.rt/models/com.mbeddr.formal.safety.gsn.web.rt.gsn_genplan.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.rt/models/com.mbeddr.formal.safety.gsn.web.rt.gsn_genplan.mps @@ -3,30 +3,24 @@ - - - - + - - - - - + + - - - + + + + - - - + + @@ -37,12 +31,12 @@ - - - - - - + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.rt/models/com.mbeddr.formal.safety.gsn.web.rt.plugin.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.rt/models/com.mbeddr.formal.safety.gsn.web.rt.plugin.mps index 656917e6..82422146 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.rt/models/com.mbeddr.formal.safety.gsn.web.rt.plugin.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.rt/models/com.mbeddr.formal.safety.gsn.web.rt.plugin.mps @@ -12,6 +12,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.stamp.pluginSolution/com.mbeddr.formal.safety.stamp.pluginSolution.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.stamp.pluginSolution/com.mbeddr.formal.safety.stamp.pluginSolution.msd index f09757c3..1cc00cf1 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.stamp.pluginSolution/com.mbeddr.formal.safety.stamp.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.stamp.pluginSolution/com.mbeddr.formal.safety.stamp.pluginSolution.msd @@ -39,7 +39,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/solutions/test.com.mbeddr.formal.safety.argument.runtime/test.com.mbeddr.formal.safety.argument.runtime.msd b/code/languages/com.mbeddr.formal.safety/solutions/test.com.mbeddr.formal.safety.argument.runtime/test.com.mbeddr.formal.safety.argument.runtime.msd index 2653b233..67c965ee 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/test.com.mbeddr.formal.safety.argument.runtime/test.com.mbeddr.formal.safety.argument.runtime.msd +++ b/code/languages/com.mbeddr.formal.safety/solutions/test.com.mbeddr.formal.safety.argument.runtime/test.com.mbeddr.formal.safety.argument.runtime.msd @@ -54,7 +54,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test.com.fasten.safety.doc2word.msd b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test.com.fasten.safety.doc2word.msd index 935f2a7d..5a4aafb1 100644 --- a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test.com.fasten.safety.doc2word.msd +++ b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/test.com.fasten.safety.doc2word.msd @@ -48,6 +48,7 @@ + @@ -76,11 +77,11 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.ft/models/test.com.fasten.safety.ft._010_checking_rules_tests@tests.mps b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.ft/models/test.com.fasten.safety.ft._010_checking_rules_tests@tests.mps index 2a593a44..b4fbbffa 100644 --- a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.ft/models/test.com.fasten.safety.ft._010_checking_rules_tests@tests.mps +++ b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.ft/models/test.com.fasten.safety.ft._010_checking_rules_tests@tests.mps @@ -334,8 +334,35 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -345,174 +372,178 @@ - - - - + + + + - + - + - + - + + + + + - - - - + + + + - + - + - + - - - - + + + + - + - + - + - - + + - + - + - - + + - + - + - - + + - + - + - - + + - + - + - - + + - + - + - - - - + + + + - + @@ -520,12 +551,12 @@ - - + + - - + + @@ -533,12 +564,12 @@ - - + + - - + + @@ -546,12 +577,12 @@ - - + + - - + + @@ -559,48 +590,150 @@ - - + + - - + + - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.com.mbeddr.formal.safety.stamp/test.com.mbeddr.formal.safety.stamp.msd b/code/languages/com.mbeddr.formal.safety/tests/test.com.mbeddr.formal.safety.stamp/test.com.mbeddr.formal.safety.stamp.msd index 8f316dab..58f1b23b 100644 --- a/code/languages/com.mbeddr.formal.safety/tests/test.com.mbeddr.formal.safety.stamp/test.com.mbeddr.formal.safety.stamp.msd +++ b/code/languages/com.mbeddr.formal.safety/tests/test.com.mbeddr.formal.safety.stamp/test.com.mbeddr.formal.safety.stamp.msd @@ -38,7 +38,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn.patterns/test.mbeddr.formal.gsn.patterns.msd b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn.patterns/test.mbeddr.formal.gsn.patterns.msd index 7caf98ae..dc1a16e7 100644 --- a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn.patterns/test.mbeddr.formal.gsn.patterns.msd +++ b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn.patterns/test.mbeddr.formal.gsn.patterns.msd @@ -73,7 +73,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/test.mbeddr.formal.gsn.msd b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/test.mbeddr.formal.gsn.msd index 960930e3..da0809ba 100644 --- a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/test.mbeddr.formal.gsn.msd +++ b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/test.mbeddr.formal.gsn.msd @@ -74,6 +74,7 @@ + @@ -122,7 +123,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.safety.argument.modelquery/test.mbeddr.formal.safety.argument.modelquery.msd b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.safety.argument.modelquery/test.mbeddr.formal.safety.argument.modelquery.msd index a98b3181..807b4479 100644 --- a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.safety.argument.modelquery/test.mbeddr.formal.safety.argument.modelquery.msd +++ b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.safety.argument.modelquery/test.mbeddr.formal.safety.argument.modelquery.msd @@ -59,7 +59,6 @@ - diff --git a/code/languages/com.mbeddr.formal.smt/.mps/migration.xml b/code/languages/com.mbeddr.formal.smt/.mps/migration.xml index d62e30e5..5524d8e3 100644 --- a/code/languages/com.mbeddr.formal.smt/.mps/migration.xml +++ b/code/languages/com.mbeddr.formal.smt/.mps/migration.xml @@ -11,6 +11,7 @@ - + + \ No newline at end of file diff --git a/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib.synthesis/com.mbeddr.formal.smtlib.synthesis.mpl b/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib.synthesis/com.mbeddr.formal.smtlib.synthesis.mpl index 5b4ce648..14c1ecb0 100644 --- a/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib.synthesis/com.mbeddr.formal.smtlib.synthesis.mpl +++ b/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib.synthesis/com.mbeddr.formal.smtlib.synthesis.mpl @@ -86,6 +86,7 @@ + diff --git a/code/languages/com.mbeddr.formal.smt/solutions/com.mbeddr.formal.smtlib.z3.rt/com.mbeddr.formal.smtlib.z3.rt.msd b/code/languages/com.mbeddr.formal.smt/solutions/com.mbeddr.formal.smtlib.z3.rt/com.mbeddr.formal.smtlib.z3.rt.msd index cbf15f65..ea98bcd3 100644 --- a/code/languages/com.mbeddr.formal.smt/solutions/com.mbeddr.formal.smtlib.z3.rt/com.mbeddr.formal.smtlib.z3.rt.msd +++ b/code/languages/com.mbeddr.formal.smt/solutions/com.mbeddr.formal.smtlib.z3.rt/com.mbeddr.formal.smtlib.z3.rt.msd @@ -25,6 +25,7 @@ + diff --git a/code/languages/com.mbeddr.formal.spin/.mps/migration.xml b/code/languages/com.mbeddr.formal.spin/.mps/migration.xml index a2e96ad5..475d1f0b 100644 --- a/code/languages/com.mbeddr.formal.spin/.mps/migration.xml +++ b/code/languages/com.mbeddr.formal.spin/.mps/migration.xml @@ -12,6 +12,7 @@ - + + \ No newline at end of file diff --git a/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.hdl/com.mbeddr.formal.spin.hdl.mpl b/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.hdl/com.mbeddr.formal.spin.hdl.mpl index a536868f..75ce0e8c 100644 --- a/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.hdl/com.mbeddr.formal.spin.hdl.mpl +++ b/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.hdl/com.mbeddr.formal.spin.hdl.mpl @@ -166,6 +166,7 @@ + diff --git a/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin/com.mbeddr.formal.spin.mpl b/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin/com.mbeddr.formal.spin.mpl index 61ff439e..a7a4b0d6 100644 --- a/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin/com.mbeddr.formal.spin.mpl +++ b/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin/com.mbeddr.formal.spin.mpl @@ -93,6 +93,7 @@ + diff --git a/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin/models/plugin.mps b/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin/models/plugin.mps index 37792a5c..47a0feb3 100644 --- a/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin/models/plugin.mps +++ b/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin/models/plugin.mps @@ -13,7 +13,6 @@ - @@ -25,7 +24,7 @@ - + @@ -2288,9 +2287,9 @@ - - - + + + diff --git a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.genplan/models/plan@genplan.mps b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.genplan/models/plan@genplan.mps index 6c76f701..38e7692a 100644 --- a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.genplan/models/plan@genplan.mps +++ b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.genplan/models/plan@genplan.mps @@ -4,7 +4,6 @@ - diff --git a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/com.mbeddr.formal.spin.pluginSolution.msd b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/com.mbeddr.formal.spin.pluginSolution.msd index ca64c91c..af552ba8 100644 --- a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/com.mbeddr.formal.spin.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/com.mbeddr.formal.spin.pluginSolution.msd @@ -29,6 +29,7 @@ + diff --git a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.analyzer.mps b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.analyzer.mps index 9994fbe2..4bcdd238 100644 --- a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.analyzer.mps +++ b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.analyzer.mps @@ -33,6 +33,7 @@ + @@ -3750,13 +3751,15 @@ - - - - - - - + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.ui.mps b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.ui.mps index e1a11176..72de04c1 100644 --- a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.ui.mps +++ b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.ui.mps @@ -22,6 +22,7 @@ + @@ -71,9 +72,6 @@ - - - @@ -1038,27 +1036,23 @@ - - - - + + + + - - + + - + - - - - - - + + diff --git a/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/test.mbeddr.formal.spin.msd b/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/test.mbeddr.formal.spin.msd index f389f897..28b3bb2a 100644 --- a/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/test.mbeddr.formal.spin.msd +++ b/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/test.mbeddr.formal.spin.msd @@ -38,6 +38,7 @@ + diff --git a/code/languages/com.mpsbasics/.mps/libraries.xml b/code/languages/com.mpsbasics/.mps/libraries.xml new file mode 100644 index 00000000..6b84430d --- /dev/null +++ b/code/languages/com.mpsbasics/.mps/libraries.xml @@ -0,0 +1,17 @@ + + + + + + \ No newline at end of file diff --git a/code/languages/com.mpsbasics/.mps/migration.xml b/code/languages/com.mpsbasics/.mps/migration.xml index d62e30e5..5524d8e3 100644 --- a/code/languages/com.mpsbasics/.mps/migration.xml +++ b/code/languages/com.mpsbasics/.mps/migration.xml @@ -11,6 +11,7 @@ - + + \ No newline at end of file diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.build/com.mpsbasics.build.msd b/code/languages/com.mpsbasics/solutions/com.mpsbasics.build/com.mpsbasics.build.msd index 30932c7f..6adaa93f 100644 --- a/code/languages/com.mpsbasics/solutions/com.mpsbasics.build/com.mpsbasics.build.msd +++ b/code/languages/com.mpsbasics/solutions/com.mpsbasics.build/com.mpsbasics.build.msd @@ -15,7 +15,7 @@ - + diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.build/models/com.mpsbasics.build.build.mps b/code/languages/com.mpsbasics/solutions/com.mpsbasics.build/models/com.mpsbasics.build.build.mps index 2fda4818..0b988674 100644 --- a/code/languages/com.mpsbasics/solutions/com.mpsbasics.build/models/com.mpsbasics.build.build.mps +++ b/code/languages/com.mpsbasics/solutions/com.mpsbasics.build/models/com.mpsbasics.build.build.mps @@ -2,7 +2,7 @@ - + @@ -115,7 +115,7 @@ - + @@ -455,7 +455,7 @@ - + @@ -1147,7 +1147,7 @@ - + diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.editor.utils/com.mpsbasics.editor.utils.msd b/code/languages/com.mpsbasics/solutions/com.mpsbasics.editor.utils/com.mpsbasics.editor.utils.msd index 2d26bb5b..5d0fea12 100644 --- a/code/languages/com.mpsbasics/solutions/com.mpsbasics.editor.utils/com.mpsbasics.editor.utils.msd +++ b/code/languages/com.mpsbasics/solutions/com.mpsbasics.editor.utils/com.mpsbasics.editor.utils.msd @@ -13,10 +13,10 @@ 498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA) 34e84b8f-afa8-4364-abcd-a279fddddbe7(jetbrains.mps.editor.runtime) - 5ad14eca-28d7-4bce-b8e0-648908a49062(org.apache.batik) 1f4710e9-f074-4732-a0bd-6fa896d282b7(com.mpsbasics.project.utils) 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) + 563a0770-eb88-4f4f-83ed-f708776fc2fe(de.itemis.stubs.batik) @@ -44,6 +44,7 @@ + diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.editor.utils/models/com.mpsbasics.editor.utils.screenshooter.mps b/code/languages/com.mpsbasics/solutions/com.mpsbasics.editor.utils/models/com.mpsbasics.editor.utils.screenshooter.mps index 0f981b76..3307b47d 100644 --- a/code/languages/com.mpsbasics/solutions/com.mpsbasics.editor.utils/models/com.mpsbasics.editor.utils.screenshooter.mps +++ b/code/languages/com.mpsbasics/solutions/com.mpsbasics.editor.utils/models/com.mpsbasics.editor.utils.screenshooter.mps @@ -16,11 +16,8 @@ - - - @@ -32,11 +29,11 @@ - - - + + + @@ -3138,7 +3135,7 @@ - + @@ -3638,7 +3635,7 @@ - + diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.jira.pluginSolution/models/com.mpsbasics.jira.pluginSolution.util.mps b/code/languages/com.mpsbasics/solutions/com.mpsbasics.jira.pluginSolution/models/com.mpsbasics.jira.pluginSolution.util.mps index 794afadc..48941876 100644 --- a/code/languages/com.mpsbasics/solutions/com.mpsbasics.jira.pluginSolution/models/com.mpsbasics.jira.pluginSolution.util.mps +++ b/code/languages/com.mpsbasics/solutions/com.mpsbasics.jira.pluginSolution/models/com.mpsbasics.jira.pluginSolution.util.mps @@ -10,12 +10,12 @@ - + - - + + diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/com.mpsbasics.pdfbox.msd b/code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/com.mpsbasics.pdfbox.msd index bab47a5e..a4b5b9a1 100644 --- a/code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/com.mpsbasics.pdfbox.msd +++ b/code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/com.mpsbasics.pdfbox.msd @@ -24,7 +24,6 @@ ece26728-2885-4b26-9f61-67d2821fc361(com.mpsbasics.pdfexporter) 6b84fb9e-5f09-4a61-bf31-3bfdc54820e3(com.mpsbasics.editor.utils) d3a0fd26-445a-466c-900e-10444ddfed52(com.mbeddr.mpsutil.filepicker) - 5ad14eca-28d7-4bce-b8e0-648908a49062(org.apache.batik) 498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA) @@ -33,7 +32,6 @@ - diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/models/com.mpsbasics.pdfbox.utils.mps b/code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/models/com.mpsbasics.pdfbox.utils.mps index 7ac02f2d..3aa0adb3 100644 --- a/code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/models/com.mpsbasics.pdfbox.utils.mps +++ b/code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/models/com.mpsbasics.pdfbox.utils.mps @@ -3,16 +3,13 @@ - - - - + diff --git a/code/tutorial-mdcc/.mps/migration.xml b/code/tutorial-mdcc/.mps/migration.xml index d62e30e5..5524d8e3 100644 --- a/code/tutorial-mdcc/.mps/migration.xml +++ b/code/tutorial-mdcc/.mps/migration.xml @@ -11,6 +11,7 @@ - + + \ No newline at end of file diff --git a/code/tutorial-safety/.mps/migration.xml b/code/tutorial-safety/.mps/migration.xml index d62e30e5..5524d8e3 100644 --- a/code/tutorial-safety/.mps/migration.xml +++ b/code/tutorial-safety/.mps/migration.xml @@ -11,6 +11,7 @@ - + + \ No newline at end of file diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/com.mbeddr.formal.safety.tutorial.msd b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/com.mbeddr.formal.safety.tutorial.msd index ae071af9..580c9e01 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/com.mbeddr.formal.safety.tutorial.msd +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/com.mbeddr.formal.safety.tutorial.msd @@ -102,6 +102,7 @@ + @@ -134,7 +135,6 @@ - diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/_220_IFMEAs.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/_220_IFMEAs.mpsr index c20c35c5..ab11b50a 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/_220_IFMEAs.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/_220_IFMEAs.mpsr @@ -175,7 +175,7 @@ - + @@ -193,7 +193,7 @@ - + @@ -211,7 +211,7 @@ - + @@ -229,29 +229,29 @@ - + - + - + - + - + @@ -269,22 +269,22 @@ - + - + - + - + @@ -292,11 +292,11 @@ - + - + @@ -305,15 +305,45 @@ - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_010_plain_text_gsn.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_010_plain_text_gsn.mpsr index b181a5c3..8cbe47de 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_010_plain_text_gsn.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_010_plain_text_gsn.mpsr @@ -101,30 +101,30 @@ - - - - + + + + - - - - + + + + - - - - + + + + @@ -132,12 +132,12 @@ - - + + - - + + @@ -157,12 +157,12 @@ - - + + - - + + @@ -181,10 +181,10 @@ - - - - + + + + @@ -192,12 +192,12 @@ - - + + - - + + @@ -310,10 +310,10 @@ - - - - + + + + @@ -321,12 +321,12 @@ - - + + - - + + @@ -345,10 +345,10 @@ - - - - + + + + @@ -356,12 +356,12 @@ - - + + - - + + @@ -380,24 +380,16 @@ - - - - + + + + - - - - - - - - @@ -415,10 +407,10 @@ - - - - + + + + @@ -426,12 +418,12 @@ - - + + - - + + @@ -460,10 +452,10 @@ - - - - + + + + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_011_plain_text_cae.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_011_plain_text_cae.mpsr index 69335c30..3818de32 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_011_plain_text_cae.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_011_plain_text_cae.mpsr @@ -99,40 +99,40 @@ - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + @@ -219,10 +219,10 @@ - - - - + + + + @@ -300,30 +300,30 @@ - - - - + + + + - - - - + + + + - - - - + + + + @@ -331,12 +331,12 @@ - - + + - - + + @@ -344,22 +344,22 @@ - - + + - - + + - - - - + + + + @@ -367,12 +367,12 @@ - - + + - - + + @@ -380,15 +380,49 @@ - - + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_020_patterns_instantiated_from_library.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_020_patterns_instantiated_from_library.mpsr index 8bffd4f8..8def22d0 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_020_patterns_instantiated_from_library.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_020_patterns_instantiated_from_library.mpsr @@ -113,10 +113,10 @@ - - - - + + + + @@ -179,10 +179,10 @@ - - - - + + + + @@ -207,60 +207,60 @@ - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + @@ -370,20 +370,20 @@ - - - - + + + + - - - - + + + + @@ -404,22 +404,30 @@ - - + + - - + + + + + + + + + + - - - - + + + + @@ -440,12 +448,12 @@ - - + + - - + + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_030_confidence_dempster_schafer_evidence_annotated_with_confidence.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_030_confidence_dempster_schafer_evidence_annotated_with_confidence.mpsr index c7301a68..f6bee277 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_030_confidence_dempster_schafer_evidence_annotated_with_confidence.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_030_confidence_dempster_schafer_evidence_annotated_with_confidence.mpsr @@ -37,6 +37,7 @@ + @@ -97,50 +98,50 @@ - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + @@ -178,6 +179,14 @@ + + + + + + + + @@ -219,10 +228,10 @@ - - - - + + + + @@ -247,10 +256,10 @@ - - - - + + + + @@ -270,15 +279,23 @@ + + + + + + + + - - - - + + + + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_050_linking_solutions_to_external_documents.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_050_linking_solutions_to_external_documents.mpsr index 75802ae8..17829495 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_050_linking_solutions_to_external_documents.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_050_linking_solutions_to_external_documents.mpsr @@ -98,20 +98,20 @@ - - - - + + + + - - - - + + + + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_060_linking_solutions_to_external_tools.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_060_linking_solutions_to_external_tools.mpsr index ed0161b8..f9f26173 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_060_linking_solutions_to_external_tools.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_060_linking_solutions_to_external_tools.mpsr @@ -139,10 +139,10 @@ - - - - + + + + @@ -177,10 +177,10 @@ - - - - + + + + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._051_structured_assurance_cases_doc/_015_cross_referencing_goal_structure.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._051_structured_assurance_cases_doc/_015_cross_referencing_goal_structure.mpsr index 2ddc3d43..d229884f 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._051_structured_assurance_cases_doc/_015_cross_referencing_goal_structure.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._051_structured_assurance_cases_doc/_015_cross_referencing_goal_structure.mpsr @@ -702,100 +702,100 @@ - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + - - - - + + + + @@ -803,12 +803,12 @@ - - + + - - + + @@ -828,12 +828,12 @@ - - + + - - + + @@ -853,12 +853,12 @@ - - + + - - + + @@ -878,12 +878,12 @@ - - + + - - + + @@ -902,20 +902,20 @@ - - - - + + + + - - - - + + + + @@ -923,12 +923,12 @@ - - + + - - + + @@ -948,12 +948,12 @@ - - + + - - + + @@ -972,14 +972,6 @@ - - - - - - - - @@ -998,12 +990,12 @@ - - + + - - + + @@ -1022,14 +1014,6 @@ - - - - - - - - @@ -1048,12 +1032,12 @@ - - + + - - + + @@ -1073,12 +1057,12 @@ - - + + - - + + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/Process Level Reusable Entities.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/Process Level Reusable Entities.mpsr index b7124492..c3239977 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/Process Level Reusable Entities.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/Process Level Reusable Entities.mpsr @@ -80,20 +80,20 @@ - - - - + + + + - - - - + + + + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._100_checkable_assurance_demo/_100_toplevel_safety_arg_pattern.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._100_checkable_assurance_demo/_100_toplevel_safety_arg_pattern.mpsr index 0c83aad2..7f5291a4 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._100_checkable_assurance_demo/_100_toplevel_safety_arg_pattern.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._100_checkable_assurance_demo/_100_toplevel_safety_arg_pattern.mpsr @@ -3846,10 +3846,10 @@ - - - - + + + + @@ -3914,10 +3914,10 @@ - - - - + + + + @@ -3937,6 +3937,14 @@ + + + + + + + + @@ -3952,10 +3960,10 @@ - - - - + + + + @@ -3976,22 +3984,22 @@ - - + + - - + + - + - - + + @@ -4016,10 +4024,10 @@ - - - - + + + + @@ -4036,30 +4044,30 @@ - - - - + + + + - - - - + + + + - - - - + + + + @@ -4079,6 +4087,14 @@ + + + + + + + + @@ -4116,12 +4132,12 @@ - - + + - - + + @@ -4142,12 +4158,12 @@ - - + + - - + + @@ -4190,10 +4206,10 @@ - - - - + + + + @@ -4214,12 +4230,12 @@ - - + + - - + + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.users_guide/com.mbeddr.formal.safety.users_guide.msd b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.users_guide/com.mbeddr.formal.safety.users_guide.msd index 79f9fbb3..8b269d88 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.users_guide/com.mbeddr.formal.safety.users_guide.msd +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.users_guide/com.mbeddr.formal.safety.users_guide.msd @@ -30,6 +30,7 @@ + diff --git a/code/tutorial/.mps/migration.xml b/code/tutorial/.mps/migration.xml index a2e96ad5..475d1f0b 100644 --- a/code/tutorial/.mps/migration.xml +++ b/code/tutorial/.mps/migration.xml @@ -12,6 +12,7 @@ - + + \ No newline at end of file diff --git a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/com.mbeddr.formal.nusmv.tutorial.msd b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/com.mbeddr.formal.nusmv.tutorial.msd index 04d1181e..bf10e83f 100644 --- a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/com.mbeddr.formal.nusmv.tutorial.msd +++ b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/com.mbeddr.formal.nusmv.tutorial.msd @@ -15,6 +15,7 @@ 2dd5dace-06d5-4283-a878-7272f2df6d4b(com.mbeddr.formal.nusmv.operatorspanel) + diff --git a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._010_nusmv_base.mps b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._010_nusmv_base.mps index e49d0f8a..db060a00 100644 --- a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._010_nusmv_base.mps +++ b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._010_nusmv_base.mps @@ -150,7 +150,7 @@ - + diff --git a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._020_nusmv_unit_tests.mps b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._020_nusmv_unit_tests.mps index a786edc1..2d18becb 100644 --- a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._020_nusmv_unit_tests.mps +++ b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._020_nusmv_unit_tests.mps @@ -140,7 +140,7 @@ - + diff --git a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._030_nusmv_architecture.mps b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._030_nusmv_architecture.mps index b948f885..bd5e7c2e 100644 --- a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._030_nusmv_architecture.mps +++ b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._030_nusmv_architecture.mps @@ -108,7 +108,7 @@ - + diff --git a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._040_nusmv_state_machines.mps b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._040_nusmv_state_machines.mps index 5cb595fa..92a54b5d 100644 --- a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._040_nusmv_state_machines.mps +++ b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._040_nusmv_state_machines.mps @@ -139,7 +139,7 @@ - + diff --git a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._050_nusmv_tables.mps b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._050_nusmv_tables.mps index 7b187356..13802276 100644 --- a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._050_nusmv_tables.mps +++ b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._050_nusmv_tables.mps @@ -218,7 +218,7 @@ - + diff --git a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._070_nusmv_verification_cases.mps b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._070_nusmv_verification_cases.mps index 079d73aa..05b276fc 100644 --- a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._070_nusmv_verification_cases.mps +++ b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._070_nusmv_verification_cases.mps @@ -167,7 +167,7 @@ - + diff --git a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._300_nusmv_cbd._010_cbd_lesson_1.mps b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._300_nusmv_cbd._010_cbd_lesson_1.mps index 9a1f3acf..781305e8 100644 --- a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._300_nusmv_cbd._010_cbd_lesson_1.mps +++ b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._300_nusmv_cbd._010_cbd_lesson_1.mps @@ -52,7 +52,7 @@ - + diff --git a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._300_nusmv_cbd._020_cbd_lesson_2.mps b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._300_nusmv_cbd._020_cbd_lesson_2.mps index dcdc1448..526930b0 100644 --- a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._300_nusmv_cbd._020_cbd_lesson_2.mps +++ b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._300_nusmv_cbd._020_cbd_lesson_2.mps @@ -87,7 +87,7 @@ - + diff --git a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._300_nusmv_cbd._030_cbd_lesson_3.mps b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._300_nusmv_cbd._030_cbd_lesson_3.mps index 9dd87d61..dab21862 100644 --- a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._300_nusmv_cbd._030_cbd_lesson_3.mps +++ b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._300_nusmv_cbd._030_cbd_lesson_3.mps @@ -132,7 +132,7 @@ - + diff --git a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._300_nusmv_cbd._040_cbd_lesson_4.mps b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._300_nusmv_cbd._040_cbd_lesson_4.mps index 600d34a9..f2913040 100644 --- a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._300_nusmv_cbd._040_cbd_lesson_4.mps +++ b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._300_nusmv_cbd._040_cbd_lesson_4.mps @@ -96,7 +96,7 @@ - + diff --git a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._300_nusmv_cbd.mps b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._300_nusmv_cbd.mps index 14d79243..7679889a 100644 --- a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._300_nusmv_cbd.mps +++ b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._300_nusmv_cbd.mps @@ -203,7 +203,7 @@ - + diff --git a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_020_real_examples._200_pacemaker.mps b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_020_real_examples._200_pacemaker.mps index 801ff9ea..4dc9529f 100644 --- a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_020_real_examples._200_pacemaker.mps +++ b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_020_real_examples._200_pacemaker.mps @@ -147,7 +147,7 @@ - + diff --git a/code/tutorial/solutions/com.mbeddr.formal.nusmv.users_guide/com.mbeddr.formal.nusmv.users_guide.msd b/code/tutorial/solutions/com.mbeddr.formal.nusmv.users_guide/com.mbeddr.formal.nusmv.users_guide.msd index db567121..8014ab66 100644 --- a/code/tutorial/solutions/com.mbeddr.formal.nusmv.users_guide/com.mbeddr.formal.nusmv.users_guide.msd +++ b/code/tutorial/solutions/com.mbeddr.formal.nusmv.users_guide/com.mbeddr.formal.nusmv.users_guide.msd @@ -18,7 +18,7 @@ - + @@ -29,9 +29,11 @@ + + diff --git a/code/tutorial/solutions/com.mbeddr.formal.nusmv.users_guide/models/doc.mps b/code/tutorial/solutions/com.mbeddr.formal.nusmv.users_guide/models/doc.mps index 7c8adffb..d8a577b4 100644 --- a/code/tutorial/solutions/com.mbeddr.formal.nusmv.users_guide/models/doc.mps +++ b/code/tutorial/solutions/com.mbeddr.formal.nusmv.users_guide/models/doc.mps @@ -17,7 +17,7 @@ - + @@ -92,7 +92,7 @@ - + diff --git a/gradle.lockfile b/gradle.lockfile index 35dcca6c..1d1e9613 100644 --- a/gradle.lockfile +++ b/gradle.lockfile @@ -7,16 +7,16 @@ com.fasterxml.jackson.core:jackson-databind:2.13.5=modelcheckBackend com.fasterxml.jackson.dataformat:jackson-dataformat-xml:2.13.5=modelcheckBackend com.fasterxml.jackson:jackson-bom:2.13.5=modelcheckBackend com.fasterxml.woodstox:woodstox-core:6.4.0=modelcheckBackend -com.jetbrains.jdk:jbr_jcef:17.0.8.1-b1000.32=jbrLinux,jbrMac,jbrWin -com.jetbrains:mps:2023.2.1=mps -com.mbeddr:platform:2023.2.24906.0fb1edb=languageLibs +com.jetbrains.jdk:jbr_jcef:17.0.11-b1207.30=jbrLinux,jbrMac,jbrWin +com.jetbrains:mps:2024.1.1=mps +com.mbeddr:platform:2024.1.24974.4be9b18=languageLibs com.xenomachina:kotlin-argparser:2.0.7=executeBackend,generateBackend,modelcheckBackend,remigrateBackend com.xenomachina:xenocom:0.0.7=executeBackend,generateBackend,modelcheckBackend,remigrateBackend -de.itemis.mps.build-backends:execute-generators:1.15.1.98.8f853d3=generateBackend -de.itemis.mps.build-backends:execute:1.15.1.98.8f853d3=executeBackend -de.itemis.mps.build-backends:modelcheck:1.15.1.98.8f853d3=modelcheckBackend -de.itemis.mps.build-backends:project-loader:2.3.0.98.8f853d3=executeBackend,generateBackend,modelcheckBackend,remigrateBackend -de.itemis.mps.build-backends:remigrate:0.0.4.98.8f853d3=remigrateBackend +de.itemis.mps.build-backends:execute-generators:1.18.0.112.164de65=generateBackend +de.itemis.mps.build-backends:execute:1.18.0.112.164de65=executeBackend +de.itemis.mps.build-backends:modelcheck:1.18.0.112.164de65=modelcheckBackend +de.itemis.mps.build-backends:project-loader:2.3.1.112.164de65=executeBackend,generateBackend,modelcheckBackend,remigrateBackend +de.itemis.mps.build-backends:remigrate:0.0.5.112.164de65=remigrateBackend junit:junit:4.12=antLib org.apache.ant:ant-junit:1.10.6=antLib org.apache.ant:ant-launcher:1.10.6=antLib @@ -29,5 +29,5 @@ org.jetbrains.kotlin:kotlin-stdlib-jdk8:1.6.21=executeBackend,generateBackend,mo org.jetbrains.kotlin:kotlin-stdlib:1.6.21=executeBackend,generateBackend,modelcheckBackend,remigrateBackend org.jetbrains.kotlin:kotlin-test:1.6.21=modelcheckBackend org.jetbrains:annotations:13.0=executeBackend,generateBackend,modelcheckBackend,remigrateBackend -org.mpsqa:all-in-one:2023.2.752.8c191d0=languageLibs +org.mpsqa:all-in-one:2024.1.832.579f392=languageLibs empty=