diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps index a508f399..757a38c6 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps @@ -5425,7 +5425,115 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5892,6 +6000,14 @@ + + + + + + + + @@ -7138,6 +7254,14 @@ + + + + + + + + @@ -7159,6 +7283,9 @@ + + + @@ -7629,6 +7756,14 @@ + + + + + + + + diff --git a/languages/jetbrains.mps.logic/reactor/jetbrains.mps.logic.reactor.msd b/languages/jetbrains.mps.logic/reactor/jetbrains.mps.logic.reactor.msd index 00b70ae0..a108bc70 100644 --- a/languages/jetbrains.mps.logic/reactor/jetbrains.mps.logic.reactor.msd +++ b/languages/jetbrains.mps.logic/reactor/jetbrains.mps.logic.reactor.msd @@ -9,6 +9,7 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) @@ -22,7 +23,11 @@ + + + + diff --git a/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/constraint.mps b/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/constraint.mps index c4a754ab..0b109e9a 100644 --- a/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/constraint.mps +++ b/languages/jetbrains.mps.logic/reactor/models/jetbrains/mps/logic/reactor/constraint.mps @@ -8,6 +8,7 @@ + @@ -56,6 +57,9 @@ + + + @@ -400,6 +404,10 @@ + + + + @@ -423,6 +431,22 @@ + + + + + + + + + + + + + + + + @@ -492,6 +516,22 @@ + + + + + + + + + + + + + + + + @@ -1555,6 +1595,50 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps index aed76ae2..25238a27 100644 --- a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps +++ b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps @@ -1276,6 +1276,48 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +