diff --git a/README.md b/README.md index 85d5c0fc3..bc838c2a4 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_2021.3.x + mpsHomeDir=C:/work/MPS_2022.2.x 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 2021.3.x +1. [download](https://www.jetbrains.com/mps/download/previous.html) and install MPS 2022.2.x 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 77189cdf6..3a6cdad62 100644 --- a/build.gradle.kts +++ b/build.gradle.kts @@ -15,7 +15,7 @@ plugins { id("de.itemis.mps.gradle.common") version "1.20.+" } -val jbrVers = "17.0.6-b653.34" +val jbrVers = "17.0.6-b469.82" downloadJbr { jbrVersion = jbrVers @@ -38,7 +38,7 @@ logger.info("Repository username: {}", nexusUsername) val major = "2022" val minor = "2" -val mpsVersion ="$major.$minor" +val mpsVersion ="2022.2.2" // Dependency versions val platformVersion = "$major.$minor.+" diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps index 7e19c9d49..84c997380 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps @@ -531,6 +531,12 @@ + + + + + + @@ -784,37 +790,34 @@ - - - + + + + + + - + - + - - - - - - - - - + + + - + - + - + - - + + @@ -822,18 +825,18 @@ - - - + + + - + - + - + - - + + @@ -841,18 +844,18 @@ - - - + + + - + - + - + - - + + @@ -860,18 +863,18 @@ - - - + + + - + - + - + - - + + @@ -879,18 +882,18 @@ - - - + + + - + - + - + - - + + @@ -898,18 +901,18 @@ - - - + + + - + - + - + - - + + @@ -917,18 +920,21 @@ - - - + + + - + - + - + - - + + + + + @@ -936,18 +942,21 @@ - - - + + + - + - + - + - - + + + + + @@ -955,34 +964,43 @@ - - - - - - + + + - + - + + + + + + + + + + - - - + + + - + - + - + - - + + + + + @@ -990,18 +1008,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1009,18 +1030,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1028,18 +1052,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1047,18 +1074,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1066,18 +1096,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1085,18 +1118,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1104,18 +1140,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1123,18 +1162,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1142,18 +1184,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1161,18 +1206,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1180,18 +1228,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1199,18 +1250,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1218,18 +1272,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1237,18 +1294,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1256,18 +1316,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1275,18 +1338,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1294,18 +1360,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1313,18 +1382,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1332,18 +1404,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1351,18 +1426,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1370,18 +1448,21 @@ - - - + + + - + - + - + - - + + + + + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nuxmv.pluginSolution/com.mbeddr.formal.nuxmv.pluginSolution.msd b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nuxmv.pluginSolution/com.mbeddr.formal.nuxmv.pluginSolution.msd index a36ba0ad3..fbd80ab1a 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nuxmv.pluginSolution/com.mbeddr.formal.nuxmv.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nuxmv.pluginSolution/com.mbeddr.formal.nuxmv.pluginSolution.msd @@ -13,13 +13,8 @@ 498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA) - e9ce245b-3106-45ed-8e5b-aff820d09b85(com.mbeddr.formal.base.tooling) 692c2a6d-09c5-40f7-98f0-1f4b59860c1b(com.mbeddr.formal.nusmv.pluginSolution) - 742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform) - 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) - 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) bf72618c-958a-47f5-9aac-3eff98d79ffd(com.mbeddr.formal.nusmv.source) - 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 945808cb-09a0-4d70-9f2a-186b7f5c6219(com.mbeddr.formal.base.pluginSolution) @@ -27,7 +22,6 @@ - diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nuxmv.pluginSolution/models/com.mbeddr.formal.nuxmv.pluginSolution.plugin.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nuxmv.pluginSolution/models/com.mbeddr.formal.nuxmv.pluginSolution.plugin.mps index c8f999b21..116b1c3bc 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nuxmv.pluginSolution/models/com.mbeddr.formal.nuxmv.pluginSolution.plugin.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nuxmv.pluginSolution/models/com.mbeddr.formal.nuxmv.pluginSolution.plugin.mps @@ -5,24 +5,15 @@ - - - - - - - - - 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 9ce4adc69..46fff3ba1 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 @@ -433,6 +433,31 @@ + + + + + + + + + + + + + + + + + + + + + + + + + @@ -527,6 +552,30 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -978,37 +1027,34 @@ - - - + + + + + + - + - + - - - - - - - - - + + + - + - + - + - - + + @@ -1016,18 +1062,18 @@ - - - + + + - + - + - + - - + + @@ -1035,18 +1081,18 @@ - - - + + + - + - + - + - - + + @@ -1054,18 +1100,18 @@ - - - + + + - + - + - + - - + + @@ -1073,18 +1119,18 @@ - - - + + + - + - + - + - - + + @@ -1092,18 +1138,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1111,18 +1160,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1130,18 +1182,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1149,34 +1204,21 @@ - - - - - - + + + - + - + - - - - - - - - - - - - - - + - - + + + + + @@ -1184,18 +1226,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1203,18 +1248,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1222,18 +1270,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1241,18 +1292,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1260,18 +1314,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1279,18 +1336,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1298,18 +1358,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1317,18 +1380,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1336,18 +1402,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1355,18 +1424,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1374,18 +1446,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1393,18 +1468,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1412,18 +1490,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1431,18 +1512,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1450,18 +1534,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1469,18 +1556,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1488,18 +1578,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1507,18 +1600,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1526,18 +1622,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1545,18 +1644,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1564,18 +1666,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1650,6 +1755,110 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.doc2word/models/com.fasten.safety.doc2word.utils.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.doc2word/models/com.fasten.safety.doc2word.utils.mps index bb644b352..d752f07f4 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.doc2word/models/com.fasten.safety.doc2word.utils.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.doc2word/models/com.fasten.safety.doc2word.utils.mps @@ -250,7 +250,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 780eccc0c..9f654e582 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 @@ -485,6 +485,31 @@ + + + + + + + + + + + + + + + + + + + + + + + + + @@ -605,6 +630,30 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -1005,11 +1054,6 @@ - - - - - @@ -1043,37 +1087,34 @@ - - - + + + + + + - + - + - - - - - - - - - + + + - + - + - + - - + + @@ -1081,18 +1122,18 @@ - - - + + + - + - + - + - - + + @@ -1100,18 +1141,18 @@ - - - + + + - + - + - + - - + + @@ -1119,18 +1160,18 @@ - - - + + + - + - + - + - - + + @@ -1138,18 +1179,18 @@ - - - + + + - + - + - + - - + + @@ -1157,18 +1198,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1176,18 +1220,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1195,18 +1242,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1214,34 +1264,21 @@ - - - - - - - - - - - - - - - - - - - + + + - + - + - + - - + + + + + @@ -1249,18 +1286,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1268,18 +1308,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1287,18 +1330,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1306,18 +1352,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1325,18 +1374,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1344,18 +1396,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1363,18 +1418,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1382,18 +1440,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1401,18 +1462,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1420,18 +1484,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1439,18 +1506,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1458,18 +1528,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1477,18 +1550,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1496,18 +1572,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1515,18 +1594,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1534,18 +1616,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1553,18 +1638,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1572,18 +1660,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1591,18 +1682,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1610,18 +1704,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1629,18 +1726,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1715,6 +1815,110 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7773,16 +7977,6 @@ - - - - - - - - - - @@ -7793,26 +7987,11 @@ - - - - - - - - - - - - - - - @@ -14620,6 +14799,12 @@ + + + + + + @@ -15145,6 +15330,11 @@ + + + + + @@ -16100,6 +16290,11 @@ + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/models/test.com.fasten.safety.doc2word._010_simple_documents_tests@tests.mps b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/models/test.com.fasten.safety.doc2word._010_simple_documents_tests@tests.mps index c7fef76e7..da66f48aa 100644 --- a/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/models/test.com.fasten.safety.doc2word._010_simple_documents_tests@tests.mps +++ b/code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.doc2word/models/test.com.fasten.safety.doc2word._010_simple_documents_tests@tests.mps @@ -5,9 +5,7 @@ - - @@ -16,23 +14,12 @@ - - - - - - - - - - - - + @@ -1214,8 +1201,8 @@ - - + + 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 32510dd67..d8010c682 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 @@ -21,6 +21,7 @@ 71bb25aa-20fa-4c18-8954-1b176576f52d(com.mpsbasics.docx4j.lib) b0f8641f-bd77-4421-8425-30d9088a82f7(org.apache.commons) 8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI) + 5f04c496-eb21-4501-981b-4e5fc2ab46ec(com.mpsbasics.docx4j.testutils) @@ -42,14 +43,12 @@ - - @@ -74,6 +73,7 @@ + diff --git a/code/languages/com.mpsbasics/.mps/modules.xml b/code/languages/com.mpsbasics/.mps/modules.xml index 683e43a9e..49eef2fc2 100644 --- a/code/languages/com.mpsbasics/.mps/modules.xml +++ b/code/languages/com.mpsbasics/.mps/modules.xml @@ -4,8 +4,10 @@ + + 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 a93fede7a..ddabd0fb6 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 @@ -243,6 +243,31 @@ + + + + + + + + + + + + + + + + + + + + + + + + + @@ -282,6 +307,30 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -391,11 +440,6 @@ - - - - - @@ -445,18 +489,18 @@ - - - + + + - + - + - + - - + + @@ -464,18 +508,18 @@ - - - + + + - + - + - + - - + + @@ -483,18 +527,18 @@ - - - + + + - + - + - + - - + + @@ -502,18 +546,18 @@ - - - + + + - + - + - + - - + + @@ -521,18 +565,18 @@ - - - + + + - + - + - + - - + + @@ -540,18 +584,21 @@ - - - + + + - + - + - + - - + + + + + @@ -559,18 +606,21 @@ - - - + + + - + - + - + - - + + + + + @@ -578,18 +628,21 @@ - - - + + + - + - + - + - - + + + + + @@ -597,18 +650,21 @@ - - - + + + - + - + - + - - + + + + + @@ -616,18 +672,21 @@ - - - + + + - + - + - + - - + + + + + @@ -635,18 +694,21 @@ - - - + + + - + - + - + - - + + + + + @@ -654,18 +716,21 @@ - - - + + + - + - + - + - - + + + + + @@ -673,18 +738,21 @@ - - - + + + - + - + - + - - + + + + + @@ -692,18 +760,21 @@ - - - + + + - + - + - + - - + + + + + @@ -711,18 +782,21 @@ - - - + + + - + - + - + - - + + + + + @@ -730,18 +804,21 @@ - - - + + + - + - + - + - - + + + + + @@ -749,18 +826,21 @@ - - - + + + - + - + - + - - + + + + + @@ -768,18 +848,21 @@ - - - + + + - + - + - + - - + + + + + @@ -787,18 +870,21 @@ - - - + + + - + - + - + - - + + + + + @@ -806,18 +892,21 @@ - - - + + + - + - + - + - - + + + + + @@ -825,18 +914,21 @@ - - - + + + - + - + - + - - + + + + + @@ -844,18 +936,21 @@ - - - + + + - + - + - + - - + + + + + @@ -863,18 +958,21 @@ - - - + + + - + - + - + - - + + + + + @@ -882,18 +980,21 @@ - - - + + + - + - + - + - - + + + + + @@ -901,18 +1002,21 @@ - - - + + + - + - + - + - - + + + + + @@ -920,18 +1024,21 @@ - - - + + + - + - + - + - - + + + + + @@ -939,18 +1046,21 @@ - - - + + + - + - + - + - - + + + + + @@ -958,18 +1068,21 @@ - - - + + + - + - + - + - - + + + + + @@ -977,18 +1090,21 @@ - - - + + + - + - + - + - - + + + + + @@ -996,18 +1112,21 @@ - - - + + + - + - + - + - - + + + + + @@ -1015,18 +1134,49 @@ - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - + + + - - + + @@ -1035,6 +1185,60 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.core/com.mpsbasics.docx4j.core.msd b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.core/com.mpsbasics.docx4j.core.msd index 9c1af5277..b13b05fa3 100644 --- a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.core/com.mpsbasics.docx4j.core.msd +++ b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.core/com.mpsbasics.docx4j.core.msd @@ -22,7 +22,6 @@ c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure) 18bc6592-03a6-4e29-a83a-7ff23bde13ba(jetbrains.mps.lang.editor) 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) - ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) 742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform) diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.core/models/com.mpsbasics.docx4j.core.word.mps b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.core/models/com.mpsbasics.docx4j.core.word.mps index b18d20196..e4d25288d 100644 --- a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.core/models/com.mpsbasics.docx4j.core.word.mps +++ b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.core/models/com.mpsbasics.docx4j.core.word.mps @@ -1404,7 +1404,7 @@ - + @@ -1789,7 +1789,7 @@ - + diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.diffx.lib/com.mpsbasics.docx4j.diffx.lib.msd b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.diffx.lib/com.mpsbasics.docx4j.diffx.lib.msd new file mode 100644 index 000000000..fc6851072 --- /dev/null +++ b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.diffx.lib/com.mpsbasics.docx4j.diffx.lib.msd @@ -0,0 +1,33 @@ + + + + + + + + + + + + + + + + + + 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) + 71bb25aa-20fa-4c18-8954-1b176576f52d(com.mpsbasics.docx4j.lib) + + + + + + + + + + + + + + diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-diffx-11.4.7.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.diffx.lib/lib/docx4j-diffx-11.4.9.jar similarity index 90% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-diffx-11.4.7.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.diffx.lib/lib/docx4j-diffx-11.4.9.jar index 8972c7846..889174853 100644 Binary files a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-diffx-11.4.7.jar and b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.diffx.lib/lib/docx4j-diffx-11.4.9.jar differ diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/com.mpsbasics.docx4j.lib.msd b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/com.mpsbasics.docx4j.lib.msd index e9923d067..f96967075 100644 --- a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/com.mpsbasics.docx4j.lib.msd +++ b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/com.mpsbasics.docx4j.lib.msd @@ -1,13 +1,7 @@ - - - - - - - + @@ -15,11 +9,6 @@ - - - - - @@ -38,10 +27,38 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -50,37 +67,36 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/antlr-2.7.7.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/antlr-2.7.7.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/antlr-2.7.7.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/antlr-2.7.7.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/antlr-runtime-3.5.2.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/antlr-runtime-3.5.2.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/antlr-runtime-3.5.2.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/antlr-runtime-3.5.2.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/checker-qual-2.8.1.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/checker-qual-2.8.1.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/checker-qual-2.8.1.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/checker-qual-2.8.1.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/commons-codec-1.12.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/commons-codec-1.12.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/commons-codec-1.12.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/commons-codec-1.12.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/commons-compress-1.21.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/commons-compress-1.21.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/commons-compress-1.21.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/commons-compress-1.21.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/commons-io-2.7.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/commons-io-2.7.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/commons-io-2.7.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/commons-io-2.7.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/commons-lang3-3.9.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/commons-lang3-3.9.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/commons-lang3-3.9.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/commons-lang3-3.9.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/error_prone_annotations-2.3.3.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/error_prone_annotations-2.3.3.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/error_prone_annotations-2.3.3.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/error_prone_annotations-2.3.3.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/fontbox-2.0.24.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/fontbox-2.0.24.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/fontbox-2.0.24.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/fontbox-2.0.24.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/jakarta.activation-2.0.1.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/jakarta.activation-2.0.1.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/jakarta.activation-2.0.1.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/jakarta.activation-2.0.1.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/jakarta.mail-2.0.1.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/jakarta.mail-2.0.1.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/jakarta.mail-2.0.1.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/jakarta.mail-2.0.1.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/jakarta.xml.bind-api-3.0.1.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/jakarta.xml.bind-api-3.0.1.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/jakarta.xml.bind-api-3.0.1.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/jakarta.xml.bind-api-3.0.1.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/jaxb-svg11-11.4.0.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/jaxb-svg11-11.4.0.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/jaxb-svg11-11.4.0.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/jaxb-svg11-11.4.0.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/jcl-over-slf4j-2.0.0-alpha5.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/jcl-over-slf4j-2.0.0-alpha5.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/jcl-over-slf4j-2.0.0-alpha5.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/jcl-over-slf4j-2.0.0-alpha5.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/mbassador-1.3.2.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/mbassador-1.3.2.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/mbassador-1.3.2.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/mbassador-1.3.2.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/org.eclipse.persistence.asm-9.1.0.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/org.eclipse.persistence.asm-9.1.0.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/org.eclipse.persistence.asm-9.1.0.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/org.eclipse.persistence.asm-9.1.0.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/org.eclipse.persistence.core-3.0.2.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/org.eclipse.persistence.core-3.0.2.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/org.eclipse.persistence.core-3.0.2.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/org.eclipse.persistence.core-3.0.2.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/org.eclipse.persistence.moxy-3.0.2.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/org.eclipse.persistence.moxy-3.0.2.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/org.eclipse.persistence.moxy-3.0.2.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/org.eclipse.persistence.moxy-3.0.2.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/qdox-1.12.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/qdox-1.12.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/qdox-1.12.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/qdox-1.12.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/slf4j-api-2.0.0-alpha6.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/slf4j-api-2.0.0-alpha6.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/slf4j-api-2.0.0-alpha6.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/slf4j-api-2.0.0-alpha6.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/stringtemplate-3.2.1.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/stringtemplate-3.2.1.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/stringtemplate-3.2.1.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/stringtemplate-3.2.1.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/wmf2svg-0.9.8.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/wmf2svg-0.9.8.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/wmf2svg-0.9.8.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/wmf2svg-0.9.8.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/xalan-interpretive-11.0.0.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/xalan-interpretive-11.0.0.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/xalan-interpretive-11.0.0.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/xalan-interpretive-11.0.0.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/xalan-serializer-11.0.0.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/xalan-serializer-11.0.0.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/xalan-serializer-11.0.0.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/xalan-serializer-11.0.0.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/xmlgraphics-commons-2.7.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/xmlgraphics-commons-2.7.jar similarity index 100% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/xmlgraphics-commons-2.7.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/dependencies/xmlgraphics-commons-2.7.jar diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-JAXB-MOXy-11.4.5.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-JAXB-MOXy-11.4.5.jar deleted file mode 100644 index 2e6cbf434..000000000 Binary files a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-JAXB-MOXy-11.4.5.jar and /dev/null differ diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-JAXB-MOXy-11.4.9.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-JAXB-MOXy-11.4.9.jar new file mode 100644 index 000000000..2152221fe Binary files /dev/null and b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-JAXB-MOXy-11.4.9.jar differ diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-core-11.4.5.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-core-11.4.9.jar similarity index 87% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-core-11.4.5.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-core-11.4.9.jar index 6993bf388..4f52fb23a 100644 Binary files a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-core-11.4.5.jar and b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-core-11.4.9.jar differ diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-openxml-objects-11.4.5.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-openxml-objects-11.4.9.jar similarity index 88% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-openxml-objects-11.4.5.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-openxml-objects-11.4.9.jar index a1b57ef09..f00409f57 100644 Binary files a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-openxml-objects-11.4.5.jar and b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-openxml-objects-11.4.9.jar differ diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-openxml-objects-pml-11.4.5.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-openxml-objects-pml-11.4.9.jar similarity index 87% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-openxml-objects-pml-11.4.5.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-openxml-objects-pml-11.4.9.jar index 303c3bdb1..ad1a7b3fa 100644 Binary files a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-openxml-objects-pml-11.4.5.jar and b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-openxml-objects-pml-11.4.9.jar differ diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-openxml-objects-sml-11.4.5.jar b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-openxml-objects-sml-11.4.9.jar similarity index 89% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-openxml-objects-sml-11.4.5.jar rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-openxml-objects-sml-11.4.9.jar index a2f51354c..783ddaad3 100644 Binary files a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-openxml-objects-sml-11.4.5.jar and b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/lib/docx4j-openxml-objects-sml-11.4.9.jar differ diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.testutils/com.mpsbasics.docx4j.testutils.msd b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.testutils/com.mpsbasics.docx4j.testutils.msd new file mode 100644 index 000000000..a2ef517c2 --- /dev/null +++ b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.testutils/com.mpsbasics.docx4j.testutils.msd @@ -0,0 +1,31 @@ + + + + + + + + + + + + + + + 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) + 71bb25aa-20fa-4c18-8954-1b176576f52d(com.mpsbasics.docx4j.lib) + 1cb48442-05da-4cad-b5c5-e31ddd69e322(com.mpsbasics.docx4j.diffx.lib) + + + + + + + + + + + + + + diff --git a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.core/models/com.mpsbasics.docx4j.core.test_utils.mps b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.testutils/models/com.mpsbasics.docx4j.testutils.mps similarity index 95% rename from code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.core/models/com.mpsbasics.docx4j.core.test_utils.mps rename to code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.testutils/models/com.mpsbasics.docx4j.testutils.mps index 179ca1268..f1b73b4ff 100644 --- a/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.core/models/com.mpsbasics.docx4j.core.test_utils.mps +++ b/code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.testutils/models/com.mpsbasics.docx4j.testutils.mps @@ -1,30 +1,20 @@ - + - - - - + - - - - - - - - - + + @@ -332,7 +322,7 @@ - + diff --git a/code/tutorial-mdcc/.mps/vcs.xml b/code/tutorial-mdcc/.mps/vcs.xml new file mode 100644 index 000000000..3f84d8c4c --- /dev/null +++ b/code/tutorial-mdcc/.mps/vcs.xml @@ -0,0 +1,6 @@ + + + + + + \ No newline at end of file diff --git a/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_010_lesson_01.mps b/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_010_lesson_01.mps index 52ac6d2f5..28924d52b 100644 --- a/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_010_lesson_01.mps +++ b/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_010_lesson_01.mps @@ -178,7 +178,7 @@ - + @@ -191,7 +191,7 @@ - + @@ -210,16 +210,16 @@ - + - + - + - + @@ -234,14 +234,14 @@ - + - + @@ -270,7 +270,7 @@ - + diff --git a/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_020_lesson_02.mps b/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_020_lesson_02.mps index d79a50cac..4aecb954c 100644 --- a/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_020_lesson_02.mps +++ b/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_020_lesson_02.mps @@ -142,7 +142,7 @@ - + @@ -155,7 +155,7 @@ - + @@ -188,15 +188,15 @@ - + - + - + @@ -207,7 +207,7 @@ - + @@ -216,7 +216,7 @@ - + @@ -228,7 +228,7 @@ - + @@ -245,7 +245,7 @@ - + diff --git a/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_030_lesson_03.mps b/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_030_lesson_03.mps index ce6bc1840..5fade6c06 100644 --- a/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_030_lesson_03.mps +++ b/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_030_lesson_03.mps @@ -182,7 +182,7 @@ - + @@ -209,7 +209,7 @@ - + @@ -226,7 +226,7 @@ - + @@ -244,12 +244,12 @@ - + - + - + @@ -271,19 +271,19 @@ - + - + - + - + @@ -291,15 +291,15 @@ - + - + - + @@ -307,7 +307,7 @@ - + @@ -338,7 +338,7 @@ - + diff --git a/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_040_lesson_04.mps b/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_040_lesson_04.mps index 8c30e097f..8aa40806e 100644 --- a/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_040_lesson_04.mps +++ b/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_040_lesson_04.mps @@ -194,7 +194,7 @@ - + @@ -207,7 +207,7 @@ - + @@ -220,7 +220,7 @@ - + @@ -239,14 +239,14 @@ - + - + - + @@ -254,14 +254,14 @@ - + - + - + @@ -269,14 +269,14 @@ - + - + - + @@ -288,18 +288,18 @@ - + - + - + - + - + @@ -307,7 +307,7 @@ - + @@ -318,19 +318,19 @@ - + - + - + - + @@ -340,30 +340,30 @@ - + - + - + - + - + @@ -372,14 +372,14 @@ - + - + @@ -389,14 +389,14 @@ - + - + @@ -406,14 +406,14 @@ - + - + - + @@ -425,7 +425,7 @@ - + @@ -433,11 +433,11 @@ - + - + @@ -445,7 +445,7 @@ - + @@ -459,18 +459,18 @@ - + - + - + @@ -515,7 +515,7 @@ - + diff --git a/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_050_lesson_05.mps b/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_050_lesson_05.mps index b7d25beb0..17a6efeda 100644 --- a/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_050_lesson_05.mps +++ b/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_050_lesson_05.mps @@ -158,7 +158,7 @@ - + @@ -180,7 +180,7 @@ - + @@ -196,27 +196,27 @@ - + - + - + - + - + @@ -228,7 +228,7 @@ - + @@ -257,7 +257,7 @@ - + diff --git a/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_060_lesson_06.mps b/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_060_lesson_06.mps index 85fabf7ce..d6b4f4945 100644 --- a/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_060_lesson_06.mps +++ b/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_060_lesson_06.mps @@ -192,7 +192,7 @@ - + @@ -209,7 +209,7 @@ - + @@ -220,7 +220,7 @@ - + @@ -231,10 +231,10 @@ - + - + @@ -244,14 +244,14 @@ - + - + @@ -269,7 +269,7 @@ - + @@ -278,12 +278,12 @@ - + - + - + @@ -294,7 +294,7 @@ - + @@ -303,10 +303,10 @@ - + - + @@ -318,7 +318,7 @@ - + @@ -328,7 +328,7 @@ - + @@ -339,7 +339,7 @@ - + @@ -349,7 +349,7 @@ - + @@ -361,7 +361,7 @@ - + @@ -403,7 +403,7 @@ - + diff --git a/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_070_lesson_07.mps b/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_070_lesson_07.mps index 6b9cea4b9..f6b6e1d86 100644 --- a/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_070_lesson_07.mps +++ b/code/tutorial-mdcc/solutions/com.mbeddr.formal.mdcc.tutorial/models/_070_lesson_07.mps @@ -184,7 +184,7 @@ - + @@ -206,7 +206,7 @@ - + @@ -234,7 +234,7 @@ - + @@ -256,7 +256,7 @@ - + @@ -268,22 +268,22 @@ - + - + - + - + - + - + @@ -298,7 +298,7 @@ - + @@ -312,14 +312,14 @@ - + - + @@ -357,7 +357,7 @@ - + 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 a421bad33..ebc9d6192 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 @@ -50,7 +50,6 @@ - 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 7627fd6c1..53593150c 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 @@ -198,19 +198,19 @@ - + - + - + - + @@ -220,10 +220,10 @@ - + - + @@ -236,20 +236,20 @@ - + - + - + - + @@ -257,13 +257,13 @@ - + - + - + @@ -276,10 +276,10 @@ - + - + @@ -502,7 +502,7 @@ - + @@ -513,23 +513,23 @@ - + - + - + - + @@ -561,46 +561,46 @@ - + - + - + - + - + - + - + - + - + @@ -638,32 +638,32 @@ - + - + - + - + - + - + - + @@ -671,73 +671,73 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -745,10 +745,10 @@ - + - + @@ -756,7 +756,7 @@ - + @@ -774,9 +774,9 @@ - + - + @@ -784,9 +784,9 @@ - + - + @@ -794,7 +794,7 @@ - + @@ -806,26 +806,26 @@ - + - + - + - + - + - + @@ -839,27 +839,27 @@ - + - + - + - + - + - + @@ -872,7 +872,7 @@ - + diff --git a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._015_nusmv_ext.mps b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._015_nusmv_ext.mps index a4c1c1a8d..9cc681287 100644 --- a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._015_nusmv_ext.mps +++ b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._015_nusmv_ext.mps @@ -130,23 +130,23 @@ - + - + - + - + @@ -161,10 +161,10 @@ - + - + @@ -172,13 +172,13 @@ - + - + @@ -209,10 +209,10 @@ - + - + @@ -226,10 +226,10 @@ - + - + @@ -239,10 +239,10 @@ - + - + @@ -300,13 +300,13 @@ - + - + @@ -317,7 +317,7 @@ - + @@ -325,36 +325,36 @@ - + - + - + - + - + - + - + - + @@ -362,7 +362,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 7734a5157..068635603 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 @@ -208,20 +208,20 @@ - + - + - + - + @@ -231,10 +231,10 @@ - + - + @@ -247,20 +247,20 @@ - + - + - + - + @@ -268,13 +268,13 @@ - + - + - + @@ -284,10 +284,10 @@ - + - + @@ -497,7 +497,7 @@ - + @@ -516,7 +516,7 @@ - + @@ -534,7 +534,7 @@ - + @@ -564,14 +564,14 @@ - + - + @@ -595,13 +595,13 @@ - + - + @@ -609,22 +609,22 @@ - + - + - + - + - + @@ -634,10 +634,10 @@ - + - + @@ -650,14 +650,14 @@ - + - + - + @@ -685,12 +685,12 @@ - + - + - + @@ -703,17 +703,17 @@ - + - + - + @@ -736,26 +736,26 @@ - + - + - + - + - + @@ -966,7 +966,7 @@ - + @@ -1022,7 +1022,7 @@ - + @@ -1099,7 +1099,7 @@ - + @@ -1189,7 +1189,7 @@ - + @@ -1220,15 +1220,15 @@ - + - + - + @@ -1237,11 +1237,11 @@ - + - + @@ -1249,7 +1249,7 @@ - + @@ -1260,25 +1260,25 @@ - + - + - + - + - + @@ -1288,24 +1288,24 @@ - + - + - + - + @@ -1313,12 +1313,12 @@ - + - + @@ -1331,7 +1331,7 @@ - + @@ -1339,7 +1339,7 @@ - + @@ -1348,7 +1348,7 @@ - + @@ -1358,7 +1358,7 @@ - + @@ -1394,271 +1394,271 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + 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 59696c5c6..9d7515bf3 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 @@ -173,7 +173,7 @@ - + @@ -199,10 +199,10 @@ - + - + @@ -211,13 +211,13 @@ - + - + - + @@ -225,16 +225,16 @@ - + - + - + - + @@ -774,7 +774,7 @@ - + @@ -820,27 +820,27 @@ - + - + - + - + - + - + @@ -863,10 +863,10 @@ - + - + @@ -875,65 +875,65 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -1217,7 +1217,7 @@ - + @@ -1238,11 +1238,11 @@ - + - + @@ -1255,11 +1255,11 @@ - + - + @@ -1271,11 +1271,11 @@ - + - + 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 080826b8a..02e814516 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 @@ -214,117 +214,117 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -332,12 +332,12 @@ - + - + @@ -345,20 +345,20 @@ - + - + - + @@ -366,14 +366,14 @@ - + - + @@ -381,33 +381,33 @@ - + - + - + - + - + - + - + @@ -906,18 +906,18 @@ - + - + - + - + @@ -934,18 +934,18 @@ - + - + - + - + @@ -962,15 +962,15 @@ - + - + - + @@ -984,9 +984,9 @@ - + - + @@ -1000,11 +1000,11 @@ - + - + @@ -1061,43 +1061,43 @@ - + - + - + - + - + - + - + - + - + @@ -1105,22 +1105,22 @@ - + - + - + - + @@ -1128,25 +1128,25 @@ - + - + - + - + @@ -1154,21 +1154,21 @@ - + - + - + - + @@ -1179,10 +1179,10 @@ - + - + @@ -1190,7 +1190,7 @@ - + @@ -1199,7 +1199,7 @@ - + @@ -1207,15 +1207,15 @@ - + - + - + @@ -1230,10 +1230,10 @@ - + - + @@ -1241,7 +1241,7 @@ - + @@ -1250,39 +1250,39 @@ - + - + - + - + - + - + - + @@ -1290,18 +1290,18 @@ - + - + - + @@ -1317,18 +1317,18 @@ - + - + - + - + @@ -1345,18 +1345,18 @@ - + - + - + - + @@ -1373,15 +1373,15 @@ - + - + - + @@ -1395,9 +1395,9 @@ - + - + @@ -1411,11 +1411,11 @@ - + - + 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 b884d0f52..1d9fec57f 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 @@ -285,7 +285,7 @@ - + @@ -294,7 +294,7 @@ - + @@ -313,7 +313,7 @@ - + @@ -333,7 +333,7 @@ - + @@ -344,7 +344,7 @@ - + @@ -363,7 +363,7 @@ - + @@ -383,7 +383,7 @@ - + @@ -395,7 +395,7 @@ - + @@ -404,7 +404,7 @@ - + @@ -423,7 +423,7 @@ - + @@ -443,7 +443,7 @@ - + @@ -454,7 +454,7 @@ - + @@ -473,7 +473,7 @@ - + @@ -493,7 +493,7 @@ - + @@ -538,7 +538,7 @@ - + @@ -547,7 +547,7 @@ - + @@ -566,7 +566,7 @@ - + @@ -586,7 +586,7 @@ - + @@ -607,7 +607,7 @@ - + @@ -623,7 +623,7 @@ - + @@ -642,7 +642,7 @@ - + @@ -662,7 +662,7 @@ - + @@ -685,7 +685,7 @@ - + @@ -693,7 +693,7 @@ - + @@ -702,7 +702,7 @@ - + @@ -715,7 +715,7 @@ - + @@ -725,7 +725,7 @@ - + @@ -747,7 +747,7 @@ - + @@ -830,16 +830,16 @@ - + - + - + @@ -848,18 +848,18 @@ - + - + - + @@ -867,14 +867,14 @@ - + - + @@ -884,17 +884,17 @@ - + - + - + @@ -905,16 +905,16 @@ - + - + - + @@ -923,18 +923,18 @@ - + - + - + @@ -942,14 +942,14 @@ - + - + @@ -959,32 +959,32 @@ - + - + - + - + - + @@ -994,18 +994,18 @@ - + - + - + @@ -1013,7 +1013,7 @@ - + @@ -1022,16 +1022,16 @@ - + - + - + @@ -1040,18 +1040,18 @@ - + - + - + @@ -1059,14 +1059,14 @@ - + - + @@ -1076,12 +1076,12 @@ - + - + @@ -1089,7 +1089,7 @@ - + @@ -1141,23 +1141,23 @@ - + - + - + - + - + @@ -1165,79 +1165,79 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -1253,18 +1253,18 @@ - + - + - + - + @@ -1281,18 +1281,18 @@ - + - + - + - + @@ -1309,15 +1309,15 @@ - + - + - + @@ -1331,9 +1331,9 @@ - + - + @@ -1347,11 +1347,11 @@ - + - + @@ -1379,7 +1379,7 @@ - + @@ -1388,7 +1388,7 @@ - + @@ -1407,7 +1407,7 @@ - + @@ -1427,7 +1427,7 @@ - + @@ -1438,7 +1438,7 @@ - + @@ -1457,7 +1457,7 @@ - + @@ -1477,7 +1477,7 @@ - + @@ -1489,7 +1489,7 @@ - + @@ -1498,7 +1498,7 @@ - + @@ -1517,7 +1517,7 @@ - + @@ -1537,7 +1537,7 @@ - + @@ -1548,7 +1548,7 @@ - + @@ -1567,7 +1567,7 @@ - + @@ -1587,7 +1587,7 @@ - + @@ -1638,10 +1638,10 @@ - + - + @@ -1649,10 +1649,10 @@ - + - + @@ -1660,10 +1660,10 @@ - + - + @@ -1671,10 +1671,10 @@ - + - + @@ -1682,10 +1682,10 @@ - + - + @@ -1695,75 +1695,75 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -3392,7 +3392,7 @@ - + @@ -3564,7 +3564,7 @@ - + @@ -3640,95 +3640,95 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -3768,7 +3768,7 @@ - + @@ -3777,7 +3777,7 @@ - + @@ -3785,7 +3785,7 @@ - + @@ -3794,35 +3794,35 @@ - + - + - + - + - + - + - + - + @@ -3831,22 +3831,22 @@ - + - + - + - + - + @@ -3867,13 +3867,13 @@ - + - + @@ -3884,7 +3884,7 @@ - + @@ -3895,7 +3895,7 @@ - + @@ -3970,7 +3970,7 @@ - + @@ -3979,10 +3979,10 @@ - + - + @@ -3990,15 +3990,15 @@ - + - + - + @@ -4006,39 +4006,39 @@ - + - + - + - + - + - + - + - + @@ -4046,54 +4046,54 @@ - + - + - + - + - + - + - + - + - + - + - + @@ -4101,39 +4101,39 @@ - + - + - + - + - + - + - + - + @@ -4141,45 +4141,45 @@ - + - + - + - + - + - + - + - + - + @@ -4193,60 +4193,60 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -4266,7 +4266,7 @@ - + @@ -4300,10 +4300,10 @@ - + - + @@ -4313,21 +4313,21 @@ - + - + - + - + @@ -4336,21 +4336,21 @@ - + - + - + - + @@ -4359,21 +4359,21 @@ - + - + - + - + @@ -4382,21 +4382,21 @@ - + - + - + - + @@ -4405,21 +4405,21 @@ - + - + - + - + @@ -4435,10 +4435,10 @@ - + - + @@ -4452,19 +4452,19 @@ - + - + - + - + @@ -4480,10 +4480,10 @@ - + - + @@ -4497,19 +4497,19 @@ - + - + - + - + @@ -4523,38 +4523,38 @@ - + - + - + - + - + - + - + - + @@ -4575,28 +4575,28 @@ - + - + - + - + - + - + - + @@ -4610,13 +4610,13 @@ - + - + @@ -4624,7 +4624,7 @@ - + @@ -4632,7 +4632,7 @@ - + @@ -4640,7 +4640,7 @@ - + @@ -4655,7 +4655,7 @@ - + diff --git a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._060_nusmv_spec_patterns.mps b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._060_nusmv_spec_patterns.mps index 311ab6431..fb8790cd8 100644 --- a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._060_nusmv_spec_patterns.mps +++ b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._060_nusmv_spec_patterns.mps @@ -153,10 +153,10 @@ - + - + @@ -164,30 +164,30 @@ - + - + - + - + - + - + - + @@ -201,11 +201,11 @@ - + - + @@ -216,12 +216,12 @@ - + - + @@ -233,12 +233,12 @@ - + - + @@ -255,9 +255,9 @@ - + - + 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 10c9ccaa7..4f5eb3b86 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 @@ -252,10 +252,10 @@ - + - + @@ -263,151 +263,151 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -422,16 +422,16 @@ - + - + - + - + @@ -439,7 +439,7 @@ - + @@ -449,18 +449,18 @@ - + - + - + - + @@ -468,7 +468,7 @@ - + @@ -476,18 +476,18 @@ - + - + - + - + @@ -495,18 +495,18 @@ - + - + - + - + @@ -1168,7 +1168,7 @@ - + @@ -1197,16 +1197,16 @@ - + - + - + @@ -1223,7 +1223,7 @@ - + @@ -1239,16 +1239,16 @@ - + - + - + diff --git a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._100_nusmv_operators_panels.mps b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._100_nusmv_operators_panels.mps index 18ea73969..eefb5efa1 100644 --- a/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._100_nusmv_operators_panels.mps +++ b/code/tutorial/solutions/com.mbeddr.formal.nusmv.tutorial/models/_010_features._100_nusmv_operators_panels.mps @@ -291,7 +291,7 @@ - + @@ -332,7 +332,7 @@ - + @@ -350,7 +350,7 @@ - + @@ -380,7 +380,7 @@ - + @@ -421,7 +421,7 @@ - + @@ -439,7 +439,7 @@ - + @@ -468,7 +468,7 @@ - + @@ -537,94 +537,94 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -641,13 +641,13 @@ - + - + @@ -692,43 +692,43 @@ - + - + - + - + - + - + - + - + - + @@ -736,22 +736,22 @@ - + - + - + - + @@ -759,25 +759,25 @@ - + - + - + - + @@ -785,21 +785,21 @@ - + - + - + - + @@ -810,10 +810,10 @@ - + - + @@ -821,7 +821,7 @@ - + @@ -830,7 +830,7 @@ - + @@ -838,15 +838,15 @@ - + - + - + @@ -861,10 +861,10 @@ - + - + @@ -872,7 +872,7 @@ - + @@ -881,39 +881,39 @@ - + - + - + - + - + - + - + @@ -921,18 +921,18 @@ - + - + - + @@ -948,18 +948,18 @@ - + - + - + - + @@ -976,18 +976,18 @@ - + - + - + - + @@ -1004,15 +1004,15 @@ - + - + - + @@ -1026,9 +1026,9 @@ - + - + @@ -1042,11 +1042,11 @@ - + - + @@ -1075,7 +1075,7 @@ - + @@ -1086,7 +1086,7 @@ - + @@ -1099,24 +1099,24 @@ - + - + - + - + @@ -1135,9 +1135,9 @@ - + - + @@ -1156,7 +1156,7 @@ - + @@ -1164,7 +1164,7 @@ - + @@ -1174,11 +1174,11 @@ - + - + @@ -1186,21 +1186,21 @@ - + - + - + @@ -1208,21 +1208,21 @@ - + - + - + - + @@ -1235,22 +1235,22 @@ - + - + - + - + @@ -1258,13 +1258,13 @@ - + - + @@ -1279,7 +1279,7 @@ - + @@ -1305,44 +1305,44 @@ - + - + - + - + - + - + - + - + - + @@ -1350,20 +1350,20 @@ - + - + - + - + @@ -1373,7 +1373,7 @@ - + @@ -1412,9 +1412,9 @@ - + - + @@ -1451,7 +1451,7 @@ - + @@ -1482,7 +1482,7 @@ - + @@ -1495,7 +1495,7 @@ - + @@ -1540,7 +1540,7 @@ - + @@ -1589,7 +1589,7 @@ - + @@ -1603,14 +1603,14 @@ - + - + @@ -1622,7 +1622,7 @@ - + @@ -1634,7 +1634,7 @@ - + @@ -1646,7 +1646,7 @@ - + @@ -1658,7 +1658,7 @@ - + @@ -1670,7 +1670,7 @@ - + @@ -1682,7 +1682,7 @@ - + @@ -1694,7 +1694,7 @@ - + @@ -1706,7 +1706,7 @@ - + @@ -1718,7 +1718,7 @@ - + @@ -1730,7 +1730,7 @@ - + @@ -1742,7 +1742,7 @@ - + @@ -1754,7 +1754,7 @@ - + @@ -1766,7 +1766,7 @@ - + @@ -1778,7 +1778,7 @@ - + @@ -1790,7 +1790,7 @@ - + @@ -1802,7 +1802,7 @@ - + @@ -1814,7 +1814,7 @@ - + @@ -1826,7 +1826,7 @@ - + @@ -1838,7 +1838,7 @@ - + @@ -1850,7 +1850,7 @@ - + @@ -1862,7 +1862,7 @@ - + @@ -1874,7 +1874,7 @@ - + @@ -1886,7 +1886,7 @@ - + @@ -1898,7 +1898,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 8c46b7584..a04b2f64f 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 @@ -126,13 +126,13 @@ - + - + @@ -146,7 +146,7 @@ - + @@ -157,7 +157,7 @@ - + @@ -297,49 +297,49 @@ - + - + - + - + - + - + - + - + - + - + - + - + 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 933269cd8..6bbe32947 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 @@ -181,7 +181,7 @@ - + @@ -193,18 +193,18 @@ - + - + - + - + @@ -218,18 +218,18 @@ - + - + - + - + @@ -239,13 +239,13 @@ - + - + @@ -261,10 +261,10 @@ - + - + @@ -276,16 +276,16 @@ - + - + - + @@ -297,7 +297,7 @@ - + @@ -312,15 +312,15 @@ - + - + - + @@ -335,7 +335,7 @@ - + @@ -343,7 +343,7 @@ - + @@ -419,49 +419,49 @@ - + - + - + - + - + - + - + - + - + - + - + - + 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 5c6a38417..50bad8688 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 @@ -249,7 +249,7 @@ - + @@ -261,18 +261,18 @@ - + - + - + - + @@ -286,18 +286,18 @@ - + - + - + - + @@ -307,13 +307,13 @@ - + - + @@ -329,10 +329,10 @@ - + - + @@ -344,16 +344,16 @@ - + - + - + @@ -365,7 +365,7 @@ - + @@ -380,15 +380,15 @@ - + - + - + @@ -403,7 +403,7 @@ - + @@ -411,7 +411,7 @@ - + @@ -551,49 +551,49 @@ - + - + - + - + - + - + - + - + - + - + - + - + @@ -607,18 +607,18 @@ - + - + - + - + @@ -632,10 +632,10 @@ - + - + @@ -651,7 +651,7 @@ - + @@ -665,16 +665,16 @@ - + - + - + @@ -690,7 +690,7 @@ - + @@ -703,15 +703,15 @@ - + - + - + @@ -732,7 +732,7 @@ - + @@ -918,80 +918,80 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -1005,7 +1005,7 @@ - + @@ -1018,23 +1018,23 @@ - + - + - + - + @@ -1048,10 +1048,10 @@ - + - + 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 08a372d47..d058c02f1 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 @@ -198,10 +198,10 @@ - + - + @@ -213,10 +213,10 @@ - + - + @@ -229,16 +229,16 @@ - + - + - + @@ -250,11 +250,11 @@ - + - + @@ -287,14 +287,14 @@ - + - + - + @@ -307,15 +307,15 @@ - + - + - + @@ -331,16 +331,16 @@ - + - + - + @@ -350,7 +350,7 @@ - + @@ -374,14 +374,14 @@ - + - + - + @@ -394,19 +394,19 @@ - + - + - + - + @@ -419,14 +419,14 @@ - + - + - + @@ -440,20 +440,20 @@ - + - + - + - + @@ -471,7 +471,7 @@ - + @@ -829,74 +829,74 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + 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 ab3e32ea8..202c54c06 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 @@ -301,14 +301,14 @@ - + - + - + @@ -353,15 +353,15 @@ - + - + - + @@ -376,19 +376,19 @@ - + - + - + - + @@ -404,71 +404,71 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -512,20 +512,20 @@ - + - + - + - + @@ -543,18 +543,18 @@ - + - + - + - + @@ -744,7 +744,7 @@ - + @@ -755,7 +755,7 @@ - + @@ -776,18 +776,18 @@ - + - + - + - + @@ -796,11 +796,11 @@ - + - + @@ -816,10 +816,10 @@ - + - + @@ -860,10 +860,10 @@ - + - + @@ -871,16 +871,16 @@ - + - + - + @@ -896,7 +896,7 @@ - + @@ -905,23 +905,23 @@ - + - + - + - + @@ -944,19 +944,19 @@ - + - + - + - + @@ -993,10 +993,10 @@ - + - + @@ -1005,15 +1005,15 @@ - + - + - + @@ -1057,7 +1057,7 @@ - + @@ -1065,7 +1065,7 @@ - + @@ -1079,21 +1079,21 @@ - + - + - + - + @@ -1109,64 +1109,64 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -1377,7 +1377,7 @@ - + @@ -1386,7 +1386,7 @@ - + @@ -1397,15 +1397,15 @@ - + - + - + @@ -1414,11 +1414,11 @@ - + - + @@ -1426,11 +1426,11 @@ - + - + @@ -1451,14 +1451,14 @@ - + - + @@ -1473,12 +1473,12 @@ - + - + @@ -1488,12 +1488,12 @@ - + - + @@ -1561,18 +1561,18 @@ - + - + - + - + @@ -1581,7 +1581,7 @@ - + @@ -1590,11 +1590,11 @@ - + - + @@ -1610,7 +1610,7 @@ - + @@ -1618,17 +1618,17 @@ - + - + - + - + @@ -1718,9 +1718,9 @@ - + - + @@ -1731,20 +1731,20 @@ - + - + - + - + - + @@ -1754,17 +1754,17 @@ - + - + - + - + @@ -1778,10 +1778,10 @@ - + - + @@ -1799,7 +1799,7 @@ - + @@ -1812,21 +1812,21 @@ - + - + - + - + @@ -1842,21 +1842,21 @@ - + - + - + - + @@ -1875,18 +1875,18 @@ - + - + - + - + @@ -1902,103 +1902,103 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -2069,7 +2069,7 @@ - + @@ -2080,10 +2080,10 @@ - + - + @@ -2095,29 +2095,29 @@ - + - + - + - + - + - + - + @@ -2131,16 +2131,16 @@ - + - + - + - + @@ -2158,7 +2158,7 @@ - + @@ -2172,21 +2172,21 @@ - + - + - + - + @@ -2203,21 +2203,21 @@ - + - + - + - + @@ -2237,25 +2237,25 @@ - + - + - + - + - + @@ -2534,158 +2534,158 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -2722,7 +2722,7 @@ - + @@ -2736,23 +2736,23 @@ - + - + - + - + - + - + @@ -2761,11 +2761,11 @@ - + - + @@ -2779,11 +2779,11 @@ - + - + @@ -2798,11 +2798,11 @@ - + - + @@ -2814,11 +2814,11 @@ - + - + @@ -3243,10 +3243,10 @@ - + - + @@ -3274,26 +3274,26 @@ - + - + - + - + - + - + @@ -3304,15 +3304,15 @@ - + - + - + @@ -3326,13 +3326,13 @@ - + - + @@ -3341,16 +3341,16 @@ - + - + - + - + @@ -3363,13 +3363,13 @@ - + - + @@ -3382,17 +3382,17 @@ - + - + - + - + @@ -3402,11 +3402,11 @@ - + - + @@ -3423,13 +3423,13 @@ - + - + @@ -3445,25 +3445,25 @@ - + - + - + - + - + @@ -3476,13 +3476,13 @@ - + - + @@ -3500,7 +3500,7 @@ - + @@ -3513,22 +3513,22 @@ - + - + - + - + @@ -3555,16 +3555,16 @@ - + - + - + @@ -3572,11 +3572,11 @@ - + - + @@ -3593,15 +3593,15 @@ - + - + - + @@ -3610,11 +3610,11 @@ - + - + @@ -3635,14 +3635,14 @@ - + - + - + @@ -3652,17 +3652,17 @@ - + - + - + @@ -3671,11 +3671,11 @@ - + - + @@ -3692,236 +3692,236 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -3930,18 +3930,18 @@ - + - + - + - + @@ -3953,18 +3953,18 @@ - + - + - + - + @@ -4435,7 +4435,7 @@ - + @@ -4445,7 +4445,7 @@ - + @@ -4455,21 +4455,21 @@ - + - + - + - + - + @@ -4487,252 +4487,252 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -4746,7 +4746,7 @@ - + @@ -4755,11 +4755,11 @@ - + - + @@ -4771,18 +4771,18 @@ - + - + - + - + @@ -4790,10 +4790,10 @@ - + - + @@ -4802,10 +4802,10 @@ - + - + @@ -4815,11 +4815,11 @@ - + - + @@ -4838,18 +4838,18 @@ - + - + - + - + @@ -5408,13 +5408,13 @@ - + - + @@ -5462,117 +5462,117 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -5580,12 +5580,12 @@ - + - + @@ -5593,20 +5593,20 @@ - + - + - + @@ -5614,14 +5614,14 @@ - + - + @@ -5629,33 +5629,33 @@ - + - + - + - + - + - + - + @@ -6106,18 +6106,18 @@ - + - + - + - + @@ -6134,10 +6134,10 @@ - + - + @@ -6153,11 +6153,11 @@ - + - + @@ -6173,33 +6173,33 @@ - + - + - + - + - + - + - + @@ -6232,11 +6232,11 @@ - + - + @@ -6249,11 +6249,11 @@ - + - + @@ -6266,11 +6266,11 @@ - + - + @@ -6291,13 +6291,13 @@ - + - + @@ -6308,19 +6308,19 @@ - + - + - + - + @@ -6336,19 +6336,19 @@ - + - + - + - + @@ -6581,60 +6581,60 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + 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 b7ab838ec..c603b3455 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 @@ -182,7 +182,7 @@ - + @@ -217,98 +217,98 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -318,20 +318,20 @@ - + - + - + @@ -339,12 +339,12 @@ - + - + @@ -352,19 +352,19 @@ - + - + - + @@ -621,10 +621,10 @@ - + - + @@ -638,16 +638,16 @@ - + - + - + @@ -669,13 +669,13 @@ - + - + @@ -689,7 +689,7 @@ - + @@ -724,7 +724,7 @@ - + @@ -773,163 +773,163 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -939,20 +939,20 @@ - + - + - + @@ -960,7 +960,7 @@ - + @@ -968,12 +968,12 @@ - + - + @@ -981,19 +981,19 @@ - + - + - + @@ -1670,7 +1670,7 @@ - + @@ -1680,20 +1680,20 @@ - + - + - + @@ -1701,7 +1701,7 @@ - + @@ -1713,15 +1713,15 @@ - + - + - + @@ -1739,12 +1739,12 @@ - + - + @@ -1761,7 +1761,7 @@ - + @@ -1771,11 +1771,11 @@ - + - + @@ -1796,9 +1796,9 @@ - + - + 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 346e74a18..d345ca94a 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 @@ -27,7 +27,7 @@ - + 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 dddc4ed35..29873a1d5 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 @@ -148,7 +148,7 @@ - + @@ -341,57 +341,57 @@ - + - + - + - + - + - + - + - + - + - + - + @@ -402,37 +402,37 @@ - + - + - + - + - + - + - + - + - + - + - + @@ -460,7 +460,7 @@ - + @@ -507,10 +507,10 @@ - + - + @@ -531,10 +531,10 @@ - + - + @@ -598,10 +598,10 @@ - + - + @@ -634,10 +634,10 @@ - + - + @@ -657,7 +657,7 @@ - + @@ -710,7 +710,7 @@ - + @@ -762,7 +762,7 @@ - + @@ -913,10 +913,10 @@ - + - + @@ -947,10 +947,10 @@ - + - + @@ -1001,10 +1001,10 @@ - + - + @@ -1039,7 +1039,7 @@ - + @@ -1056,7 +1056,7 @@ - + @@ -1193,10 +1193,10 @@ - + - + @@ -1239,10 +1239,10 @@ - + - + @@ -1259,7 +1259,7 @@ - + @@ -1306,10 +1306,10 @@ - + - + @@ -1344,10 +1344,10 @@ - + - + @@ -1372,10 +1372,10 @@ - + - + @@ -1410,10 +1410,10 @@ - + - + @@ -1441,7 +1441,7 @@ - + @@ -1458,10 +1458,10 @@ - + - + @@ -1474,14 +1474,14 @@ - + - + @@ -1494,7 +1494,7 @@ - + @@ -1504,10 +1504,10 @@ - + - + @@ -1528,10 +1528,10 @@ - + - + @@ -1550,7 +1550,7 @@ - + @@ -1568,7 +1568,7 @@ - + @@ -1583,7 +1583,7 @@ - + @@ -1601,7 +1601,7 @@ - + @@ -1635,10 +1635,10 @@ - + - + @@ -1700,10 +1700,10 @@ - + - + @@ -1725,10 +1725,10 @@ - + - + @@ -1769,10 +1769,10 @@ - + - + @@ -1788,7 +1788,7 @@ - + @@ -1815,10 +1815,10 @@ - + - + @@ -1835,7 +1835,7 @@ - + @@ -1881,7 +1881,7 @@ - + @@ -1938,7 +1938,7 @@ - + @@ -1978,7 +1978,7 @@ - + @@ -1991,16 +1991,16 @@ - + - + - + diff --git a/gradle.lockfile b/gradle.lockfile index 7618b3e89..d41654a23 100644 --- a/gradle.lockfile +++ b/gradle.lockfile @@ -2,7 +2,7 @@ # Manual edits can break the build and are not advised. # This file is expected to be part of source control. com.jetbrains.jdk:jbr_jcef:17.0.6-b653.34=jbrLinux,jbrMac,jbrWin -com.jetbrains:mps:2022.2=mps +com.jetbrains:mps:2022.2.2=mps com.mbeddr:platform:2022.2.24226.5efe184=languageLibs junit:junit:4.12=antLib org.apache.ant:ant-junit:1.10.6=antLib diff --git a/gradle.properties.example b/gradle.properties.example deleted file mode 100644 index 5cdcaf8f3..000000000 --- a/gradle.properties.example +++ /dev/null @@ -1,5 +0,0 @@ -mpsHomeDir= -mbeddr.formal.home= - -gpr.user= -gpr.token= \ No newline at end of file