From 97622ffb52bdb75847c9636c0323e77456719af2 Mon Sep 17 00:00:00 2001 From: danielratiu Date: Wed, 27 Mar 2024 14:22:33 +0100 Subject: [PATCH] gradle.lockfile: updated dependencies to mps.extension, mbeddr.platform overall: ran automated migrations --- ...hw.sandbox._010_simple_hw_architecture.mps | 8 +- .../com.symo.sysml.ibd.sandbox._010_smoke.mps | 16 +- .../com.mbeddr.formal.base.arch.mpl | 2 +- .../models/editor.mps | 2 +- .../com.mbeddr.formal.base.operatorspanel.mpl | 2 +- .../models/editor.mps | 2 +- .../com.mbeddr.formal.nusmv.arch.mpl | 2 +- .../models/editor.mps | 2 +- .../com.mbeddr.formal.nusmv.cbd.mpl | 4 +- .../generator/template/main@generator.mps | 2 +- .../models/editor.mps | 2 +- .../models/flatten.util.mps | 2 +- .../com.mbeddr.formal.nusmv.sm.mpl | 2 +- .../models/editor.mps | 2 +- .../models/com.mbeddr.formal.ocra.sandbox.mps | 246 ++++---- ...asten.base.activity.sandbox._010_smoke.mps | 8 +- .../com.mbeddr.formal.base.tooling.msd | 2 +- .../models/analyzer.mps | 264 ++++++--- .../models/make.mps | 213 +++++-- .../models/nodes.mps | 100 +++- .../models/results_model.mps | 168 ++++-- .../models/results_ui.mps | 500 +++++++++++----- .../models/simulator.mps | 85 ++- .../models/tools.mps | 353 ++++++++--- .../models/com.mbeddr.formal.nusmv.build.mps | 121 ++-- ...mbeddr.formal.nusmv.cbd.pluginSolution.msd | 3 +- .../models/analyzer.mps | 222 +++++-- .../com.mbeddr.formal.nusmv.importer.rt.msd | 2 +- .../models/importer.mps | 2 +- ...com.mbeddr.formal.nusmv.pluginSolution.msd | 3 +- .../models/plugin.mps | 28 +- .../models/runner.mps | 554 +++++++++++++----- .../models/ui.mps | 226 +++++-- .../models/utils.mps | 26 +- .../com.mbeddr.formal.rcp.tutorialActions.msd | 5 +- .../models/plugin.mps | 36 +- .../models/base@tests.mps | 2 +- .../models/cbd@tests.mps | 2 +- .../models/nusmv_ext@tests.mps | 2 +- .../models/nusmv_importer@tests.mps | 26 +- .../models/nusmv_runs@tests.mps | 2 +- ...eddr.formal.nusmv.counterexample@tests.mps | 2 +- .../models/tests_source@tests.mps | 2 +- .../models/tl_patterns_tests@tests.mps | 2 +- .../test.mbeddr.formal.nusmv.msd | 5 +- ...com.mbeddr.formal.prism.pluginSolution.msd | 3 +- ...ddr.formal.prism.pluginSolution.runner.mps | 32 +- ...est.com.mbeddr.formal.prism._010_smoke.mps | 66 +-- .../.mps/migration.xml | 12 + .../.mps/modules.xml | 188 ++++++ .../com.fasten.meta.all.msd | 2 +- .../models/com.fasten.meta.all.scripts.mps | 21 + ...m.fasten.meta.linters.filesystem_level.mps | 2 +- .../com.fasten.meta.linters.nodes_level.mps | 2 +- ...l.req.tl_patterns.nusmv.pluginSolution.msd | 2 +- ...tl_patterns.nusmv.pluginSolution.utils.mps | 2 +- .../com.mbeddr.formal.safety.gsn.doc.mpl | 2 +- .../com.mbeddr.formal.safety.gsn.ext.mpl | 2 +- ...om.mbeddr.formal.safety.gsn.ext.editor.mps | 2 +- .../com.mbeddr.formal.safety.gsn.mpl | 3 +- .../com.mbeddr.formal.safety.gsn.editor.mps | 37 +- ...m.fasten.safety.ft.xfta.pluginSolution.msd | 3 +- ...n.safety.ft.xfta.pluginSolution.plugin.mps | 2 +- ...n.safety.ft.xfta.pluginSolution.runner.mps | 32 +- ...asten.safety.ft.xfta.pluginSolution.ui.mps | 82 ++- ...safety.argument.runtime.pluginSolution.msd | 2 +- ...ety.argument.runtime.pluginSolution.ui.mps | 2 +- .../com.mbeddr.formal.safety.gsn.sandbox.msd | 2 +- ...r.formal.safety.gsn.smv.pluginSolution.msd | 3 +- ...afety.gsn.smv.pluginSolution.analyzers.mps | 86 ++- ...l.safety.gsn.smv.pluginSolution.plugin.mps | 2 +- ....formal.safety.gsn.spin.pluginSolution.msd | 2 +- ....safety.gsn.spin.pluginSolution.plugin.mps | 2 +- .../test.com.fasten.safety.doc2word.msd | 2 +- ...dr.formal.gsn._010_gsn_smv_tests@tests.mps | 2 +- ...ormal.gsn._020_gsn_cbd_smv_tests@tests.mps | 2 +- ...rmal.gsn._050_gsn_odd_spin_tests@tests.mps | 2 +- .../test.mbeddr.formal.gsn.msd | 2 +- .../com.mbeddr.formal.smtlib.synthesis.mpl | 2 +- .../generator/template/main@generator.mps | 16 +- .../models/translator.mps | 2 +- .../models/util.mps | 41 +- .../com.mbeddr.formal.smtlib.z3.rt.msd | 2 +- .../models/runner.mps | 2 +- .../models/translator.mps | 2 +- .../models/_010_simple_output.mps | 10 +- .../models/sandbox._010_smoke_synth.mps | 52 +- .../models/_010_smoke.mps | 90 +-- .../com.mbeddr.formal.spin.hdl.mpl | 2 +- .../models/plugin.mps | 2 +- .../com.mbeddr.formal.spin.mpl | 2 +- .../com.mbeddr.formal.spin/models/plugin.mps | 2 +- .../com.mbeddr.formal.spin.pluginSolution.msd | 2 +- .../com.mbeddr.formal.spin.analyzer.model.mps | 218 +++++-- .../com.mbeddr.formal.spin.analyzer.mps | 256 ++++++-- .../models/com.mbeddr.formal.spin.runner.mps | 2 +- .../com.mbeddr.formal.spin.testing_utils.mps | 73 ++- .../models/com.mbeddr.formal.spin.ui.mps | 222 +++++-- .../models/com.mbeddr.formal.spin.utils.mps | 26 +- .../models/plugin.mps | 46 +- .../models/_010_promela_tests@tests.mps | 2 +- ...050_promela_extensions_tests_gen@tests.mps | 2 +- .../models/_100_hdl_tests@tests.mps | 2 +- .../models/_100_hdl_tests_gen@tests.mps | 2 +- .../test.mbeddr.formal.spin.msd | 2 +- gradle.lockfile | 4 +- 106 files changed, 3569 insertions(+), 1387 deletions(-) create mode 100644 code/languages/com.mbeddr.formal.repo_admin/.mps/migration.xml diff --git a/code/languages/com.fasten.symo/solutions/com.fasten.symo.hw.sandbox/models/com.fasten.symo.hw.sandbox._010_simple_hw_architecture.mps b/code/languages/com.fasten.symo/solutions/com.fasten.symo.hw.sandbox/models/com.fasten.symo.hw.sandbox._010_simple_hw_architecture.mps index ba5c068d9..bb96c00cb 100644 --- a/code/languages/com.fasten.symo/solutions/com.fasten.symo.hw.sandbox/models/com.fasten.symo.hw.sandbox._010_simple_hw_architecture.mps +++ b/code/languages/com.fasten.symo/solutions/com.fasten.symo.hw.sandbox/models/com.fasten.symo.hw.sandbox._010_simple_hw_architecture.mps @@ -89,12 +89,12 @@ - - + + - - + + diff --git a/code/languages/com.fasten.symo/solutions/com.symo.sysml.ibd.sandbox/models/com.symo.sysml.ibd.sandbox._010_smoke.mps b/code/languages/com.fasten.symo/solutions/com.symo.sysml.ibd.sandbox/models/com.symo.sysml.ibd.sandbox._010_smoke.mps index 1d85733e4..40a964cc9 100644 --- a/code/languages/com.fasten.symo/solutions/com.symo.sysml.ibd.sandbox/models/com.symo.sysml.ibd.sandbox._010_smoke.mps +++ b/code/languages/com.fasten.symo/solutions/com.symo.sysml.ibd.sandbox/models/com.symo.sysml.ibd.sandbox._010_smoke.mps @@ -75,7 +75,7 @@ - + @@ -83,7 +83,7 @@ - + @@ -92,20 +92,20 @@ - + - + - - + + - - + + 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 ea683f9c7..1e7f7dd36 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 @@ -22,7 +22,7 @@ 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) - + 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 072a3f017..a5a1e7bf2 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 @@ -7,7 +7,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 b5d184ea7..ed966ef7f 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 @@ -20,7 +20,7 @@ 4bf9a860-39c9-4cb2-8004-157a961bf42c(com.mbeddr.formal.base.operatorspanel.rt) - + 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 91c6dcb39..f4a25becf 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 @@ -6,7 +6,7 @@ - + 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 6b9f5a605..9d05e3336 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 @@ -86,7 +86,7 @@ 8d29d73f-ed99-4652-ae0a-083cdfe53c34(jetbrains.mps.ide.platform) - + 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 b6b1e8c8a..ce55d9a30 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 @@ -5,7 +5,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/com.mbeddr.formal.nusmv.cbd.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/com.mbeddr.formal.nusmv.cbd.mpl index d1e40f324..263f15b58 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/com.mbeddr.formal.nusmv.cbd.mpl +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/com.mbeddr.formal.nusmv.cbd.mpl @@ -39,7 +39,7 @@ - + @@ -112,7 +112,7 @@ 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) - + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/generator/template/main@generator.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/generator/template/main@generator.mps index 2448df391..2297d0730 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/generator/template/main@generator.mps +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/generator/template/main@generator.mps @@ -4,7 +4,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/models/editor.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/models/editor.mps index ff66b77ed..d74f77836 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/models/editor.mps +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/models/editor.mps @@ -12,7 +12,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/models/flatten.util.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/models/flatten.util.mps index 329f476ec..45725b5cc 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/models/flatten.util.mps +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/models/flatten.util.mps @@ -4,7 +4,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.sm/com.mbeddr.formal.nusmv.sm.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.sm/com.mbeddr.formal.nusmv.sm.mpl index 1de7bbcab..d0de4c3c6 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.sm/com.mbeddr.formal.nusmv.sm.mpl +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.sm/com.mbeddr.formal.nusmv.sm.mpl @@ -79,7 +79,7 @@ d8f591ec-4d86-4af2-9f92-a9e93c803ffa(jetbrains.mps.lang.scopes) - + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.sm/models/editor.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.sm/models/editor.mps index d80859d9f..a6c314e97 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.sm/models/editor.mps +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.sm/models/editor.mps @@ -5,7 +5,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.ocra/sandbox/models/com.mbeddr.formal.ocra.sandbox.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.ocra/sandbox/models/com.mbeddr.formal.ocra.sandbox.mps index 0bd1a786d..d9502b0a6 100644 --- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.ocra/sandbox/models/com.mbeddr.formal.ocra.sandbox.mps +++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.ocra/sandbox/models/com.mbeddr.formal.ocra.sandbox.mps @@ -283,7 +283,7 @@ - + @@ -298,7 +298,7 @@ - + @@ -317,67 +317,67 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -399,11 +399,11 @@ - + - + @@ -412,7 +412,7 @@ - + @@ -441,11 +441,11 @@ - + - + @@ -454,7 +454,7 @@ - + @@ -481,10 +481,10 @@ - + - + @@ -506,39 +506,39 @@ - + - + - + - + - + - + - + - + @@ -546,10 +546,10 @@ - + - + @@ -557,13 +557,13 @@ - + - + - + @@ -582,7 +582,7 @@ - + @@ -594,7 +594,7 @@ - + @@ -623,7 +623,7 @@ - + @@ -656,7 +656,7 @@ - + @@ -668,7 +668,7 @@ - + @@ -691,51 +691,51 @@ - + - + - + - + - + - + - + - + - + - + - + @@ -746,7 +746,7 @@ - + @@ -755,14 +755,14 @@ - + - + - + @@ -773,10 +773,10 @@ - + - + @@ -786,10 +786,10 @@ - + - + @@ -803,10 +803,10 @@ - + - + @@ -816,10 +816,10 @@ - + - + @@ -829,16 +829,16 @@ - + - + - + - + @@ -903,10 +903,10 @@ - + - + @@ -914,10 +914,10 @@ - + - + @@ -932,7 +932,7 @@ - + @@ -940,12 +940,12 @@ - + - + @@ -983,7 +983,7 @@ - + @@ -994,14 +994,14 @@ - + - + - + @@ -1054,16 +1054,16 @@ - + - + - + @@ -1072,11 +1072,11 @@ - + - + @@ -1092,7 +1092,7 @@ - + @@ -1100,7 +1100,7 @@ - + @@ -1118,17 +1118,17 @@ - + - + - + @@ -1137,70 +1137,70 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -1220,13 +1220,13 @@ - + - + @@ -1242,17 +1242,17 @@ - + - + - + @@ -1273,7 +1273,7 @@ - + @@ -1284,7 +1284,7 @@ - + @@ -1327,15 +1327,15 @@ - + - + - + @@ -1365,13 +1365,13 @@ - + - + @@ -1387,12 +1387,12 @@ - + - + @@ -1410,7 +1410,7 @@ - + @@ -1422,7 +1422,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.fasten.base.activity.sandbox/models/com.fasten.base.activity.sandbox._010_smoke.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.fasten.base.activity.sandbox/models/com.fasten.base.activity.sandbox._010_smoke.mps index b0f4f65ac..3798f7c6b 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.fasten.base.activity.sandbox/models/com.fasten.base.activity.sandbox._010_smoke.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.fasten.base.activity.sandbox/models/com.fasten.base.activity.sandbox._010_smoke.mps @@ -180,12 +180,12 @@ - + - + @@ -200,13 +200,13 @@ - + - + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/com.mbeddr.formal.base.tooling.msd b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/com.mbeddr.formal.base.tooling.msd index 6bf737143..4c2c2d140 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/com.mbeddr.formal.base.tooling.msd +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/com.mbeddr.formal.base.tooling.msd @@ -37,7 +37,7 @@ 5ad14eca-28d7-4bce-b8e0-648908a49062(org.apache.batik) - + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/analyzer.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/analyzer.mps index 400daeec0..a4baa40d4 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/analyzer.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/analyzer.mps @@ -5,8 +5,9 @@ - + + @@ -221,11 +222,6 @@ - - - - - @@ -239,6 +235,20 @@ + + + + + + + + + + + + + + @@ -372,8 +382,12 @@ - - + + + + + + @@ -386,13 +400,21 @@ - - + + + + + + - - + + + + + + @@ -498,8 +520,12 @@ - - + + + + + + @@ -512,8 +538,12 @@ - - + + + + + + @@ -524,8 +554,12 @@ - - + + + + + + @@ -539,8 +573,12 @@ - - + + + + + + @@ -549,8 +587,12 @@ - - + + + + + + @@ -718,8 +760,12 @@ - - + + + + + + @@ -900,8 +946,12 @@ - - + + + + + + @@ -1145,8 +1195,12 @@ - - + + + + + + @@ -1194,8 +1248,12 @@ - - + + + + + + @@ -1216,8 +1274,12 @@ - - + + + + + + @@ -1226,9 +1288,6 @@ - - - @@ -1252,6 +1311,13 @@ + + + + + + + @@ -1300,8 +1366,12 @@ - - + + + + + + @@ -1340,8 +1410,12 @@ - - + + + + + + @@ -1735,8 +1809,12 @@ - - + + + + + + @@ -1969,8 +2047,12 @@ - - + + + + + + @@ -2025,8 +2107,12 @@ - - + + + + + + @@ -2038,16 +2124,24 @@ - - + + + + + + - - + + + + + + @@ -2061,8 +2155,12 @@ - - + + + + + + @@ -2075,8 +2173,12 @@ - - + + + + + + @@ -2090,8 +2192,12 @@ - - + + + + + + @@ -2101,8 +2207,12 @@ - - + + + + + + @@ -2163,8 +2273,12 @@ - - + + + + + + @@ -2286,8 +2400,12 @@ - - + + + + + + @@ -2378,8 +2496,12 @@ - - + + + + + + @@ -2420,8 +2542,12 @@ - - + + + + + + @@ -2458,8 +2584,12 @@ - - + + + + + + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/make.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/make.mps index 69e10f9cd..d7d2a86c2 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/make.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/make.mps @@ -5,7 +5,7 @@ - + @@ -247,11 +247,6 @@ - - - - - @@ -269,6 +264,20 @@ + + + + + + + + + + + + + + @@ -334,10 +343,14 @@ - - - + + + + + + + @@ -396,8 +409,12 @@ - - + + + + + + @@ -465,8 +482,12 @@ - - + + + + + + @@ -571,8 +592,12 @@ - - + + + + + + @@ -588,10 +613,14 @@ - - - + + + + + + + @@ -600,10 +629,14 @@ - - - + + + + + + + @@ -613,8 +646,12 @@ - - + + + + + + @@ -624,12 +661,16 @@ - - - + + + + + + + @@ -703,8 +744,12 @@ - - + + + + + + @@ -775,8 +820,12 @@ - - + + + + + + @@ -805,8 +854,12 @@ - - + + + + + + @@ -821,8 +874,12 @@ - - + + + + + + @@ -837,8 +894,12 @@ - - + + + + + + @@ -1146,8 +1207,12 @@ - - + + + + + + @@ -1377,8 +1442,12 @@ - - + + + + + + @@ -1434,8 +1503,12 @@ - - + + + + + + @@ -1473,12 +1546,20 @@ - - + + + + + + - - + + + + + + @@ -1489,13 +1570,21 @@ - - + + + + + + - - + + + + + + @@ -2055,8 +2144,12 @@ - - + + + + + + @@ -2074,8 +2167,12 @@ - - + + + + + + @@ -2446,8 +2543,12 @@ - - + + + + + + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/nodes.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/nodes.mps index 2bfba658c..7ef84f119 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/nodes.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/nodes.mps @@ -4,10 +4,11 @@ - + + @@ -167,9 +168,6 @@ - - - @@ -181,6 +179,20 @@ + + + + + + + + + + + + + + @@ -253,8 +265,12 @@ - - + + + + + + @@ -272,8 +288,12 @@ - - + + + + + + @@ -301,8 +321,12 @@ - - + + + + + + @@ -330,8 +354,12 @@ - - + + + + + + @@ -375,8 +403,12 @@ - - + + + + + + @@ -736,8 +768,12 @@ - - + + + + + + @@ -907,8 +943,12 @@ - - + + + + + + @@ -1137,8 +1177,12 @@ - - + + + + + + @@ -1263,12 +1307,20 @@ - - + + + + + + - - + + + + + + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/results_model.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/results_model.mps index 330e7aa3f..844fe732f 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/results_model.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/results_model.mps @@ -3,8 +3,9 @@ - + + @@ -80,17 +81,26 @@ - - - - - + + + + + + + + + + + + + + @@ -133,8 +143,12 @@ - - + + + + + + @@ -146,8 +160,12 @@ - - + + + + + + @@ -157,8 +175,12 @@ - - + + + + + + @@ -168,8 +190,12 @@ - - + + + + + + @@ -179,8 +205,12 @@ - - + + + + + + @@ -190,8 +220,12 @@ - - + + + + + + @@ -201,8 +235,12 @@ - - + + + + + + @@ -212,8 +250,12 @@ - - + + + + + + @@ -223,14 +265,15 @@ - - + + + + + + - - - @@ -238,8 +281,12 @@ - - + + + + + + @@ -249,8 +296,19 @@ - - + + + + + + + + + + + + + @@ -263,13 +321,21 @@ - - + + + + + + - - + + + + + + @@ -291,8 +357,12 @@ - - + + + + + + @@ -370,8 +440,12 @@ - - + + + + + + @@ -434,8 +508,12 @@ - - + + + + + + @@ -458,8 +536,12 @@ - - + + + + + + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/results_ui.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/results_ui.mps index 93b52d120..d232952cd 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/results_ui.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/results_ui.mps @@ -4,8 +4,9 @@ - + + @@ -248,17 +249,26 @@ - - - - - + + + + + + + + + + + + + + @@ -342,8 +352,12 @@ - - + + + + + + @@ -428,8 +442,12 @@ - - + + + + + + @@ -468,12 +486,16 @@ - - - + + + + + + + @@ -513,8 +535,12 @@ - - + + + + + + @@ -567,16 +593,24 @@ - - + + + + + + - - + + + + + + @@ -595,8 +629,12 @@ - - + + + + + + @@ -607,14 +645,18 @@ - - - + + + + + + + @@ -767,8 +809,12 @@ - - + + + + + + @@ -856,9 +902,6 @@ - - - @@ -867,6 +910,13 @@ + + + + + + + @@ -899,15 +949,19 @@ - - - + + + + + + + @@ -923,17 +977,25 @@ - - + + + + + + - - - + + + + + + + @@ -956,8 +1018,12 @@ - - + + + + + + @@ -1531,14 +1597,15 @@ - - + + + + + + - - - @@ -1560,8 +1627,19 @@ - - + + + + + + + + + + + + + @@ -1674,15 +1752,23 @@ - - - + + + + + + + - - + + + + + + @@ -1711,8 +1797,12 @@ - - + + + + + + @@ -1726,8 +1816,12 @@ - - + + + + + + @@ -1738,8 +1832,12 @@ - - + + + + + + @@ -1750,8 +1848,12 @@ - - + + + + + + @@ -1774,8 +1876,12 @@ - - + + + + + + @@ -1805,8 +1911,12 @@ - - + + + + + + @@ -1863,8 +1973,12 @@ - - + + + + + + @@ -1874,8 +1988,12 @@ - - + + + + + + @@ -1903,8 +2021,12 @@ - - + + + + + + @@ -1933,8 +2055,12 @@ - - + + + + + + @@ -1963,8 +2089,12 @@ - - + + + + + + @@ -1973,8 +2103,12 @@ - - + + + + + + @@ -1989,8 +2123,12 @@ - - + + + + + + @@ -2422,8 +2560,12 @@ - - + + + + + + @@ -2625,8 +2767,12 @@ - - + + + + + + @@ -4763,8 +4909,12 @@ - - + + + + + + @@ -4969,8 +5119,12 @@ - - + + + + + + @@ -5056,15 +5210,19 @@ - - - + + + + + + + @@ -5254,12 +5412,20 @@ - - + + + + + + - - + + + + + + @@ -5294,8 +5460,12 @@ - - + + + + + + @@ -5308,8 +5478,12 @@ - - + + + + + + @@ -5322,8 +5496,12 @@ - - + + + + + + @@ -5336,8 +5514,12 @@ - - + + + + + + @@ -5352,8 +5534,12 @@ - - + + + + + + @@ -5366,8 +5552,12 @@ - - + + + + + + @@ -5382,8 +5572,12 @@ - - + + + + + + @@ -5396,15 +5590,19 @@ - - - + + + + + + + @@ -5416,15 +5614,19 @@ - - - + + + + + + + @@ -5436,8 +5638,12 @@ - - + + + + + + @@ -5450,8 +5656,12 @@ - - + + + + + + @@ -5470,13 +5680,14 @@ - - + + + + + + - - - @@ -6543,8 +6754,12 @@ - - + + + + + + @@ -6630,8 +6845,12 @@ - - + + + + + + @@ -6663,8 +6882,12 @@ - - + + + + + + @@ -6688,8 +6911,12 @@ - - + + + + + + @@ -6749,8 +6976,12 @@ - - + + + + + + @@ -6814,6 +7045,13 @@ + + + + + + + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/simulator.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/simulator.mps index e94896bda..e94f9dc24 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/simulator.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/simulator.mps @@ -8,9 +8,10 @@ - + + @@ -160,11 +161,6 @@ - - - - - @@ -180,6 +176,19 @@ + + + + + + + + + + + + + @@ -276,8 +285,12 @@ - - + + + + + + @@ -296,8 +309,12 @@ - - + + + + + + @@ -307,14 +324,22 @@ - - + + + + + + - - + + + + + + @@ -478,8 +503,12 @@ - - + + + + + + @@ -508,8 +537,12 @@ - - + + + + + + @@ -530,13 +563,21 @@ - - + + + + + + - - + + + + + + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/tools.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/tools.mps index 427204f5b..b15963bef 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/tools.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/tools.mps @@ -7,7 +7,7 @@ - + @@ -220,11 +220,6 @@ - - - - - @@ -235,6 +230,7 @@ + @@ -254,6 +250,7 @@ + @@ -460,8 +457,12 @@ - - + + + + + + @@ -923,8 +924,12 @@ - - + + + + + + @@ -982,15 +987,19 @@ - - - + + + + + + + @@ -1008,8 +1017,12 @@ - - + + + + + + @@ -1021,8 +1034,12 @@ - - + + + + + + @@ -1034,8 +1051,12 @@ - - + + + + + + @@ -1047,8 +1068,12 @@ - - + + + + + + @@ -1056,8 +1081,12 @@ - - + + + + + + @@ -1068,8 +1097,12 @@ - - + + + + + + @@ -1079,8 +1112,12 @@ - - + + + + + + @@ -1088,8 +1125,12 @@ - - + + + + + + @@ -1135,8 +1176,12 @@ - - + + + + + + @@ -1814,8 +1859,12 @@ - - + + + + + + @@ -2122,8 +2171,12 @@ - - + + + + + + @@ -2309,8 +2362,12 @@ - - + + + + + + @@ -2579,8 +2636,12 @@ - - + + + + + + @@ -2608,8 +2669,12 @@ - - + + + + + + @@ -2666,10 +2731,14 @@ - - - + + + + + + + @@ -2686,8 +2755,12 @@ - - + + + + + + @@ -2705,8 +2778,12 @@ - - + + + + + + @@ -2716,8 +2793,12 @@ - - + + + + + + @@ -2742,8 +2823,12 @@ - - + + + + + + @@ -2894,8 +2979,12 @@ - - + + + + + + @@ -2930,12 +3019,20 @@ - - + + + + + + - - + + + + + + @@ -2952,8 +3049,12 @@ - - + + + + + + @@ -2969,8 +3070,12 @@ - - + + + + + + @@ -2978,8 +3083,12 @@ - - + + + + + + @@ -3010,8 +3119,12 @@ - - + + + + + + @@ -3127,8 +3240,12 @@ - - + + + + + + @@ -3158,12 +3275,20 @@ - - + + + + + + - - + + + + + + @@ -3193,8 +3318,12 @@ - - + + + + + + @@ -3215,8 +3344,12 @@ - - + + + + + + @@ -3236,8 +3369,12 @@ - - + + + + + + @@ -3269,16 +3406,24 @@ - - + + + + + + - - + + + + + + @@ -3289,8 +3434,12 @@ - - + + + + + + @@ -3299,21 +3448,29 @@ - - - + + + + + + + - - - + + + + + + + @@ -3442,13 +3599,21 @@ - - + + + + + + - - + + + + + + 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 84c997380..f403b9240 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 @@ -528,6 +528,9 @@ + + + @@ -752,11 +755,6 @@ - - - - - @@ -825,25 +823,6 @@ - - - - - - - - - - - - - - - - - - - @@ -1536,6 +1515,65 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1691,6 +1729,11 @@ + + + + + @@ -4358,6 +4401,11 @@ + + + + + @@ -5035,16 +5083,6 @@ - - - - - - - - - - @@ -5055,26 +5093,11 @@ - - - - - - - - - - - - - - - diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.cbd.pluginSolution/com.mbeddr.formal.nusmv.cbd.pluginSolution.msd b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.cbd.pluginSolution/com.mbeddr.formal.nusmv.cbd.pluginSolution.msd index 9f0d188f8..985a0607e 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.cbd.pluginSolution/com.mbeddr.formal.nusmv.cbd.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.cbd.pluginSolution/com.mbeddr.formal.nusmv.cbd.pluginSolution.msd @@ -27,11 +27,12 @@ - + + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.cbd.pluginSolution/models/analyzer.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.cbd.pluginSolution/models/analyzer.mps index 117759c94..9d5adc48c 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.cbd.pluginSolution/models/analyzer.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.cbd.pluginSolution/models/analyzer.mps @@ -5,10 +5,11 @@ - + + @@ -238,9 +239,6 @@ - - - @@ -265,6 +263,20 @@ + + + + + + + + + + + + + + @@ -397,8 +409,12 @@ - - + + + + + + @@ -409,8 +425,12 @@ - - + + + + + + @@ -422,10 +442,14 @@ - - - + + + + + + + @@ -490,8 +514,12 @@ - - + + + + + + @@ -535,8 +563,12 @@ - - + + + + + + @@ -552,8 +584,12 @@ - - + + + + + + @@ -608,8 +644,12 @@ - - + + + + + + @@ -1110,12 +1150,16 @@ - - - + + + + + + + @@ -1131,8 +1175,12 @@ - - + + + + + + @@ -1146,8 +1194,12 @@ - - + + + + + + @@ -2004,8 +2056,12 @@ - - + + + + + + @@ -2477,8 +2533,12 @@ - - + + + + + + @@ -2848,8 +2908,12 @@ - - + + + + + + @@ -3739,8 +3803,12 @@ - - + + + + + + @@ -3750,9 +3818,6 @@ - - - @@ -3768,8 +3833,12 @@ - - + + + + + + @@ -3848,6 +3917,13 @@ + + + + + + + @@ -3862,8 +3938,12 @@ - - + + + + + + @@ -3918,8 +3998,12 @@ - - + + + + + + @@ -4344,12 +4428,16 @@ - - - + + + + + + + @@ -4366,8 +4454,12 @@ - - + + + + + + @@ -4378,8 +4470,12 @@ - - + + + + + + @@ -4391,10 +4487,14 @@ - - - + + + + + + + @@ -4459,8 +4559,12 @@ - - + + + + + + @@ -4504,8 +4608,12 @@ - - + + + + + + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/com.mbeddr.formal.nusmv.importer.rt.msd b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/com.mbeddr.formal.nusmv.importer.rt.msd index c1be23614..5c912ad48 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/com.mbeddr.formal.nusmv.importer.rt.msd +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/com.mbeddr.formal.nusmv.importer.rt.msd @@ -36,7 +36,7 @@ 39983771-4e9b-401b-a1a9-1da6c777c843(MPS.ThirdParty) - + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/models/importer.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/models/importer.mps index 55ade18d5..3f11490df 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/models/importer.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/models/importer.mps @@ -7,7 +7,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/com.mbeddr.formal.nusmv.pluginSolution.msd b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/com.mbeddr.formal.nusmv.pluginSolution.msd index 3a27fa137..d374f7f90 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/com.mbeddr.formal.nusmv.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/com.mbeddr.formal.nusmv.pluginSolution.msd @@ -33,12 +33,13 @@ 81f6a079-965e-4523-87c3-8e6194f66585(com.fasten.base.msc) - + + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/plugin.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/plugin.mps index 6ba9d9b19..2d60c4efa 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/plugin.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/plugin.mps @@ -8,10 +8,11 @@ - + + @@ -272,17 +273,24 @@ - - - - - + + + + + + + + + + + + @@ -819,8 +827,12 @@ - - + + + + + + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/runner.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/runner.mps index 714c7e8d3..b18f3296f 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/runner.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/runner.mps @@ -4,12 +4,13 @@ - + + @@ -269,9 +270,6 @@ - - - @@ -283,6 +281,20 @@ + + + + + + + + + + + + + + @@ -480,8 +492,12 @@ - - + + + + + + @@ -584,8 +600,12 @@ - - + + + + + + @@ -752,8 +772,12 @@ - - + + + + + + @@ -978,8 +1002,12 @@ - - + + + + + + @@ -1242,8 +1270,12 @@ - - + + + + + + @@ -1316,8 +1348,12 @@ - - + + + + + + @@ -1509,8 +1545,12 @@ - - + + + + + + @@ -1616,13 +1656,21 @@ - - + + + + + + - - + + + + + + @@ -1639,8 +1687,12 @@ - - + + + + + + @@ -1651,8 +1703,12 @@ - - + + + + + + @@ -1664,10 +1720,14 @@ - - - + + + + + + + @@ -1751,8 +1811,12 @@ - - + + + + + + @@ -1831,8 +1895,12 @@ - - + + + + + + @@ -1879,8 +1947,12 @@ - - + + + + + + @@ -1895,10 +1967,14 @@ - - - + + + + + + + @@ -1971,8 +2047,12 @@ - - + + + + + + @@ -2040,8 +2120,12 @@ - - + + + + + + @@ -2223,12 +2307,16 @@ - - - + + + + + + + @@ -2309,10 +2397,14 @@ - - - + + + + + + + @@ -2321,10 +2413,14 @@ - - - + + + + + + + @@ -2679,8 +2775,12 @@ - - + + + + + + @@ -3562,8 +3662,12 @@ - - + + + + + + @@ -3579,8 +3683,12 @@ - - + + + + + + @@ -3635,8 +3743,12 @@ - - + + + + + + @@ -4283,12 +4395,16 @@ - - - + + + + + + + @@ -4305,8 +4421,12 @@ - - + + + + + + @@ -4317,8 +4437,12 @@ - - + + + + + + @@ -4330,10 +4454,14 @@ - - - + + + + + + + @@ -4398,8 +4526,12 @@ - - + + + + + + @@ -4443,8 +4575,12 @@ - - + + + + + + @@ -4556,8 +4692,12 @@ - - + + + + + + @@ -4640,8 +4780,12 @@ - - + + + + + + @@ -5240,8 +5384,12 @@ - - + + + + + + @@ -5790,8 +5938,12 @@ - - + + + + + + @@ -5892,8 +6044,12 @@ - - + + + + + + @@ -6547,8 +6703,12 @@ - - + + + + + + @@ -6732,8 +6892,12 @@ - - + + + + + + @@ -6751,8 +6915,12 @@ - - + + + + + + @@ -6763,8 +6931,12 @@ - - + + + + + + @@ -6776,10 +6948,14 @@ - - - + + + + + + + @@ -6844,8 +7020,12 @@ - - + + + + + + @@ -6889,8 +7069,12 @@ - - + + + + + + @@ -6911,8 +7095,12 @@ - - + + + + + + @@ -6920,8 +7108,12 @@ - - + + + + + + @@ -6966,8 +7158,12 @@ - - + + + + + + @@ -7137,12 +7333,16 @@ - - - + + + + + + + @@ -7361,8 +7561,12 @@ - - + + + + + + @@ -7487,8 +7691,12 @@ - - + + + + + + @@ -8472,8 +8680,12 @@ - - + + + + + + @@ -8528,8 +8740,12 @@ - - + + + + + + @@ -8753,12 +8969,16 @@ - - - + + + + + + + @@ -8774,8 +8994,12 @@ - - + + + + + + @@ -8786,8 +9010,12 @@ - - + + + + + + @@ -8799,10 +9027,14 @@ - - - + + + + + + + @@ -8867,8 +9099,12 @@ - - + + + + + + @@ -8912,8 +9148,12 @@ - - + + + + + + @@ -9872,8 +10112,12 @@ - - + + + + + + @@ -10119,8 +10363,12 @@ - - + + + + + + @@ -10506,8 +10754,12 @@ - - + + + + + + @@ -10704,8 +10956,12 @@ - - + + + + + + @@ -11094,8 +11350,12 @@ - - + + + + + + @@ -11742,8 +12002,12 @@ - - + + + + + + @@ -11771,8 +12035,12 @@ - - + + + + + + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/ui.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/ui.mps index ef19b9e14..92775c7a0 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/ui.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/ui.mps @@ -4,8 +4,9 @@ - + + @@ -208,17 +209,26 @@ - - - - - + + + + + + + + + + + + + + @@ -273,8 +283,12 @@ - - + + + + + + @@ -287,8 +301,12 @@ - - + + + + + + @@ -301,8 +319,12 @@ - - + + + + + + @@ -503,8 +525,12 @@ - - + + + + + + @@ -600,8 +626,12 @@ - - + + + + + + @@ -631,13 +661,21 @@ - - + + + + + + - - + + + + + + @@ -656,8 +694,12 @@ - - + + + + + + @@ -670,8 +712,12 @@ - - + + + + + + @@ -684,8 +730,12 @@ - - + + + + + + @@ -698,8 +748,12 @@ - - + + + + + + @@ -712,8 +766,12 @@ - - + + + + + + @@ -724,8 +782,12 @@ - - + + + + + + @@ -894,8 +956,12 @@ - - + + + + + + @@ -1294,12 +1360,16 @@ - - - + + + + + + + @@ -1608,12 +1678,16 @@ - - - + + + + + + + @@ -1641,8 +1715,12 @@ - - + + + + + + @@ -1824,8 +1902,12 @@ - - + + + + + + @@ -1879,8 +1961,12 @@ - - + + + + + + @@ -1913,8 +1999,12 @@ - - + + + + + + @@ -1945,8 +2035,12 @@ - - + + + + + + @@ -2026,8 +2120,12 @@ - - + + + + + + @@ -2138,8 +2236,12 @@ - - + + + + + + @@ -2206,8 +2308,12 @@ - - + + + + + + @@ -2235,8 +2341,12 @@ - - + + + + + + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/utils.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/utils.mps index 7f4fdd478..5c9507f6c 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/utils.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/utils.mps @@ -7,7 +7,8 @@ - + + @@ -91,13 +92,22 @@ - - - + + + + + + + + + + + + @@ -639,8 +649,12 @@ - - + + + + + + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.tutorialActions/com.mbeddr.formal.rcp.tutorialActions.msd b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.tutorialActions/com.mbeddr.formal.rcp.tutorialActions.msd index b9190bf7e..23a4a6289 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.tutorialActions/com.mbeddr.formal.rcp.tutorialActions.msd +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.tutorialActions/com.mbeddr.formal.rcp.tutorialActions.msd @@ -18,13 +18,16 @@ 86441d7a-e194-42da-81a5-2161ec62a379(MPS.Workbench) - + + + + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.tutorialActions/models/plugin.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.tutorialActions/models/plugin.mps index bbcb86104..a7a4aa439 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.tutorialActions/models/plugin.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.tutorialActions/models/plugin.mps @@ -4,8 +4,9 @@ - + + @@ -127,11 +128,6 @@ - - - - - @@ -169,6 +165,18 @@ + + + + + + + + + + + + @@ -206,8 +214,12 @@ - - + + + + + + @@ -757,8 +769,12 @@ - - + + + + + + diff --git a/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/base@tests.mps b/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/base@tests.mps index 5ca2ce967..75b5e9500 100644 --- a/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/base@tests.mps +++ b/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/base@tests.mps @@ -9,7 +9,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/cbd@tests.mps b/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/cbd@tests.mps index 9e41221e1..74856e535 100644 --- a/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/cbd@tests.mps +++ b/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/cbd@tests.mps @@ -7,7 +7,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/nusmv_ext@tests.mps b/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/nusmv_ext@tests.mps index 4dda97d5a..300426a7e 100644 --- a/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/nusmv_ext@tests.mps +++ b/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/nusmv_ext@tests.mps @@ -9,7 +9,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/nusmv_importer@tests.mps b/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/nusmv_importer@tests.mps index 2f758cb4a..c0c052cef 100644 --- a/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/nusmv_importer@tests.mps +++ b/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/nusmv_importer@tests.mps @@ -9,10 +9,11 @@ - + + @@ -182,9 +183,6 @@ - - - @@ -195,6 +193,18 @@ + + + + + + + + + + + + @@ -599,8 +609,12 @@ - - + + + + + + diff --git a/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/nusmv_runs@tests.mps b/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/nusmv_runs@tests.mps index 9a845e188..7026d767e 100644 --- a/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/nusmv_runs@tests.mps +++ b/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/nusmv_runs@tests.mps @@ -9,7 +9,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/test.mbeddr.formal.nusmv.counterexample@tests.mps b/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/test.mbeddr.formal.nusmv.counterexample@tests.mps index fab6bfe18..109d6ab1a 100644 --- a/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/test.mbeddr.formal.nusmv.counterexample@tests.mps +++ b/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/test.mbeddr.formal.nusmv.counterexample@tests.mps @@ -5,7 +5,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/tests_source@tests.mps b/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/tests_source@tests.mps index 0166fe02a..68d48072d 100644 --- a/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/tests_source@tests.mps +++ b/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/tests_source@tests.mps @@ -4,7 +4,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/tl_patterns_tests@tests.mps b/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/tl_patterns_tests@tests.mps index b9375c795..9d935dd97 100644 --- a/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/tl_patterns_tests@tests.mps +++ b/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/models/tl_patterns_tests@tests.mps @@ -4,7 +4,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/test.mbeddr.formal.nusmv.msd b/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/test.mbeddr.formal.nusmv.msd index 8788ea516..6d2a1bf60 100644 --- a/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/test.mbeddr.formal.nusmv.msd +++ b/code/languages/com.mbeddr.formal.nusmv/tests/test.mbeddr.formal.nusmv/test.mbeddr.formal.nusmv.msd @@ -31,6 +31,8 @@ 22a84bd5-d947-48ae-b9f6-8288eea41dce(com.mbeddr.formal.nusmv.arch) + + @@ -48,13 +50,14 @@ - + + 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 9315de7a5..703367d0a 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 @@ -20,11 +20,12 @@ ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) - + + diff --git a/code/languages/com.mbeddr.formal.prism/solutions/com.mbeddr.formal.prism.pluginSolution/models/com.mbeddr.formal.prism.pluginSolution.runner.mps b/code/languages/com.mbeddr.formal.prism/solutions/com.mbeddr.formal.prism.pluginSolution/models/com.mbeddr.formal.prism.pluginSolution.runner.mps index f6defbb7d..582a01385 100644 --- a/code/languages/com.mbeddr.formal.prism/solutions/com.mbeddr.formal.prism.pluginSolution/models/com.mbeddr.formal.prism.pluginSolution.runner.mps +++ b/code/languages/com.mbeddr.formal.prism/solutions/com.mbeddr.formal.prism.pluginSolution/models/com.mbeddr.formal.prism.pluginSolution.runner.mps @@ -7,7 +7,8 @@ - + + @@ -107,9 +108,16 @@ - - - + + + + + + + + + + @@ -257,8 +265,12 @@ - - + + + + + + @@ -368,8 +380,12 @@ - - + + + + + + diff --git a/code/languages/com.mbeddr.formal.prism/tests/test.com.mbeddr.formal.prism/models/test.com.mbeddr.formal.prism._010_smoke.mps b/code/languages/com.mbeddr.formal.prism/tests/test.com.mbeddr.formal.prism/models/test.com.mbeddr.formal.prism._010_smoke.mps index c17f9a295..b27723d94 100644 --- a/code/languages/com.mbeddr.formal.prism/tests/test.com.mbeddr.formal.prism/models/test.com.mbeddr.formal.prism._010_smoke.mps +++ b/code/languages/com.mbeddr.formal.prism/tests/test.com.mbeddr.formal.prism/models/test.com.mbeddr.formal.prism._010_smoke.mps @@ -155,7 +155,7 @@ - + @@ -168,7 +168,7 @@ - + @@ -183,7 +183,7 @@ - + @@ -191,7 +191,7 @@ - + @@ -204,7 +204,7 @@ - + @@ -219,7 +219,7 @@ - + @@ -227,7 +227,7 @@ - + @@ -240,7 +240,7 @@ - + @@ -255,7 +255,7 @@ - + @@ -263,7 +263,7 @@ - + @@ -276,7 +276,7 @@ - + @@ -284,7 +284,7 @@ - + @@ -299,7 +299,7 @@ - + @@ -307,7 +307,7 @@ - + @@ -315,7 +315,7 @@ - + @@ -328,7 +328,7 @@ - + @@ -336,7 +336,7 @@ - + @@ -351,7 +351,7 @@ - + @@ -359,7 +359,7 @@ - + @@ -367,7 +367,7 @@ - + @@ -380,7 +380,7 @@ - + @@ -388,7 +388,7 @@ - + @@ -403,7 +403,7 @@ - + @@ -411,7 +411,7 @@ - + @@ -424,7 +424,7 @@ - + @@ -432,7 +432,7 @@ - + @@ -447,7 +447,7 @@ - + @@ -455,7 +455,7 @@ - + @@ -467,7 +467,7 @@ - + @@ -476,7 +476,7 @@ - + @@ -491,7 +491,7 @@ - + @@ -499,10 +499,10 @@ - + - + diff --git a/code/languages/com.mbeddr.formal.repo_admin/.mps/migration.xml b/code/languages/com.mbeddr.formal.repo_admin/.mps/migration.xml new file mode 100644 index 000000000..a7d5049db --- /dev/null +++ b/code/languages/com.mbeddr.formal.repo_admin/.mps/migration.xml @@ -0,0 +1,12 @@ + + + + + + + + + + + + \ No newline at end of file diff --git a/code/languages/com.mbeddr.formal.repo_admin/.mps/modules.xml b/code/languages/com.mbeddr.formal.repo_admin/.mps/modules.xml index b8306399f..6024b60cf 100644 --- a/code/languages/com.mbeddr.formal.repo_admin/.mps/modules.xml +++ b/code/languages/com.mbeddr.formal.repo_admin/.mps/modules.xml @@ -4,6 +4,194 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.all/com.fasten.meta.all.msd b/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.all/com.fasten.meta.all.msd index aff5a30a9..3a86915fa 100644 --- a/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.all/com.fasten.meta.all.msd +++ b/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.all/com.fasten.meta.all.msd @@ -20,6 +20,7 @@ + @@ -34,7 +35,6 @@ - diff --git a/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.all/models/com.fasten.meta.all.scripts.mps b/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.all/models/com.fasten.meta.all.scripts.mps index ffe96fe0a..3b07450b2 100644 --- a/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.all/models/com.fasten.meta.all.scripts.mps +++ b/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.all/models/com.fasten.meta.all.scripts.mps @@ -7,6 +7,7 @@ + @@ -117,6 +118,11 @@ + + + + + @@ -638,6 +644,21 @@ + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.filesystem_level.mps b/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.filesystem_level.mps index 6e32f868e..3800b9c96 100644 --- a/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.filesystem_level.mps +++ b/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.filesystem_level.mps @@ -45,7 +45,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.nodes_level.mps b/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.nodes_level.mps index 41585a172..fd7d69854 100644 --- a/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.nodes_level.mps +++ b/code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.nodes_level.mps @@ -45,7 +45,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.req/solutions/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution.msd b/code/languages/com.mbeddr.formal.req/solutions/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution.msd index 4f36d98d8..ab11f95d5 100644 --- a/code/languages/com.mbeddr.formal.req/solutions/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.req/solutions/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution.msd @@ -28,7 +28,7 @@ 5ff577d1-1817-495b-9d6c-ff7b52c68609(com.mbeddr.formal.req.tl_patterns) - + diff --git a/code/languages/com.mbeddr.formal.req/solutions/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution/models/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution.utils.mps b/code/languages/com.mbeddr.formal.req/solutions/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution/models/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution.utils.mps index 4f3d2533c..cddaf93c6 100644 --- a/code/languages/com.mbeddr.formal.req/solutions/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution/models/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution.utils.mps +++ b/code/languages/com.mbeddr.formal.req/solutions/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution/models/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution.utils.mps @@ -5,7 +5,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.doc/com.mbeddr.formal.safety.gsn.doc.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.doc/com.mbeddr.formal.safety.gsn.doc.mpl index 9a2791fbf..5eba5c520 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.doc/com.mbeddr.formal.safety.gsn.doc.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.doc/com.mbeddr.formal.safety.gsn.doc.mpl @@ -32,7 +32,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 658326d45..ad5af68ee 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 @@ -28,7 +28,7 @@ 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) - + 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 c1b22c33b..40f4ccda6 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 @@ -5,7 +5,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 ad3c4ddbe..0df754836 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 @@ -29,7 +29,7 @@ 6b84fb9e-5f09-4a61-bf31-3bfdc54820e3(com.mpsbasics.editor.utils) - + @@ -87,6 +87,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 d71313a5a..fe508a1f7 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 @@ -4,7 +4,7 @@ - + @@ -14,6 +14,7 @@ + @@ -466,11 +467,6 @@ - - - - - @@ -490,6 +486,19 @@ + + + + + + + + + + + + + @@ -3747,8 +3756,12 @@ - - + + + + + + @@ -6118,8 +6131,12 @@ - - + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.xfta.pluginSolution/com.fasten.safety.ft.xfta.pluginSolution.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.xfta.pluginSolution/com.fasten.safety.ft.xfta.pluginSolution.msd index 0e5ff1021..30eb74920 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.xfta.pluginSolution/com.fasten.safety.ft.xfta.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.xfta.pluginSolution/com.fasten.safety.ft.xfta.pluginSolution.msd @@ -23,7 +23,7 @@ 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) - + @@ -57,6 +57,7 @@ + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.xfta.pluginSolution/models/com.fasten.safety.ft.xfta.pluginSolution.plugin.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.xfta.pluginSolution/models/com.fasten.safety.ft.xfta.pluginSolution.plugin.mps index e437e3075..eb06bad02 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.xfta.pluginSolution/models/com.fasten.safety.ft.xfta.pluginSolution.plugin.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.xfta.pluginSolution/models/com.fasten.safety.ft.xfta.pluginSolution.plugin.mps @@ -6,7 +6,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.xfta.pluginSolution/models/com.fasten.safety.ft.xfta.pluginSolution.runner.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.xfta.pluginSolution/models/com.fasten.safety.ft.xfta.pluginSolution.runner.mps index 264515daf..d0bbc1f76 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.xfta.pluginSolution/models/com.fasten.safety.ft.xfta.pluginSolution.runner.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.xfta.pluginSolution/models/com.fasten.safety.ft.xfta.pluginSolution.runner.mps @@ -2,9 +2,10 @@ - + + @@ -140,9 +141,16 @@ - - - + + + + + + + + + + @@ -360,8 +368,12 @@ - - + + + + + + @@ -468,8 +480,12 @@ - - + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.xfta.pluginSolution/models/com.fasten.safety.ft.xfta.pluginSolution.ui.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.xfta.pluginSolution/models/com.fasten.safety.ft.xfta.pluginSolution.ui.mps index f0c1ba118..db2fd3cba 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.xfta.pluginSolution/models/com.fasten.safety.ft.xfta.pluginSolution.ui.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.xfta.pluginSolution/models/com.fasten.safety.ft.xfta.pluginSolution.ui.mps @@ -4,7 +4,8 @@ - + + @@ -133,10 +134,19 @@ - - - + + + + + + + + + + + + @@ -173,8 +183,12 @@ - - + + + + + + @@ -187,8 +201,12 @@ - - + + + + + + @@ -201,8 +219,12 @@ - - + + + + + + @@ -215,8 +237,12 @@ - - + + + + + + @@ -453,8 +479,12 @@ - - + + + + + + @@ -587,8 +617,12 @@ - - + + + + + + @@ -618,13 +652,21 @@ - - + + + + + + - - + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.argument.runtime.pluginSolution/com.mbeddr.formal.safety.argument.runtime.pluginSolution.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.argument.runtime.pluginSolution/com.mbeddr.formal.safety.argument.runtime.pluginSolution.msd index aad53ffe4..3c4592b36 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.argument.runtime.pluginSolution/com.mbeddr.formal.safety.argument.runtime.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.argument.runtime.pluginSolution/com.mbeddr.formal.safety.argument.runtime.pluginSolution.msd @@ -25,7 +25,7 @@ d3a0fd26-445a-466c-900e-10444ddfed52(com.mbeddr.mpsutil.filepicker) - + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.argument.runtime.pluginSolution/models/com.mbeddr.formal.safety.argument.runtime.pluginSolution.ui.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.argument.runtime.pluginSolution/models/com.mbeddr.formal.safety.argument.runtime.pluginSolution.ui.mps index 17b0d39a7..8fc78a0ca 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.argument.runtime.pluginSolution/models/com.mbeddr.formal.safety.argument.runtime.pluginSolution.ui.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.argument.runtime.pluginSolution/models/com.mbeddr.formal.safety.argument.runtime.pluginSolution.ui.mps @@ -3,7 +3,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/com.mbeddr.formal.safety.gsn.sandbox.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/com.mbeddr.formal.safety.gsn.sandbox.msd index beed764ed..4dfd09c4c 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/com.mbeddr.formal.safety.gsn.sandbox.msd +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/com.mbeddr.formal.safety.gsn.sandbox.msd @@ -67,7 +67,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.smv.pluginSolution/com.mbeddr.formal.safety.gsn.smv.pluginSolution.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.smv.pluginSolution/com.mbeddr.formal.safety.gsn.smv.pluginSolution.msd index c1b3fc250..ed9d4b13f 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.smv.pluginSolution/com.mbeddr.formal.safety.gsn.smv.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.smv.pluginSolution/com.mbeddr.formal.safety.gsn.smv.pluginSolution.msd @@ -28,11 +28,12 @@ ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) - + + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.smv.pluginSolution/models/com.mbeddr.formal.safety.gsn.smv.pluginSolution.analyzers.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.smv.pluginSolution/models/com.mbeddr.formal.safety.gsn.smv.pluginSolution.analyzers.mps index 25d98f1c9..1f6effb5c 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.smv.pluginSolution/models/com.mbeddr.formal.safety.gsn.smv.pluginSolution.analyzers.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.smv.pluginSolution/models/com.mbeddr.formal.safety.gsn.smv.pluginSolution.analyzers.mps @@ -6,8 +6,9 @@ - + + @@ -159,9 +160,6 @@ - - - @@ -180,6 +178,20 @@ + + + + + + + + + + + + + + @@ -259,8 +271,12 @@ - - + + + + + + @@ -818,8 +834,12 @@ - - + + + + + + @@ -885,8 +905,12 @@ - - + + + + + + @@ -894,9 +918,6 @@ - - - @@ -946,8 +967,19 @@ - - + + + + + + + + + + + + + @@ -961,8 +993,12 @@ - - + + + + + + @@ -972,8 +1008,12 @@ - - + + + + + + @@ -1098,8 +1138,12 @@ - - + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.smv.pluginSolution/models/com.mbeddr.formal.safety.gsn.smv.pluginSolution.plugin.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.smv.pluginSolution/models/com.mbeddr.formal.safety.gsn.smv.pluginSolution.plugin.mps index 089f305a5..a78823461 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.smv.pluginSolution/models/com.mbeddr.formal.safety.gsn.smv.pluginSolution.plugin.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.smv.pluginSolution/models/com.mbeddr.formal.safety.gsn.smv.pluginSolution.plugin.mps @@ -9,7 +9,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.spin.pluginSolution/com.mbeddr.formal.safety.gsn.spin.pluginSolution.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.spin.pluginSolution/com.mbeddr.formal.safety.gsn.spin.pluginSolution.msd index 4318114e7..fe0fe456f 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.spin.pluginSolution/com.mbeddr.formal.safety.gsn.spin.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.spin.pluginSolution/com.mbeddr.formal.safety.gsn.spin.pluginSolution.msd @@ -21,7 +21,7 @@ 80ea7e60-3c36-4583-be96-3e7d3ad3504e(com.mbeddr.formal.spin.analyses) - + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.spin.pluginSolution/models/com.mbeddr.formal.safety.gsn.spin.pluginSolution.plugin.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.spin.pluginSolution/models/com.mbeddr.formal.safety.gsn.spin.pluginSolution.plugin.mps index 744673e62..ea921f9ee 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.spin.pluginSolution/models/com.mbeddr.formal.safety.gsn.spin.pluginSolution.plugin.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.spin.pluginSolution/models/com.mbeddr.formal.safety.gsn.spin.pluginSolution.plugin.mps @@ -8,7 +8,7 @@ - + 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 d8010c682..64e3d3792 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 @@ -39,7 +39,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/models/test.mbeddr.formal.gsn._010_gsn_smv_tests@tests.mps b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/models/test.mbeddr.formal.gsn._010_gsn_smv_tests@tests.mps index ff699048f..488fedd11 100644 --- a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/models/test.mbeddr.formal.gsn._010_gsn_smv_tests@tests.mps +++ b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/models/test.mbeddr.formal.gsn._010_gsn_smv_tests@tests.mps @@ -5,7 +5,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/models/test.mbeddr.formal.gsn._020_gsn_cbd_smv_tests@tests.mps b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/models/test.mbeddr.formal.gsn._020_gsn_cbd_smv_tests@tests.mps index 23f70134c..2b8acb5cc 100644 --- a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/models/test.mbeddr.formal.gsn._020_gsn_cbd_smv_tests@tests.mps +++ b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/models/test.mbeddr.formal.gsn._020_gsn_cbd_smv_tests@tests.mps @@ -5,7 +5,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/models/test.mbeddr.formal.gsn._050_gsn_odd_spin_tests@tests.mps b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/models/test.mbeddr.formal.gsn._050_gsn_odd_spin_tests@tests.mps index b771718f0..a2fed26c0 100644 --- a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/models/test.mbeddr.formal.gsn._050_gsn_odd_spin_tests@tests.mps +++ b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/models/test.mbeddr.formal.gsn._050_gsn_odd_spin_tests@tests.mps @@ -6,7 +6,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/test.mbeddr.formal.gsn.msd b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/test.mbeddr.formal.gsn.msd index 7cc2f8778..db3a93f8c 100644 --- a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/test.mbeddr.formal.gsn.msd +++ b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/test.mbeddr.formal.gsn.msd @@ -64,7 +64,7 @@ - + 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 44af879ca..38b581f6a 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 @@ -78,7 +78,7 @@ 83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base) - + diff --git a/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib.synthesis/generator/template/main@generator.mps b/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib.synthesis/generator/template/main@generator.mps index e63a7b35f..26634dac9 100644 --- a/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib.synthesis/generator/template/main@generator.mps +++ b/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib.synthesis/generator/template/main@generator.mps @@ -300,7 +300,7 @@ - + @@ -364,7 +364,7 @@ - + @@ -878,9 +878,9 @@ - + - + @@ -920,7 +920,7 @@ - + @@ -1007,9 +1007,9 @@ - + - + @@ -1049,7 +1049,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib.synthesis/models/translator.mps b/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib.synthesis/models/translator.mps index f19a47c5a..da0b190f1 100644 --- a/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib.synthesis/models/translator.mps +++ b/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib.synthesis/models/translator.mps @@ -2,7 +2,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib.synthesis/models/util.mps b/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib.synthesis/models/util.mps index 9c29f2d4f..32c67ab22 100644 --- a/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib.synthesis/models/util.mps +++ b/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib.synthesis/models/util.mps @@ -2,11 +2,12 @@ - + + @@ -141,9 +142,19 @@ - - + + + + + + + + + + + + @@ -855,8 +866,12 @@ - - + + + + + + @@ -1170,8 +1185,12 @@ - - + + + + + + @@ -1181,8 +1200,12 @@ - - + + + + + + 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 c6cb06b1a..76c7d256d 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 @@ -20,7 +20,7 @@ b0f8641f-bd77-4421-8425-30d9088a82f7(org.apache.commons) - + diff --git a/code/languages/com.mbeddr.formal.smt/solutions/com.mbeddr.formal.smtlib.z3.rt/models/runner.mps b/code/languages/com.mbeddr.formal.smt/solutions/com.mbeddr.formal.smtlib.z3.rt/models/runner.mps index 7c549dbff..4cd038f3b 100644 --- a/code/languages/com.mbeddr.formal.smt/solutions/com.mbeddr.formal.smtlib.z3.rt/models/runner.mps +++ b/code/languages/com.mbeddr.formal.smt/solutions/com.mbeddr.formal.smtlib.z3.rt/models/runner.mps @@ -4,7 +4,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.smt/solutions/com.mbeddr.formal.smtlib.z3.rt/models/translator.mps b/code/languages/com.mbeddr.formal.smt/solutions/com.mbeddr.formal.smtlib.z3.rt/models/translator.mps index bdd2f53a8..f5233f74c 100644 --- a/code/languages/com.mbeddr.formal.smt/solutions/com.mbeddr.formal.smtlib.z3.rt/models/translator.mps +++ b/code/languages/com.mbeddr.formal.smt/solutions/com.mbeddr.formal.smtlib.z3.rt/models/translator.mps @@ -5,7 +5,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib.synthesis/models/_010_simple_output.mps b/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib.synthesis/models/_010_simple_output.mps index a141048c6..14f0e669d 100644 --- a/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib.synthesis/models/_010_simple_output.mps +++ b/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib.synthesis/models/_010_simple_output.mps @@ -79,22 +79,22 @@ - + - + - + - + - + diff --git a/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib.synthesis/models/sandbox._010_smoke_synth.mps b/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib.synthesis/models/sandbox._010_smoke_synth.mps index b05c19999..750e3d107 100644 --- a/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib.synthesis/models/sandbox._010_smoke_synth.mps +++ b/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib.synthesis/models/sandbox._010_smoke_synth.mps @@ -135,14 +135,14 @@ - + - + - + @@ -169,14 +169,14 @@ - + - + - + @@ -197,7 +197,7 @@ - + @@ -208,7 +208,7 @@ - + @@ -227,7 +227,7 @@ - + @@ -238,7 +238,7 @@ - + @@ -257,7 +257,7 @@ - + @@ -268,7 +268,7 @@ - + @@ -286,40 +286,40 @@ - + - + - + - + - + - + - + - + - + - + - + - + @@ -379,11 +379,11 @@ - + - + diff --git a/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib/models/_010_smoke.mps b/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib/models/_010_smoke.mps index c890d117d..81224ab82 100644 --- a/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib/models/_010_smoke.mps +++ b/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib/models/_010_smoke.mps @@ -122,7 +122,7 @@ - + @@ -132,7 +132,7 @@ - + @@ -150,11 +150,11 @@ - + - + @@ -179,7 +179,7 @@ - + @@ -193,9 +193,9 @@ - + - + @@ -222,9 +222,9 @@ - + - + @@ -251,13 +251,13 @@ - + - + - + @@ -276,7 +276,7 @@ - + @@ -286,14 +286,14 @@ - + - + - + @@ -302,23 +302,23 @@ - + - + - + - + - + - + @@ -330,13 +330,13 @@ - + - + - + @@ -359,17 +359,17 @@ - + - + - + @@ -399,13 +399,13 @@ - + - + - + @@ -432,31 +432,31 @@ - + - + - + - + - + - + @@ -482,40 +482,40 @@ - + - + - + - + - + - + - + - + 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 cd9a7a746..1c804e5ea 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 @@ -155,7 +155,7 @@ ef89f137-f966-4966-a202-ab9ea26e79fe(com.mbeddr.formal.spin.c.core) - + diff --git a/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.hdl/models/plugin.mps b/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.hdl/models/plugin.mps index 301b75c7e..621365335 100644 --- a/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.hdl/models/plugin.mps +++ b/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.hdl/models/plugin.mps @@ -8,7 +8,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 0c5bf4e81..79934a9a7 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 @@ -84,7 +84,7 @@ 39983771-4e9b-401b-a1a9-1da6c777c843(MPS.ThirdParty) - + diff --git a/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin/models/plugin.mps b/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin/models/plugin.mps index 48bfb1f98..75b9d66ba 100644 --- a/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin/models/plugin.mps +++ b/code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin/models/plugin.mps @@ -8,7 +8,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/com.mbeddr.formal.spin.pluginSolution.msd b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/com.mbeddr.formal.spin.pluginSolution.msd index 564cee368..ac279d130 100644 --- a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/com.mbeddr.formal.spin.pluginSolution.msd +++ b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/com.mbeddr.formal.spin.pluginSolution.msd @@ -23,7 +23,7 @@ 2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel) - + diff --git a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.analyzer.model.mps b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.analyzer.model.mps index 2b5194d48..d5b7b1e47 100644 --- a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.analyzer.model.mps +++ b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.analyzer.model.mps @@ -3,8 +3,9 @@ - + + @@ -135,10 +136,19 @@ - - - + + + + + + + + + + + + @@ -320,8 +330,12 @@ - - + + + + + + @@ -338,8 +352,12 @@ - - + + + + + + @@ -352,8 +370,12 @@ - - + + + + + + @@ -364,8 +386,12 @@ - - + + + + + + @@ -376,8 +402,12 @@ - - + + + + + + @@ -388,8 +418,12 @@ - - + + + + + + @@ -402,8 +436,12 @@ - - + + + + + + @@ -418,8 +456,12 @@ - - + + + + + + @@ -546,8 +588,12 @@ - - + + + + + + @@ -635,8 +681,12 @@ - - + + + + + + @@ -657,8 +707,12 @@ - - + + + + + + @@ -760,8 +814,12 @@ - - + + + + + + @@ -977,8 +1035,12 @@ - - + + + + + + @@ -1008,8 +1070,12 @@ - - + + + + + + @@ -1020,8 +1086,12 @@ - - + + + + + + @@ -1032,8 +1102,12 @@ - - + + + + + + @@ -1090,8 +1164,12 @@ - - + + + + + + @@ -1110,8 +1188,12 @@ - - + + + + + + @@ -1130,8 +1212,12 @@ - - + + + + + + @@ -1150,8 +1236,12 @@ - - + + + + + + @@ -1189,13 +1279,21 @@ - - + + + + + + - - + + + + + + @@ -1439,8 +1537,12 @@ - - + + + + + + @@ -1452,8 +1554,12 @@ - - + + + + + + @@ -1462,8 +1568,12 @@ - - + + + + + + diff --git a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.analyzer.mps b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.analyzer.mps index 4a8690cdc..5268e253d 100644 --- a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.analyzer.mps +++ b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.analyzer.mps @@ -4,10 +4,11 @@ - + + @@ -257,9 +258,6 @@ - - - @@ -271,6 +269,20 @@ + + + + + + + + + + + + + + @@ -432,8 +444,12 @@ - - + + + + + + @@ -682,12 +698,20 @@ - - + + + + + + - - + + + + + + @@ -761,8 +785,12 @@ - - + + + + + + @@ -807,16 +835,24 @@ - - + + + + + + - - + + + + + + @@ -830,8 +866,12 @@ - - + + + + + + @@ -842,8 +882,12 @@ - - + + + + + + @@ -854,8 +898,12 @@ - - + + + + + + @@ -866,8 +914,12 @@ - - + + + + + + @@ -1087,12 +1139,16 @@ - - - + + + + + + + @@ -1120,9 +1176,6 @@ - - - @@ -2498,8 +2551,12 @@ - - + + + + + + @@ -2686,8 +2743,12 @@ - - + + + + + + @@ -2767,8 +2828,19 @@ - - + + + + + + + + + + + + + @@ -2951,8 +3023,12 @@ - - + + + + + + @@ -3064,8 +3140,12 @@ - - + + + + + + @@ -3349,13 +3429,21 @@ - - + + + + + + - - + + + + + + @@ -3370,8 +3458,12 @@ - - + + + + + + @@ -3382,8 +3474,12 @@ - - + + + + + + @@ -3394,8 +3490,12 @@ - - + + + + + + @@ -3416,8 +3516,12 @@ - - + + + + + + @@ -3430,8 +3534,12 @@ - - + + + + + + @@ -3442,8 +3550,12 @@ - - + + + + + + @@ -3534,8 +3646,12 @@ - - + + + + + + @@ -3553,8 +3669,12 @@ - - + + + + + + @@ -4418,8 +4538,12 @@ - - + + + + + + @@ -4686,8 +4810,12 @@ - - + + + + + + diff --git a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.runner.mps b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.runner.mps index be9f75e8d..e2580e775 100644 --- a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.runner.mps +++ b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.runner.mps @@ -2,7 +2,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.testing_utils.mps b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.testing_utils.mps index 5c583063d..1f8bbda34 100644 --- a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.testing_utils.mps +++ b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.testing_utils.mps @@ -6,8 +6,9 @@ - + + @@ -160,9 +161,6 @@ - - - @@ -174,6 +172,19 @@ + + + + + + + + + + + + + @@ -240,9 +251,6 @@ - - - @@ -252,9 +260,6 @@ - - - @@ -429,6 +434,13 @@ + + + + + + + @@ -477,12 +489,16 @@ - - - + + + + + + + @@ -621,8 +637,12 @@ - - + + + + + + @@ -774,8 +794,12 @@ - - + + + + + + @@ -951,8 +975,12 @@ - - + + + + + + @@ -1064,6 +1092,13 @@ + + + + + + + diff --git a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.ui.mps b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.ui.mps index 02014512e..4bb70d432 100644 --- a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.ui.mps +++ b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.ui.mps @@ -3,8 +3,9 @@ - + + @@ -202,10 +203,19 @@ - - - + + + + + + + + + + + + @@ -258,8 +268,12 @@ - - + + + + + + @@ -272,8 +286,12 @@ - - + + + + + + @@ -286,8 +304,12 @@ - - + + + + + + @@ -300,8 +322,12 @@ - - + + + + + + @@ -314,8 +340,12 @@ - - + + + + + + @@ -590,8 +620,12 @@ - - + + + + + + @@ -743,8 +777,12 @@ - - + + + + + + @@ -774,13 +812,21 @@ - - + + + + + + - - + + + + + + @@ -799,8 +845,12 @@ - - + + + + + + @@ -813,8 +863,12 @@ - - + + + + + + @@ -827,8 +881,12 @@ - - + + + + + + @@ -841,8 +899,12 @@ - - + + + + + + @@ -909,8 +971,12 @@ - - + + + + + + @@ -1027,12 +1093,16 @@ - - - + + + + + + + @@ -1483,12 +1553,16 @@ - - - + + + + + + + @@ -1516,8 +1590,12 @@ - - + + + + + + @@ -1722,8 +1800,12 @@ - - + + + + + + @@ -1807,8 +1889,12 @@ - - + + + + + + @@ -1841,8 +1927,12 @@ - - + + + + + + @@ -1873,8 +1963,12 @@ - - + + + + + + @@ -1954,8 +2048,12 @@ - - + + + + + + @@ -1979,8 +2077,12 @@ - - + + + + + + @@ -2047,8 +2149,12 @@ - - + + + + + + @@ -2076,8 +2182,12 @@ - - + + + + + + diff --git a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.utils.mps b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.utils.mps index d8874c659..618e4c94c 100644 --- a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.utils.mps +++ b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/com.mbeddr.formal.spin.utils.mps @@ -5,7 +5,8 @@ - + + @@ -68,10 +69,17 @@ - - - + + + + + + + + + + @@ -113,9 +121,6 @@ - - - @@ -401,6 +406,13 @@ + + + + + + + diff --git a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/plugin.mps b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/plugin.mps index 136370e7c..b7e4c146f 100644 --- a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/plugin.mps +++ b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/plugin.mps @@ -9,8 +9,9 @@ - + + @@ -264,8 +265,17 @@ - - + + + + + + + + + + + @@ -731,9 +741,6 @@ - - - @@ -837,6 +844,13 @@ + + + + + + + @@ -844,9 +858,6 @@ - - - @@ -894,6 +905,13 @@ + + + + + + + @@ -901,9 +919,6 @@ - - - @@ -946,6 +961,13 @@ + + + + + + + diff --git a/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/models/_010_promela_tests@tests.mps b/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/models/_010_promela_tests@tests.mps index 85a0b7bda..31c779c9b 100644 --- a/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/models/_010_promela_tests@tests.mps +++ b/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/models/_010_promela_tests@tests.mps @@ -7,7 +7,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/models/_050_promela_extensions_tests_gen@tests.mps b/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/models/_050_promela_extensions_tests_gen@tests.mps index dd985ffdc..d90a7e134 100644 --- a/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/models/_050_promela_extensions_tests_gen@tests.mps +++ b/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/models/_050_promela_extensions_tests_gen@tests.mps @@ -6,7 +6,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/models/_100_hdl_tests@tests.mps b/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/models/_100_hdl_tests@tests.mps index db2077018..b75fae349 100644 --- a/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/models/_100_hdl_tests@tests.mps +++ b/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/models/_100_hdl_tests@tests.mps @@ -6,7 +6,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/models/_100_hdl_tests_gen@tests.mps b/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/models/_100_hdl_tests_gen@tests.mps index 42a1009ce..117bc6424 100644 --- a/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/models/_100_hdl_tests_gen@tests.mps +++ b/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/models/_100_hdl_tests_gen@tests.mps @@ -6,7 +6,7 @@ - + diff --git a/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/test.mbeddr.formal.spin.msd b/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/test.mbeddr.formal.spin.msd index 4ecd8bec1..b2f209fc5 100644 --- a/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/test.mbeddr.formal.spin.msd +++ b/code/languages/com.mbeddr.formal.spin/tests/test.mbeddr.formal.spin/test.mbeddr.formal.spin.msd @@ -33,7 +33,7 @@ - + diff --git a/gradle.lockfile b/gradle.lockfile index d41654a23..389f0ab8f 100644 --- a/gradle.lockfile +++ b/gradle.lockfile @@ -3,11 +3,11 @@ # 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.2=mps -com.mbeddr:platform:2022.2.24226.5efe184=languageLibs +com.mbeddr:platform:2022.2.24468.27ff94f=languageLibs junit:junit:4.12=antLib org.apache.ant:ant-junit:1.10.6=antLib org.apache.ant:ant-launcher:1.10.6=antLib org.apache.ant:ant:1.10.6=antLib org.hamcrest:hamcrest-core:1.3=antLib -org.mpsqa:all-in-one:2022.2.280.2af29a4=languageLibs +org.mpsqa:all-in-one:2022.2.388.b42aa19=languageLibs empty=