diff --git a/code/languages/com.fasten.symo/.mps/modules.xml b/code/languages/com.fasten.symo/.mps/modules.xml index f2b999871..6c8a09d9e 100644 --- a/code/languages/com.fasten.symo/.mps/modules.xml +++ b/code/languages/com.fasten.symo/.mps/modules.xml @@ -2,6 +2,7 @@ + diff --git a/code/languages/com.fasten.symo/devkits/fasten.symo.plantuml/fasten.symo.plantuml.devkit b/code/languages/com.fasten.symo/devkits/fasten.symo.plantuml/fasten.symo.plantuml.devkit new file mode 100644 index 000000000..82253edf3 --- /dev/null +++ b/code/languages/com.fasten.symo/devkits/fasten.symo.plantuml/fasten.symo.plantuml.devkit @@ -0,0 +1,8 @@ + + + + + 377bf088-4ffc-48ac-910f-fb1c66ffa60e(com.symo.plantuml.lib) + + + 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 d268f8a6b..3c96f049f 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 @@ -14,6 +14,7 @@ 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) 1144260c-e9a5-49a2-9add-39a1a1a7077e(de.itemis.mps.editor.diagram.runtime) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -60,6 +61,7 @@ + diff --git a/code/languages/com.fasten.symo/languages/com.fasten.symo.hw/models/com.fasten.symo.hw.editor.mps b/code/languages/com.fasten.symo/languages/com.fasten.symo.hw/models/com.fasten.symo.hw.editor.mps index b70e976a5..2f73d0ada 100644 --- a/code/languages/com.fasten.symo/languages/com.fasten.symo.hw/models/com.fasten.symo.hw.editor.mps +++ b/code/languages/com.fasten.symo/languages/com.fasten.symo.hw/models/com.fasten.symo.hw.editor.mps @@ -9,6 +9,7 @@ + @@ -210,7 +211,7 @@ - + diff --git a/code/languages/com.fasten.symo/languages/com.symo.plantuml/com.symo.plantuml.mpl b/code/languages/com.fasten.symo/languages/com.symo.plantuml/com.symo.plantuml.mpl index 7fab2db3b..4334e7c4f 100644 --- a/code/languages/com.fasten.symo/languages/com.symo.plantuml/com.symo.plantuml.mpl +++ b/code/languages/com.fasten.symo/languages/com.symo.plantuml/com.symo.plantuml.mpl @@ -61,6 +61,7 @@ 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) c7fb639f-be78-4307-89b0-b5959c3fa8c8(jetbrains.mps.lang.text) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -107,6 +108,7 @@ + diff --git a/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.behavior.mps b/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.behavior.mps index 51ae0878c..d31349136 100644 --- a/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.behavior.mps +++ b/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.behavior.mps @@ -341,7 +341,7 @@ - + @@ -1018,7 +1018,7 @@ - + @@ -1100,7 +1100,7 @@ - + @@ -1239,7 +1239,7 @@ - + diff --git a/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.editor.mps b/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.editor.mps index ef53c70f5..e841a337b 100644 --- a/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.editor.mps +++ b/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.editor.mps @@ -28,6 +28,7 @@ + @@ -46,15 +47,11 @@ - - - - @@ -116,7 +113,6 @@ - @@ -206,15 +202,12 @@ - - - - - + + @@ -411,7 +404,7 @@ - + @@ -486,7 +479,7 @@ - + @@ -505,19 +498,27 @@ - - - + + + + - - - - - - - + + + + + + + + + + + + + + @@ -593,7 +594,7 @@ - + @@ -1140,7 +1141,7 @@ - + @@ -1175,7 +1176,7 @@ - + @@ -1358,100 +1359,8 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -1583,7 +1492,7 @@ - + @@ -1751,7 +1660,7 @@ - + @@ -1804,7 +1713,7 @@ - + @@ -1815,7 +1724,7 @@ - + @@ -1876,7 +1785,7 @@ - + @@ -1929,7 +1838,7 @@ - + diff --git a/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.structure.mps b/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.structure.mps index 104c5d633..d73be2114 100644 --- a/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.structure.mps +++ b/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.structure.mps @@ -10,6 +10,24 @@ + + + + + + + + + + + + + + + + + + @@ -39,6 +57,7 @@ + @@ -69,7 +88,7 @@ - + @@ -80,13 +99,30 @@ + + + + + + + + + + + + + + + + + - + @@ -162,7 +198,7 @@ - + @@ -247,7 +283,7 @@ - + @@ -262,7 +298,7 @@ - + @@ -455,7 +491,7 @@ - + @@ -590,7 +626,7 @@ - + @@ -607,7 +643,7 @@ - + @@ -627,7 +663,7 @@ - + @@ -642,7 +678,7 @@ - + diff --git a/code/languages/com.fasten.symo/languages/com.symo.sysml.ibd/com.symo.sysml.ibd.mpl b/code/languages/com.fasten.symo/languages/com.symo.sysml.ibd/com.symo.sysml.ibd.mpl index e9843393d..0b903918d 100644 --- a/code/languages/com.fasten.symo/languages/com.symo.sysml.ibd/com.symo.sysml.ibd.mpl +++ b/code/languages/com.fasten.symo/languages/com.symo.sysml.ibd/com.symo.sysml.ibd.mpl @@ -17,6 +17,7 @@ ecfb9949-7433-4db5-85de-0f84d172e4ce(de.q60.mps.collections.libs) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -68,6 +69,7 @@ + diff --git a/code/languages/com.fasten.symo/languages/com.symo.sysml.ibd/models/com.symo.sysml.ibd.editor.mps b/code/languages/com.fasten.symo/languages/com.symo.sysml.ibd/models/com.symo.sysml.ibd.editor.mps index 4deb48955..f46a87524 100644 --- a/code/languages/com.fasten.symo/languages/com.symo.sysml.ibd/models/com.symo.sysml.ibd.editor.mps +++ b/code/languages/com.fasten.symo/languages/com.symo.sysml.ibd/models/com.symo.sysml.ibd.editor.mps @@ -14,6 +14,7 @@ + @@ -365,7 +366,7 @@ - + @@ -552,7 +553,7 @@ - + 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 4bc2286bf..23ce568cb 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 @@ -84,6 +84,7 @@ fa13cc63-c476-4d46-9c96-d53670abe7bc(de.itemis.mps.editor.diagram) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) b0b65429-cd22-4e2a-83e7-cd58bc6dd72f(com.mbeddr.formal.base.expressions) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -132,6 +133,7 @@ + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.activity/models/com.fasten.base.activity.editor.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.activity/models/com.fasten.base.activity.editor.mps index 75cee1ee0..68d271cd7 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.activity/models/com.fasten.base.activity.editor.mps +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.activity/models/com.fasten.base.activity.editor.mps @@ -13,6 +13,7 @@ + @@ -319,7 +320,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.msc/com.fasten.base.msc.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.msc/com.fasten.base.msc.mpl index 0163126d8..841f1215a 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.msc/com.fasten.base.msc.mpl +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.msc/com.fasten.base.msc.mpl @@ -61,6 +61,7 @@ b0b65429-cd22-4e2a-83e7-cd58bc6dd72f(com.mbeddr.formal.base.expressions) 2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel) 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -108,6 +109,7 @@ + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.msc/models/com.fasten.base.msc.editor.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.msc/models/com.fasten.base.msc.editor.mps index 3d3fe7d6c..792bb5f92 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.msc/models/com.fasten.base.msc.editor.mps +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.msc/models/com.fasten.base.msc.editor.mps @@ -19,6 +19,7 @@ + @@ -563,7 +564,7 @@ - + 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 f94deca38..9ab906cee 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 @@ -19,6 +19,7 @@ 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -76,6 +77,7 @@ + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.arch/models/editor.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.arch/models/editor.mps index e0b3c3630..72eb76514 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.arch/models/editor.mps +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.arch/models/editor.mps @@ -29,6 +29,7 @@ + @@ -579,7 +580,7 @@ - + @@ -597,7 +598,7 @@ - + @@ -626,7 +627,7 @@ - + @@ -1427,7 +1428,7 @@ - + @@ -1487,7 +1488,7 @@ - + @@ -1524,7 +1525,7 @@ - + @@ -1584,7 +1585,7 @@ - + @@ -1633,7 +1634,7 @@ - + @@ -1695,7 +1696,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.expressions/com.mbeddr.formal.base.expressions.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.expressions/com.mbeddr.formal.base.expressions.mpl index e3c96376b..c20bbf6cd 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.expressions/com.mbeddr.formal.base.expressions.mpl +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.expressions/com.mbeddr.formal.base.expressions.mpl @@ -19,6 +19,7 @@ 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) 7a5dda62-9140-4668-ab76-d5ed1746f2b2(jetbrains.mps.lang.typesystem) ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -76,6 +77,7 @@ + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.expressions/models/editor.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.expressions/models/editor.mps index 7cf7352eb..daaeab41a 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.expressions/models/editor.mps +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.expressions/models/editor.mps @@ -11,6 +11,7 @@ + @@ -264,7 +265,7 @@ - + @@ -328,7 +329,7 @@ - + @@ -369,7 +370,7 @@ - + @@ -450,7 +451,7 @@ - + @@ -524,7 +525,7 @@ - + @@ -547,14 +548,14 @@ - + - + @@ -613,7 +614,7 @@ - + @@ -669,7 +670,7 @@ - + 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 fee7aed38..11b4af127 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 @@ -17,6 +17,7 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) 4bf9a860-39c9-4cb2-8004-157a961bf42c(com.mbeddr.formal.base.operatorspanel.rt) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -75,6 +76,7 @@ + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.operatorspanel/models/editor.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.operatorspanel/models/editor.mps index 428d5b171..374cbdb0b 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.operatorspanel/models/editor.mps +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.operatorspanel/models/editor.mps @@ -31,6 +31,7 @@ + @@ -607,7 +608,7 @@ - + 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 2980aa608..6a4bbe198 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 @@ -28,6 +28,7 @@ 8da51702-0e05-44c8-96db-8f11d1457c0c(com.mpsbasics.snode.utils) 498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA) 1f4710e9-f074-4732-a0bd-6fa896d282b7(com.mpsbasics.project.utils) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -89,6 +90,7 @@ + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/editor.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/editor.mps index 4ae3d5e1a..97a14852e 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/editor.mps +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/editor.mps @@ -44,6 +44,7 @@ + @@ -83,7 +84,6 @@ - @@ -143,9 +143,6 @@ - - - @@ -176,9 +173,6 @@ - - - @@ -262,9 +256,6 @@ - - - @@ -313,10 +304,7 @@ - - - - + @@ -402,7 +390,6 @@ - @@ -532,643 +519,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2016,13 +1366,13 @@ - - - + + + - - - + + + @@ -2044,13 +1394,13 @@ - - - + + + - - - + + + @@ -3321,81 +2671,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -3535,208 +2810,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -3746,7 +2819,7 @@ - + @@ -4288,7 +3361,7 @@ - + @@ -4466,13 +3539,13 @@ - - - + + + - - - + + + 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 df4bbd6a8..08645f8c9 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 @@ -83,6 +83,7 @@ 450c81f1-1811-41ac-a9c8-8fda59f778ca(com.mbeddr.formal.nusmv.tabular) 9d368018-badb-4569-9884-4b463e4f6696(de.slisson.mps.conditionalEditor.runtime) 8d29d73f-ed99-4652-ae0a-083cdfe53c34(jetbrains.mps.ide.platform) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -153,6 +154,7 @@ + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.arch/models/editor.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.arch/models/editor.mps index 1c1105360..33e34baf7 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.arch/models/editor.mps +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.arch/models/editor.mps @@ -36,6 +36,7 @@ + @@ -3118,7 +3119,7 @@ - + @@ -3168,7 +3169,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.operatorspanel/com.mbeddr.formal.nusmv.operatorspanel.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.operatorspanel/com.mbeddr.formal.nusmv.operatorspanel.mpl index e069ea0d7..6fa4be206 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.operatorspanel/com.mbeddr.formal.nusmv.operatorspanel.mpl +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.operatorspanel/com.mbeddr.formal.nusmv.operatorspanel.mpl @@ -18,6 +18,7 @@ 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) 735f86bc-17fb-4d1c-a664-82c2b8e8a34e(com.mbeddr.mpsutil.interpreter.rt) b0b65429-cd22-4e2a-83e7-cd58bc6dd72f(com.mbeddr.formal.base.expressions) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -84,6 +85,7 @@ + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.operatorspanel/models/editor.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.operatorspanel/models/editor.mps index 601527ecc..c97ef7108 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.operatorspanel/models/editor.mps +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.operatorspanel/models/editor.mps @@ -7,6 +7,7 @@ + @@ -111,7 +112,7 @@ - + @@ -122,7 +123,7 @@ - + @@ -151,7 +152,7 @@ - + @@ -161,7 +162,7 @@ - + @@ -189,7 +190,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.source/com.mbeddr.formal.nusmv.source.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.source/com.mbeddr.formal.nusmv.source.mpl index 1a526f843..f81cc3065 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.source/com.mbeddr.formal.nusmv.source.mpl +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.source/com.mbeddr.formal.nusmv.source.mpl @@ -16,6 +16,7 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel) 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -72,6 +73,7 @@ + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.source/models/editor.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.source/models/editor.mps index ce4314182..ae91728a4 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.source/models/editor.mps +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.source/models/editor.mps @@ -11,6 +11,7 @@ + @@ -98,7 +99,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.tests/com.mbeddr.formal.nusmv.tests.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.tests/com.mbeddr.formal.nusmv.tests.mpl index 387ce8e6f..cfc782262 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.tests/com.mbeddr.formal.nusmv.tests.mpl +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.tests/com.mbeddr.formal.nusmv.tests.mpl @@ -81,6 +81,7 @@ 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) 692c2a6d-09c5-40f7-98f0-1f4b59860c1b(com.mbeddr.formal.nusmv.pluginSolution) e9ce245b-3106-45ed-8e5b-aff820d09b85(com.mbeddr.formal.base.tooling) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -147,6 +148,7 @@ + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.tests/models/editor.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.tests/models/editor.mps index 01dc9ce69..9440d1bac 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.tests/models/editor.mps +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.tests/models/editor.mps @@ -13,6 +13,7 @@ + @@ -427,7 +428,7 @@ - + @@ -450,7 +451,7 @@ - + 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 9a4bd2c76..507a3bfa4 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 @@ -68,6 +68,7 @@ 692c2a6d-09c5-40f7-98f0-1f4b59860c1b(com.mbeddr.formal.nusmv.pluginSolution) e9ce245b-3106-45ed-8e5b-aff820d09b85(com.mbeddr.formal.base.tooling) 848ef45d-e560-4e35-853c-f35a64cc135c(de.itemis.mps.editor.celllayout.runtime) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -130,6 +131,7 @@ + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv/models/editor.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv/models/editor.mps index 56e9ae16a..16ac2d4af 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv/models/editor.mps +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv/models/editor.mps @@ -22,6 +22,7 @@ + @@ -254,7 +255,7 @@ - + @@ -1059,7 +1060,7 @@ - + @@ -1178,7 +1179,7 @@ - + @@ -1239,7 +1240,7 @@ - + @@ -1287,7 +1288,7 @@ - + @@ -1411,7 +1412,7 @@ - + @@ -1471,7 +1472,7 @@ - + @@ -1507,7 +1508,7 @@ - + @@ -1547,7 +1548,7 @@ - + @@ -1655,7 +1656,7 @@ - + @@ -1683,14 +1684,14 @@ - + - + @@ -1703,7 +1704,7 @@ - + @@ -1717,7 +1718,7 @@ - + @@ -1727,7 +1728,7 @@ - + @@ -1740,7 +1741,7 @@ - + @@ -1753,7 +1754,7 @@ - + @@ -2331,7 +2332,7 @@ - + @@ -2354,7 +2355,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.ocra/com.mbeddr.formal.ocra.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.ocra/com.mbeddr.formal.ocra.mpl index 3b9102d2d..8d8e677a9 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.ocra/com.mbeddr.formal.ocra.mpl +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.ocra/com.mbeddr.formal.ocra.mpl @@ -18,6 +18,7 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 001b2375-3bd5-4d5e-9958-6b3f62dc8548(com.mbeddr.formal.nusmv) c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -69,6 +70,7 @@ + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.ocra/models/com.mbeddr.formal.ocra.editor.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.ocra/models/com.mbeddr.formal.ocra.editor.mps index e1f81b141..263dd826f 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.ocra/models/com.mbeddr.formal.ocra.editor.mps +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.ocra/models/com.mbeddr.formal.ocra.editor.mps @@ -8,9 +8,10 @@ - + + @@ -223,7 +224,7 @@ - + @@ -1312,7 +1313,7 @@ - + @@ -1341,7 +1342,7 @@ - + @@ -1455,7 +1456,7 @@ - + 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 8f9a3d99d..ec775206b 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 @@ -17,6 +17,7 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 3c34ac43-22de-4ba4-9539-377c90eb9be6(com.mbeddr.formal.prism) b0b65429-cd22-4e2a-83e7-cd58bc6dd72f(com.mbeddr.formal.base.expressions) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -66,6 +67,7 @@ + diff --git a/code/languages/com.mbeddr.formal.prism/languages/com.mbeddr.formal.prism/models/com.mbeddr.formal.prism.editor.mps b/code/languages/com.mbeddr.formal.prism/languages/com.mbeddr.formal.prism/models/com.mbeddr.formal.prism.editor.mps index 7ddceb593..4825bb597 100644 --- a/code/languages/com.mbeddr.formal.prism/languages/com.mbeddr.formal.prism/models/com.mbeddr.formal.prism.editor.mps +++ b/code/languages/com.mbeddr.formal.prism/languages/com.mbeddr.formal.prism/models/com.mbeddr.formal.prism.editor.mps @@ -8,6 +8,7 @@ + @@ -130,7 +131,7 @@ - + @@ -474,7 +475,7 @@ - + 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 bdaf21271..4f19a477b 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.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 d7504a4ab..19be94459 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 @@ -16,6 +16,7 @@ 2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel) b0b65429-cd22-4e2a-83e7-cd58bc6dd72f(com.mbeddr.formal.base.expressions) 65ed2ac6-4499-4751-951e-3819684a4b8d(com.fasten.req.ontology) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -71,6 +72,7 @@ + diff --git a/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.odd/models/com.fasten.req.odd.editor.mps b/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.odd/models/com.fasten.req.odd.editor.mps index 8c714e4c6..038026868 100644 --- a/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.odd/models/com.fasten.req.odd.editor.mps +++ b/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.odd/models/com.fasten.req.odd.editor.mps @@ -10,6 +10,7 @@ + @@ -208,7 +209,7 @@ - + @@ -333,7 +334,7 @@ - + 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 7d1943600..810c934f5 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 @@ -20,6 +20,7 @@ 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 7b45fa94-2707-4a1a-9e6a-ce40c4aaf35a(de.itemis.mps.editor.collapsible.runtime) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -74,6 +75,7 @@ + diff --git a/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.ontology/models/com.fasten.req.ontology.editor.mps b/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.ontology/models/com.fasten.req.ontology.editor.mps index 29eb8a2a1..bd6cb615d 100644 --- a/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.ontology/models/com.fasten.req.ontology.editor.mps +++ b/code/languages/com.mbeddr.formal.req/languages/com.fasten.req.ontology/models/com.fasten.req.ontology.editor.mps @@ -26,6 +26,7 @@ + @@ -437,7 +438,7 @@ - + @@ -477,7 +478,7 @@ - + @@ -732,7 +733,7 @@ - + @@ -996,7 +997,7 @@ - + @@ -1879,7 +1880,7 @@ - + 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 6ce440e62..a19fbe279 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 @@ -69,6 +69,7 @@ d3a0fd26-445a-466c-900e-10444ddfed52(com.mbeddr.mpsutil.filepicker) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 92d2ea16-5a42-4fdf-a676-c7604efe3504(de.slisson.mps.richtext) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -117,6 +118,7 @@ + diff --git a/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.base/models/editor.mps b/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.base/models/editor.mps index 760bd1c9c..7095d8783 100644 --- a/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.base/models/editor.mps +++ b/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.base/models/editor.mps @@ -31,6 +31,7 @@ + @@ -477,7 +478,7 @@ - + @@ -624,7 +625,7 @@ - + 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 adbc8bc9d..fba11cdfa 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 @@ -71,6 +71,7 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) 0deccdfd-196b-4d8c-895e-0d6cb8014dfd(com.mbeddr.formal.req.base) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -118,6 +119,7 @@ + diff --git a/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.scenarios/models/com.mbeddr.formal.req.scenarios.editor.mps b/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.scenarios/models/com.mbeddr.formal.req.scenarios.editor.mps index 9f8434dcd..d40eefec4 100644 --- a/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.scenarios/models/com.mbeddr.formal.req.scenarios.editor.mps +++ b/code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.scenarios/models/com.mbeddr.formal.req.scenarios.editor.mps @@ -10,6 +10,7 @@ + @@ -188,7 +189,7 @@ - + @@ -238,7 +239,7 @@ - + @@ -302,7 +303,7 @@ - + @@ -401,7 +402,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/.mps/libraries.xml b/code/languages/com.mbeddr.formal.safety/.mps/libraries.xml index feb4b0a83..ff4485823 100644 --- a/code/languages/com.mbeddr.formal.safety/.mps/libraries.xml +++ b/code/languages/com.mbeddr.formal.safety/.mps/libraries.xml @@ -51,6 +51,14 @@ + + + + + + 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 be42de2e3..17dee99fd 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 @@ -14,6 +14,7 @@ 92d2ea16-5a42-4fdf-a676-c7604efe3504(de.slisson.mps.richtext) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -66,6 +67,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.process.review/models/com.fasten.process.review.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.process.review/models/com.fasten.process.review.editor.mps index 382e0fc6d..4bfa6e0ec 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.process.review/models/com.fasten.process.review.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.process.review/models/com.fasten.process.review.editor.mps @@ -13,6 +13,7 @@ + @@ -244,7 +245,7 @@ - + @@ -490,7 +491,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/com.fasten.safety.bayesian_network.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/com.fasten.safety.bayesian_network.mpl index 93fed6e88..fd2f668c1 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/com.fasten.safety.bayesian_network.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/com.fasten.safety.bayesian_network.mpl @@ -15,6 +15,7 @@ 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -62,6 +63,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/models/com.fasten.safety.bayesian_network.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/models/com.fasten.safety.bayesian_network.editor.mps index a8a3cdd7a..967c5cd7f 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/models/com.fasten.safety.bayesian_network.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/models/com.fasten.safety.bayesian_network.editor.mps @@ -14,6 +14,7 @@ + @@ -437,7 +438,7 @@ - + @@ -464,7 +465,7 @@ - + @@ -511,7 +512,7 @@ - + @@ -602,7 +603,7 @@ - + @@ -694,7 +695,7 @@ - + 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 3b45b67cf..4b0e92cf7 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 @@ -15,6 +15,7 @@ 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) 92d2ea16-5a42-4fdf-a676-c7604efe3504(de.slisson.mps.richtext) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -64,6 +65,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea.iso26262/models/com.fasten.safety.fmea.iso26262.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea.iso26262/models/com.fasten.safety.fmea.iso26262.editor.mps index c36f83bae..2313f41c9 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea.iso26262/models/com.fasten.safety.fmea.iso26262.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea.iso26262/models/com.fasten.safety.fmea.iso26262.editor.mps @@ -13,6 +13,7 @@ + @@ -191,13 +192,13 @@ - + - + @@ -223,7 +224,7 @@ - + @@ -263,7 +264,7 @@ - + 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 f13c6cefc..4a53f517f 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 @@ -14,6 +14,7 @@ 92d2ea16-5a42-4fdf-a676-c7604efe3504(de.slisson.mps.richtext) 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -60,6 +61,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea/models/com.fasten.safety.fmea.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea/models/com.fasten.safety.fmea.editor.mps index 2ccfc3ee9..0e0f546e8 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea/models/com.fasten.safety.fmea.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea/models/com.fasten.safety.fmea.editor.mps @@ -11,6 +11,7 @@ + @@ -260,7 +261,7 @@ - + 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 9a0323da1..abeacdb54 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 @@ -24,6 +24,7 @@ 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) 6b84fb9e-5f09-4a61-bf31-3bfdc54820e3(com.mpsbasics.editor.utils) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -84,6 +85,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.ft/models/com.fasten.safety.ft.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.ft/models/com.fasten.safety.ft.editor.mps index 3a7284814..46ab1d9c8 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.ft/models/com.fasten.safety.ft.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.ft/models/com.fasten.safety.ft.editor.mps @@ -23,6 +23,7 @@ + @@ -637,7 +638,7 @@ - + @@ -3086,7 +3087,7 @@ - + @@ -3554,7 +3555,7 @@ - + @@ -3609,7 +3610,7 @@ - + @@ -3651,7 +3652,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.hazop/com.fasten.safety.hazop.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.hazop/com.fasten.safety.hazop.mpl index c3e929f90..39b3bb430 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.hazop/com.fasten.safety.hazop.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.hazop/com.fasten.safety.hazop.mpl @@ -14,6 +14,7 @@ 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) c7fb639f-be78-4307-89b0-b5959c3fa8c8(jetbrains.mps.lang.text) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -60,6 +61,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.hazop/models/com.fasten.safety.hazop.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.hazop/models/com.fasten.safety.hazop.editor.mps index 086316382..dff948300 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.hazop/models/com.fasten.safety.hazop.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.hazop/models/com.fasten.safety.hazop.editor.mps @@ -9,6 +9,7 @@ + @@ -61,7 +62,7 @@ - + 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 92cd4aa24..ded3d1da4 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 @@ -18,6 +18,7 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 56f134c7-a829-428d-9119-715369c69768(org.mpsqa.treemap.lib) ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -67,6 +68,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.jira_integration/models/com.mbeddr.formal.safety.argument.jira_integration.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.jira_integration/models/com.mbeddr.formal.safety.argument.jira_integration.editor.mps index 41515814f..b12ec8a28 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.jira_integration/models/com.mbeddr.formal.safety.argument.jira_integration.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.jira_integration/models/com.mbeddr.formal.safety.argument.jira_integration.editor.mps @@ -7,8 +7,8 @@ + - @@ -47,7 +47,7 @@ - + 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 dcaca82fe..6d8164d29 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 @@ -87,6 +87,7 @@ 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) 7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -138,6 +139,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/models/com.mbeddr.formal.safety.argument.modelquery.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/models/com.mbeddr.formal.safety.argument.modelquery.editor.mps index 10b49dc65..04c01d8a4 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/models/com.mbeddr.formal.safety.argument.modelquery.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/models/com.mbeddr.formal.safety.argument.modelquery.editor.mps @@ -8,6 +8,7 @@ + @@ -152,7 +153,7 @@ - + @@ -252,7 +253,7 @@ - + @@ -272,7 +273,7 @@ - + @@ -385,7 +386,7 @@ - + @@ -405,7 +406,7 @@ - + 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 f9dfc7eae..e2dbd43e4 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 @@ -19,6 +19,7 @@ 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) e8a04d94-4307-4f88-95a2-25f7c4f39437(com.mbeddr.formal.safety.gsn) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -68,6 +69,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.process.artefacts/models/com.mbeddr.formal.safety.argument.process.artefacts.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.process.artefacts/models/com.mbeddr.formal.safety.argument.process.artefacts.editor.mps index 664775989..9c98f7cb0 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.process.artefacts/models/com.mbeddr.formal.safety.argument.process.artefacts.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.process.artefacts/models/com.mbeddr.formal.safety.argument.process.artefacts.editor.mps @@ -13,6 +13,7 @@ + @@ -677,7 +678,7 @@ - + @@ -1487,7 +1488,7 @@ - + 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 0ca05af4e..f897fc5e9 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 @@ -15,6 +15,7 @@ e8a04d94-4307-4f88-95a2-25f7c4f39437(com.mbeddr.formal.safety.gsn) 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) 2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -63,6 +64,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.process/models/com.mbeddr.formal.safety.argument.process.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.process/models/com.mbeddr.formal.safety.argument.process.editor.mps index b79c42ce3..b5bdbaf91 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.process/models/com.mbeddr.formal.safety.argument.process.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.process/models/com.mbeddr.formal.safety.argument.process.editor.mps @@ -10,6 +10,7 @@ + @@ -168,7 +169,7 @@ - + @@ -186,7 +187,7 @@ - + @@ -260,7 +261,7 @@ - + @@ -402,7 +403,7 @@ - + @@ -569,7 +570,7 @@ - + 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 5e4dfc7b0..5a8554b36 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 @@ -21,6 +21,7 @@ 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) 81f324e1-38b1-44b1-85d2-19432dece3f6(com.mbeddr.formal.safety.argument.runtime.pluginSolution) 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -78,6 +79,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.runtime/models/com.mbeddr.formal.safety.argument.runtime.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.runtime/models/com.mbeddr.formal.safety.argument.runtime.editor.mps index 809cc304e..cce30518b 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.runtime/models/com.mbeddr.formal.safety.argument.runtime.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.runtime/models/com.mbeddr.formal.safety.argument.runtime.editor.mps @@ -14,6 +14,7 @@ + @@ -161,7 +162,7 @@ - + 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 65aedb8f5..94f971e15 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 @@ -16,6 +16,7 @@ f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) e8a04d94-4307-4f88-95a2-25f7c4f39437(com.mbeddr.formal.safety.gsn) 13744753-c81f-424a-9c1b-cf8943bf4e86(jetbrains.mps.lang.sharedConcepts) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -63,6 +64,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.spi/models/com.mbeddr.formal.safety.argument.spi.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.spi/models/com.mbeddr.formal.safety.argument.spi.editor.mps index c5aa08553..47ddd0ed8 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.spi/models/com.mbeddr.formal.safety.argument.spi.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.spi/models/com.mbeddr.formal.safety.argument.spi.editor.mps @@ -8,6 +8,7 @@ + @@ -67,7 +68,7 @@ - + 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 81686e97c..bd2a74453 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 @@ -21,6 +21,7 @@ 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -68,6 +69,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/models/com.mbeddr.formal.safety.argument.visualisation.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/models/com.mbeddr.formal.safety.argument.visualisation.editor.mps index 95a1121ce..d81636e77 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/models/com.mbeddr.formal.safety.argument.visualisation.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/models/com.mbeddr.formal.safety.argument.visualisation.editor.mps @@ -30,6 +30,7 @@ + @@ -436,7 +437,7 @@ - + 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 d4cf21a4d..eb6281eec 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 @@ -16,6 +16,7 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) e8a04d94-4307-4f88-95a2-25f7c4f39437(com.mbeddr.formal.safety.gsn) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -69,6 +70,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.acp/models/com.mbeddr.formal.safety.gsn.confidence.acp.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.acp/models/com.mbeddr.formal.safety.gsn.confidence.acp.editor.mps index 04fa2168c..fea4b4b75 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.acp/models/com.mbeddr.formal.safety.gsn.confidence.acp.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.acp/models/com.mbeddr.formal.safety.gsn.confidence.acp.editor.mps @@ -8,6 +8,7 @@ + @@ -111,7 +112,7 @@ - + @@ -155,7 +156,7 @@ - + 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 baa84af32..40b5b4e44 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 @@ -17,6 +17,7 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -71,6 +72,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer/models/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer/models/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.editor.mps index 9ec790a09..780be0338 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer/models/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer/models/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.editor.mps @@ -13,8 +13,8 @@ + - @@ -683,7 +683,7 @@ - + @@ -1162,7 +1162,7 @@ - + @@ -1194,7 +1194,7 @@ - + @@ -1213,7 +1213,7 @@ - + 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 c01edbbdb..d2a06452b 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 @@ -23,6 +23,7 @@ e9ce245b-3106-45ed-8e5b-aff820d09b85(com.mbeddr.formal.base.tooling) 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -83,6 +84,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/models/com.mbeddr.formal.safety.gsn.ext.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/models/com.mbeddr.formal.safety.gsn.ext.editor.mps index 06e4a9ef5..b05e4eb1b 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/models/com.mbeddr.formal.safety.gsn.ext.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/models/com.mbeddr.formal.safety.gsn.ext.editor.mps @@ -19,6 +19,7 @@ + @@ -386,7 +387,7 @@ - + @@ -1247,7 +1248,7 @@ - + @@ -1294,7 +1295,7 @@ - + @@ -1308,7 +1309,7 @@ - + @@ -1328,7 +1329,7 @@ - + @@ -1357,7 +1358,7 @@ - + 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 0df711d6c..83c7174fb 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 @@ -21,6 +21,7 @@ c7fb639f-be78-4307-89b0-b5959c3fa8c8(jetbrains.mps.lang.text) 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) 6b84fb9e-5f09-4a61-bf31-3bfdc54820e3(com.mpsbasics.editor.utils) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -73,6 +74,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.external_evidence/models/com.mbeddr.formal.safety.gsn.external_evidence.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.external_evidence/models/com.mbeddr.formal.safety.gsn.external_evidence.editor.mps index 121f8fcec..ecd52ac70 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.external_evidence/models/com.mbeddr.formal.safety.gsn.external_evidence.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.external_evidence/models/com.mbeddr.formal.safety.gsn.external_evidence.editor.mps @@ -19,6 +19,7 @@ + @@ -1096,7 +1097,7 @@ - + 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 1ddde925e..c1307c5e5 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 @@ -14,6 +14,7 @@ e8a04d94-4307-4f88-95a2-25f7c4f39437(com.mbeddr.formal.safety.gsn) bc7d0863-298c-41cf-984f-a0421e757da5(com.mpsbasics.pdfbox) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -60,6 +61,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.editor.mps index ce4699572..173791387 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.pdfexport/models/com.mbeddr.formal.safety.gsn.pdfexport.editor.mps @@ -8,9 +8,9 @@ + - @@ -67,7 +67,7 @@ - + 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 3c594bc32..1116166e4 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 @@ -25,6 +25,7 @@ 8da51702-0e05-44c8-96db-8f11d1457c0c(com.mpsbasics.snode.utils) 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) 6b84fb9e-5f09-4a61-bf31-3bfdc54820e3(com.mpsbasics.editor.utils) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -83,6 +84,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps index 69983b703..6f568fc60 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps @@ -47,6 +47,7 @@ + @@ -833,7 +834,7 @@ - + @@ -5845,7 +5846,7 @@ - + @@ -10396,7 +10397,7 @@ - + @@ -11726,7 +11727,7 @@ - + @@ -13024,7 +13025,7 @@ - + @@ -13740,7 +13741,7 @@ - + @@ -14266,7 +14267,7 @@ - + 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 e0529358c..f5773d83d 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 @@ -13,6 +13,7 @@ 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -60,6 +61,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.hara/models/com.mbeddr.formal.safety.hara.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.hara/models/com.mbeddr.formal.safety.hara.editor.mps index b774df282..308b8d4a3 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.hara/models/com.mbeddr.formal.safety.hara.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.hara/models/com.mbeddr.formal.safety.hara.editor.mps @@ -11,6 +11,7 @@ + @@ -102,7 +103,7 @@ - + @@ -201,7 +202,7 @@ - + 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 139ad680c..e6fd48b50 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 @@ -15,6 +15,7 @@ 17da266c-02d9-4bbd-b69b-8a656b49f45c(com.mbeddr.formal.safety.hara) 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) c7fb639f-be78-4307-89b0-b5959c3fa8c8(jetbrains.mps.lang.text) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -66,6 +67,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.iso26262/models/com.mbeddr.formal.safety.iso26262.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.iso26262/models/com.mbeddr.formal.safety.iso26262.editor.mps index 05ea3a8e0..b175b3b25 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.iso26262/models/com.mbeddr.formal.safety.iso26262.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.iso26262/models/com.mbeddr.formal.safety.iso26262.editor.mps @@ -10,6 +10,7 @@ + @@ -243,7 +244,7 @@ - + @@ -280,7 +281,7 @@ - + @@ -368,7 +369,7 @@ - + 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 6c91c115f..eeac2709a 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 @@ -20,6 +20,7 @@ e9ce245b-3106-45ed-8e5b-aff820d09b85(com.mbeddr.formal.base.tooling) 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) 6b84fb9e-5f09-4a61-bf31-3bfdc54820e3(com.mpsbasics.editor.utils) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -80,6 +81,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.stamp/models/com.mbeddr.formal.safety.stamp.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.stamp/models/com.mbeddr.formal.safety.stamp.editor.mps index 8d70ad580..3e467c3ee 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.stamp/models/com.mbeddr.formal.safety.stamp.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.stamp/models/com.mbeddr.formal.safety.stamp.editor.mps @@ -22,6 +22,7 @@ + @@ -497,7 +498,7 @@ - + @@ -1371,7 +1372,7 @@ - + @@ -1765,7 +1766,7 @@ - + @@ -1817,7 +1818,7 @@ - + @@ -2452,7 +2453,7 @@ - + @@ -2603,7 +2604,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 4a3b32502..3f780b7dd 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 @@ -608,6 +608,9 @@ + + + @@ -2671,6 +2674,71 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2938,6 +3006,11 @@ + + + + + @@ -3033,6 +3106,11 @@ + + + + + @@ -3233,6 +3311,11 @@ + + + + + @@ -3394,6 +3477,11 @@ + + + + + @@ -3547,6 +3635,11 @@ + + + + + @@ -3661,6 +3754,11 @@ + + + + + @@ -4106,6 +4204,11 @@ + + + + + @@ -4255,6 +4358,11 @@ + + + + + @@ -4410,6 +4518,11 @@ + + + + + @@ -4547,6 +4660,11 @@ + + + + + @@ -4652,6 +4770,11 @@ + + + + + @@ -4780,6 +4903,11 @@ + + + + + @@ -5103,6 +5231,11 @@ + + + + + @@ -5198,6 +5331,11 @@ + + + + + @@ -5286,6 +5424,11 @@ + + + + + @@ -5374,6 +5517,11 @@ + + + + + @@ -5648,6 +5796,11 @@ + + + + + @@ -6151,6 +6304,11 @@ + + + + + @@ -6251,6 +6409,11 @@ + + + + + @@ -6342,6 +6505,11 @@ + + + + + @@ -6443,6 +6611,11 @@ + + + + + @@ -6528,6 +6701,11 @@ + + + + + @@ -6769,6 +6947,11 @@ + + + + + @@ -6844,6 +7027,11 @@ + + + + + @@ -6909,6 +7097,11 @@ + + + + + @@ -7012,6 +7205,11 @@ + + + + + @@ -7208,6 +7406,11 @@ + + + + + @@ -7477,6 +7680,11 @@ + + + + + @@ -7552,6 +7760,11 @@ + + + + + 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 8bf1a9fa3..36ff75c3a 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 @@ -30,6 +30,7 @@ 65ed2ac6-4499-4751-951e-3819684a4b8d(com.fasten.req.ontology) 3460ac43-6f59-4f61-b134-9fa2f799c2d3(com.mbeddr.formal.req.scenarios) 81f6a079-965e-4523-87c3-8e6194f66585(com.fasten.base.msc) + 6f31bc85-cbcc-4dcf-ada4-35da43e6832c(com.symo.plantuml) @@ -86,6 +87,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.rcp.pluginSolution/models/com.fasten.safety.rcp.pluginSolution.plugin.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.rcp.pluginSolution/models/com.fasten.safety.rcp.pluginSolution.plugin.mps index 82643ec34..b007df848 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.rcp.pluginSolution/models/com.fasten.safety.rcp.pluginSolution.plugin.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.rcp.pluginSolution/models/com.fasten.safety.rcp.pluginSolution.plugin.mps @@ -31,6 +31,7 @@ + @@ -1040,6 +1041,29 @@ + + + + + + + + + + + + + + + + + + + + + + + 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 30105df0b..feac842fe 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 @@ -817,6 +817,9 @@ + + + @@ -1145,6 +1148,9 @@ + + + @@ -2955,6 +2961,71 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3091,6 +3162,11 @@ + + + + + @@ -3171,6 +3247,11 @@ + + + + + @@ -3285,6 +3366,11 @@ + + + + + @@ -3422,6 +3508,29 @@ + + + + + + + + + + + + + + + + + + + + + + + @@ -3749,6 +3858,11 @@ + + + + + @@ -3847,6 +3961,11 @@ + + + + + @@ -4070,6 +4189,11 @@ + + + + + @@ -4844,6 +4968,11 @@ + + + + + @@ -5114,6 +5243,11 @@ + + + + + @@ -5287,6 +5421,11 @@ + + + + + @@ -5608,6 +5747,11 @@ + + + + + @@ -5791,6 +5935,11 @@ + + + + + @@ -5969,6 +6118,11 @@ + + + + + @@ -6576,6 +6730,11 @@ + + + + + @@ -6729,6 +6888,11 @@ + + + + + @@ -6829,6 +6993,11 @@ + + + + + @@ -6934,6 +7103,11 @@ + + + + + @@ -7048,6 +7222,11 @@ + + + + + @@ -7331,6 +7510,11 @@ + + + + + @@ -7844,6 +8028,11 @@ + + + + + @@ -7984,6 +8173,11 @@ + + + + + @@ -8062,6 +8256,11 @@ + + + + + @@ -8624,6 +8823,11 @@ + + + + + @@ -8933,6 +9137,11 @@ + + + + + @@ -9145,6 +9354,11 @@ + + + + + @@ -10156,6 +10370,11 @@ + + + + + @@ -10501,6 +10720,11 @@ + + + + + @@ -10606,6 +10830,11 @@ + + + + + @@ -10734,6 +10963,11 @@ + + + + + @@ -11071,6 +11305,11 @@ + + + + + @@ -11159,6 +11398,11 @@ + + + + + @@ -11839,6 +12083,11 @@ + + + + + @@ -11934,6 +12183,11 @@ + + + + + @@ -12074,6 +12328,11 @@ + + + + + @@ -12353,6 +12612,11 @@ + + + + + @@ -12444,6 +12708,11 @@ + + + + + @@ -12651,6 +12920,11 @@ + + + + + @@ -12729,6 +13003,11 @@ + + + + + @@ -12832,6 +13111,11 @@ + + + + + @@ -13050,6 +13334,11 @@ + + + + + @@ -13222,6 +13511,11 @@ + + + + + @@ -13380,6 +13674,11 @@ + + + + + @@ -13643,6 +13942,11 @@ + + + + + @@ -14548,6 +14852,11 @@ + + + + + @@ -14752,6 +15061,11 @@ + + + + + @@ -14822,6 +15136,11 @@ + + + + + @@ -15018,6 +15337,11 @@ + + + + + @@ -15103,6 +15427,11 @@ + + + + + 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 5b4ce6486..14c1ecb0b 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/languages/com.mbeddr.formal.smtlib/com.mbeddr.formal.smtlib.mpl b/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib/com.mbeddr.formal.smtlib.mpl index 373b0689e..82caa63e9 100644 --- a/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib/com.mbeddr.formal.smtlib.mpl +++ b/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib/com.mbeddr.formal.smtlib.mpl @@ -17,6 +17,7 @@ 03458680-b827-4dcd-a8ca-ad82e7bdf60e(com.mbeddr.formal.smtlib.z3.rt) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) f7821750-33bf-489c-8f64-0850d86d540d(com.mbeddr.formal.smtlib.z3.lib) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -74,6 +75,7 @@ + diff --git a/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib/models/editor.mps b/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib/models/editor.mps index a98c31291..93de97d07 100644 --- a/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib/models/editor.mps +++ b/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib/models/editor.mps @@ -13,6 +13,7 @@ + @@ -210,7 +211,7 @@ - + @@ -219,13 +220,13 @@ - + - + @@ -265,13 +266,13 @@ - + - + @@ -325,7 +326,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 cbf15f65b..ea98bcd39 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/languages/com.mbeddr.formal.spin.c.core/com.mbeddr.formal.spin.c.core.mpl b/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.c.core/com.mbeddr.formal.spin.c.core.mpl index 8fb5de756..b14a2f9f2 100644 --- a/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.c.core/com.mbeddr.formal.spin.c.core.mpl +++ b/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.c.core/com.mbeddr.formal.spin.c.core.mpl @@ -18,6 +18,7 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel) ef89f137-f966-4966-a202-ab9ea26e79fe(com.mbeddr.formal.spin.c.core) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -77,6 +78,7 @@ + diff --git a/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.c.core/models/editor.mps b/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.c.core/models/editor.mps index a7adde8a0..682f15ed8 100644 --- a/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.c.core/models/editor.mps +++ b/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.c.core/models/editor.mps @@ -13,6 +13,7 @@ + @@ -217,7 +218,7 @@ - + @@ -282,7 +283,7 @@ - + @@ -305,7 +306,7 @@ - + @@ -418,7 +419,7 @@ - + @@ -465,7 +466,7 @@ - + @@ -525,7 +526,7 @@ - + @@ -658,7 +659,7 @@ - + @@ -896,7 +897,7 @@ - + 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 75ce0e8ca..0a8a27d02 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 @@ -152,6 +152,7 @@ 2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel) 628c1bba-6b54-4c71-927c-3cff044349e4(com.mbeddr.formal.spin.hdl) ef89f137-f966-4966-a202-ab9ea26e79fe(com.mbeddr.formal.spin.c.core) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -223,6 +224,7 @@ + diff --git a/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.hdl/models/editor.mps b/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.hdl/models/editor.mps index 1e0cf9760..9601bbd5a 100644 --- a/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.hdl/models/editor.mps +++ b/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.hdl/models/editor.mps @@ -15,6 +15,7 @@ + @@ -195,7 +196,7 @@ - + @@ -247,7 +248,7 @@ - + @@ -292,7 +293,7 @@ - + @@ -323,7 +324,7 @@ - + @@ -387,7 +388,7 @@ - + @@ -498,7 +499,7 @@ - + @@ -661,7 +662,7 @@ - + @@ -731,7 +732,7 @@ - + @@ -755,7 +756,7 @@ - + @@ -799,7 +800,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 a7a4b0d61..52b2307e6 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 @@ -81,6 +81,7 @@ d3a0fd26-445a-466c-900e-10444ddfed52(com.mbeddr.mpsutil.filepicker) ad8d48af-022b-40dc-8979-2b76074fb438(com.mbeddr.formal.spin) 39983771-4e9b-401b-a1a9-1da6c777c843(MPS.ThirdParty) + 792be022-0a7a-4b28-bfd8-b1b2d347b772(com.mpsbasics.core) @@ -151,6 +152,7 @@ + diff --git a/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin/models/editor.mps b/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin/models/editor.mps index 13cf5b857..2ea03373d 100644 --- a/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin/models/editor.mps +++ b/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin/models/editor.mps @@ -12,6 +12,7 @@ + @@ -222,7 +223,7 @@ - + @@ -248,7 +249,7 @@ - + @@ -367,7 +368,7 @@ - + @@ -391,7 +392,7 @@ - + @@ -632,7 +633,7 @@ - + @@ -854,7 +855,7 @@ - + @@ -868,7 +869,7 @@ - + @@ -885,7 +886,7 @@ - + @@ -904,7 +905,7 @@ - + @@ -914,7 +915,7 @@ - + @@ -933,7 +934,7 @@ - + @@ -978,7 +979,7 @@ - + @@ -1055,7 +1056,7 @@ - + @@ -1069,7 +1070,7 @@ - + @@ -1108,7 +1109,7 @@ - + @@ -1187,7 +1188,7 @@ - + @@ -1201,7 +1202,7 @@ - + @@ -1214,7 +1215,7 @@ - + @@ -1241,7 +1242,7 @@ - + @@ -1348,7 +1349,7 @@ - + @@ -1636,7 +1637,7 @@ - + @@ -1700,7 +1701,7 @@ - + @@ -1741,7 +1742,7 @@ - + @@ -1822,7 +1823,7 @@ - + @@ -1886,7 +1887,7 @@ - + @@ -2070,7 +2071,7 @@ - + diff --git a/code/languages/com.mpsbasics/.mps/modules.xml b/code/languages/com.mpsbasics/.mps/modules.xml index 87dacf675..188be065e 100644 --- a/code/languages/com.mpsbasics/.mps/modules.xml +++ b/code/languages/com.mpsbasics/.mps/modules.xml @@ -2,6 +2,7 @@ + diff --git a/code/languages/com.mpsbasics/languages/com.mpsbasics.core/com.mpsbasics.core.mpl b/code/languages/com.mpsbasics/languages/com.mpsbasics.core/com.mpsbasics.core.mpl new file mode 100644 index 000000000..f0cf1d94a --- /dev/null +++ b/code/languages/com.mpsbasics/languages/com.mpsbasics.core/com.mpsbasics.core.mpl @@ -0,0 +1,71 @@ + + + + + + + + + + + + + + + 848ef45d-e560-4e35-853c-f35a64cc135c(de.itemis.mps.editor.celllayout.runtime) + 8d29d73f-ed99-4652-ae0a-083cdfe53c34(jetbrains.mps.ide.platform) + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mpsbasics/languages/com.mpsbasics.core/models/com.mpsbasics.core.behavior.mps b/code/languages/com.mpsbasics/languages/com.mpsbasics.core/models/com.mpsbasics.core.behavior.mps new file mode 100644 index 000000000..30c95d15d --- /dev/null +++ b/code/languages/com.mpsbasics/languages/com.mpsbasics.core/models/com.mpsbasics.core.behavior.mps @@ -0,0 +1,12 @@ + + + + + + + + + + + + diff --git a/code/languages/com.mpsbasics/languages/com.mpsbasics.core/models/com.mpsbasics.core.constraints.mps b/code/languages/com.mpsbasics/languages/com.mpsbasics.core/models/com.mpsbasics.core.constraints.mps new file mode 100644 index 000000000..5da7c7685 --- /dev/null +++ b/code/languages/com.mpsbasics/languages/com.mpsbasics.core/models/com.mpsbasics.core.constraints.mps @@ -0,0 +1,19 @@ + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mpsbasics/languages/com.mpsbasics.core/models/com.mpsbasics.core.editor.mps b/code/languages/com.mpsbasics/languages/com.mpsbasics.core/models/com.mpsbasics.core.editor.mps new file mode 100644 index 000000000..7d4d7322d --- /dev/null +++ b/code/languages/com.mpsbasics/languages/com.mpsbasics.core/models/com.mpsbasics.core.editor.mps @@ -0,0 +1,1164 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mpsbasics/languages/com.mpsbasics.core/models/com.mpsbasics.core.structure.mps b/code/languages/com.mpsbasics/languages/com.mpsbasics.core/models/com.mpsbasics.core.structure.mps new file mode 100644 index 000000000..a305e0979 --- /dev/null +++ b/code/languages/com.mpsbasics/languages/com.mpsbasics.core/models/com.mpsbasics.core.structure.mps @@ -0,0 +1,10 @@ + + + + + + + + + + diff --git a/code/languages/com.mpsbasics/languages/com.mpsbasics.core/models/com.mpsbasics.core.typesystem.mps b/code/languages/com.mpsbasics/languages/com.mpsbasics.core/models/com.mpsbasics.core.typesystem.mps new file mode 100644 index 000000000..eab343431 --- /dev/null +++ b/code/languages/com.mpsbasics/languages/com.mpsbasics.core/models/com.mpsbasics.core.typesystem.mps @@ -0,0 +1,11 @@ + + + + + + + + + + + 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 cf64d359d..1accbce63 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 @@ -97,6 +97,7 @@ + @@ -127,6 +128,7 @@ + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_system_models/.model b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_system_models/.model new file mode 100644 index 000000000..63eb1e818 --- /dev/null +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_system_models/.model @@ -0,0 +1,9 @@ + + + + + + + + + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_system_models/_010_usecase_diagram.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_system_models/_010_usecase_diagram.mpsr new file mode 100644 index 000000000..060990690 --- /dev/null +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_system_models/_010_usecase_diagram.mpsr @@ -0,0 +1,121 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_system_models/_020_component_diagram.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_system_models/_020_component_diagram.mpsr new file mode 100644 index 000000000..5cb3055b9 --- /dev/null +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_system_models/_020_component_diagram.mpsr @@ -0,0 +1,117 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +