diff --git a/languages/jetbrains.mps.jchr/runtime/jetbrains.mps.jchr.runtime.msd b/languages/jetbrains.mps.jchr/runtime/jetbrains.mps.jchr.runtime.msd index 7af1e9d6..5f0fae94 100644 --- a/languages/jetbrains.mps.jchr/runtime/jetbrains.mps.jchr.runtime.msd +++ b/languages/jetbrains.mps.jchr/runtime/jetbrains.mps.jchr.runtime.msd @@ -20,6 +20,7 @@ df345b11-b8c7-4213-ac66-48d2a9b75d88(jetbrains.mps.baseLanguageInternal) f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage) + f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc) fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose) diff --git a/languages/jetbrains.mps.jchr/runtime/models/compiler/codeGeneration.mps b/languages/jetbrains.mps.jchr/runtime/models/compiler/codeGeneration.mps new file mode 100644 index 00000000..91e9cf7c --- /dev/null +++ b/languages/jetbrains.mps.jchr/runtime/models/compiler/codeGeneration.mps @@ -0,0 +1,298 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.jchr/runtime/models/jetbrains/mps/jchr/patch.mps b/languages/jetbrains.mps.jchr/runtime/models/jetbrains/mps/jchr/patch.mps index a5f4722e..efe76618 100644 --- a/languages/jetbrains.mps.jchr/runtime/models/jetbrains/mps/jchr/patch.mps +++ b/languages/jetbrains.mps.jchr/runtime/models/jetbrains/mps/jchr/patch.mps @@ -23,6 +23,7 @@ + @@ -217,6 +218,9 @@ + + + @@ -686,22 +690,52 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + - - - - + + + + - + @@ -881,7 +915,7 @@ - + @@ -925,7 +959,7 @@ - + @@ -1025,7 +1059,7 @@ - + diff --git a/languages/jetbrains.mps.jchr/runtime/models/runtime/history.mps b/languages/jetbrains.mps.jchr/runtime/models/runtime/history.mps new file mode 100644 index 00000000..059f7964 --- /dev/null +++ b/languages/jetbrains.mps.jchr/runtime/models/runtime/history.mps @@ -0,0 +1,793 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/jetbrains.mps.lang.typesystem2.samplechecker.handler.msd b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/jetbrains.mps.lang.typesystem2.samplechecker.handler.msd index 6f137453..b765b06b 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/jetbrains.mps.lang.typesystem2.samplechecker.handler.msd +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/jetbrains.mps.lang.typesystem2.samplechecker.handler.msd @@ -5,12 +5,15 @@ + + + a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime) - b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime) 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 7526e0cf-1ce7-46f8-a555-9eca1e06c23b(jetbrains.mps.unification.tree) + b984ee52-f34d-4b6d-8812-866c1d3eae31(jetbrains.mps.jchr.runtime) 894463aa-8754-49c0-bf4b-6a32af66b376(jetbrains.mps.jchr) diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps index 463f432b..f2a51497 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps @@ -120,511 +120,511 @@ - + - - + + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - - + + - - + + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - - + + - + - + - + - + - + - - - - + + + + - + - - - - + + + + - + - - + + - + - - - - + + + + - + - - - + + + - + - - + + - + - - - - + + + + - + - + - - - - + + + + - + - - - + + + - + - - + + - + - - - - + + + + - + - + - - - - + + + + - + - - - + + + - + - - + + - + - - - - + + + + - + - + - - - - + + + + - + - - - + + + - + - - + + - + - - - - + + + + - - - + + + - + - + - + - - + + - + - + - - + + - + - + - - - + + + - - - + + + - + - + - + - - + + - + - + - - + + - + - + - - - - - + + + + + - + - + - + - - + + - + - + - - + + @@ -632,31 +632,31 @@ - - - + + + - + - + - + - - + + - + - + - - + + @@ -664,98 +664,98 @@ - + - + - + - - - - + + + + - + - - - - + + + + - + - - - - + + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -763,33 +763,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -798,28 +798,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -827,176 +827,176 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + @@ -1005,266 +1005,266 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -1273,53 +1273,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -1327,33 +1327,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -1362,28 +1362,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -1391,26 +1391,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -1419,266 +1419,266 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -1687,53 +1687,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -1741,33 +1741,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -1776,28 +1776,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -1805,272 +1805,272 @@ - - + + - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -2079,84 +2079,84 @@ - - - - - - - - + + + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -2165,106 +2165,106 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -2272,47 +2272,47 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -2323,28 +2323,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -2352,101 +2352,101 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -2455,94 +2455,94 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -2551,37 +2551,37 @@ - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -2590,106 +2590,106 @@ - - - + + + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -2698,117 +2698,117 @@ - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -2816,33 +2816,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -2851,28 +2851,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -2880,272 +2880,272 @@ - - + + - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -3154,84 +3154,84 @@ - - - - - - - - + + + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -3240,106 +3240,106 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -3347,47 +3347,47 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -3398,28 +3398,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -3427,51 +3427,51 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -3480,94 +3480,94 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -3576,37 +3576,37 @@ - - - + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -3615,106 +3615,106 @@ - - - + + + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + @@ -3723,117 +3723,117 @@ - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -3841,33 +3841,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -3876,28 +3876,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -3905,51 +3905,51 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + @@ -3958,266 +3958,266 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4226,53 +4226,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4280,33 +4280,33 @@ - - - - + + + + - - - + + + - + - + - + - + - + - + @@ -4315,28 +4315,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -4344,26 +4344,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -4372,266 +4372,266 @@ - + - - - - + + + + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - + - + - - - - - - + + + + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4640,28 +4640,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -4669,20 +4669,20 @@ - - - - - - + + + + + + - + - + - + @@ -4691,53 +4691,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4745,26 +4745,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -4772,38 +4772,38 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + @@ -4812,28 +4812,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -4841,20 +4841,20 @@ - - - - - - + + + + + + - + - + - + @@ -4863,53 +4863,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -4917,124 +4917,124 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5042,40 +5042,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -5083,95 +5083,95 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5180,28 +5180,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -5209,145 +5209,145 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5356,28 +5356,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -5385,170 +5385,170 @@ - - - - - - + + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - + - + - - - - - + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5557,22 +5557,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -5580,20 +5580,20 @@ - - - - - - + + + + + + - + - + - + @@ -5602,22 +5602,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -5625,20 +5625,20 @@ - - - - - - + + + + + + - + - + - + @@ -5647,53 +5647,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -5701,26 +5701,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -5728,185 +5728,185 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -5915,22 +5915,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -5938,20 +5938,20 @@ - - - - - - + + + + + + - + - + - + @@ -5960,53 +5960,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6014,124 +6014,124 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6139,26 +6139,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -6166,91 +6166,91 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -6259,22 +6259,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -6282,20 +6282,20 @@ - - - - - - + + + + + + - + - + - + @@ -6304,53 +6304,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6358,124 +6358,124 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6483,93 +6483,93 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - - - + + + + + + - + - + - + @@ -6577,115 +6577,115 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + - - - - - + + + + + - + - + - + - - - - - + + + + + - + - + - + - - - - - + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -6694,53 +6694,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6748,124 +6748,124 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6873,124 +6873,124 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -6998,26 +6998,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7025,38 +7025,38 @@ - - - - + + + + - + - - - + + + - - - + + + - + - + - + - + - + @@ -7065,28 +7065,28 @@ - + - - - - - - + + + + + + - + - + - + - + - + @@ -7094,132 +7094,132 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -7228,22 +7228,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7251,20 +7251,20 @@ - - - - - - + + + + + + - + - + - + @@ -7273,22 +7273,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7296,20 +7296,20 @@ - - - - - - + + + + + + - + - + - + @@ -7318,22 +7318,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7341,20 +7341,20 @@ - - - - - - + + + + + + - + - + - + @@ -7363,22 +7363,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7386,20 +7386,20 @@ - - - - - - + + + + + + - + - + - + @@ -7408,22 +7408,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7431,26 +7431,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7459,22 +7459,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7482,26 +7482,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7510,22 +7510,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7533,26 +7533,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7561,22 +7561,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7584,26 +7584,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7612,22 +7612,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7635,26 +7635,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7663,22 +7663,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7686,26 +7686,26 @@ - - - - - - + + + + + + - + - + - + - + - + @@ -7714,22 +7714,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7737,51 +7737,51 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -7790,22 +7790,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -7813,30 +7813,30 @@ - - - - - - + + + + + + - + - - - + + + - + - + - + @@ -7845,128 +7845,128 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - - - + + + + + + - + - + - + @@ -7974,30 +7974,30 @@ - - - - - - + + + + + + - + - - - + + + - + - + - + @@ -8006,22 +8006,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -8029,30 +8029,30 @@ - - - - - - + + + + + + - + - - - + + + - + - + - + @@ -8061,159 +8061,159 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -8221,40 +8221,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -8262,98 +8262,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8362,53 +8362,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -8416,40 +8416,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -8457,98 +8457,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8557,53 +8557,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -8611,40 +8611,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -8652,98 +8652,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8752,53 +8752,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -8806,40 +8806,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -8847,98 +8847,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -8947,53 +8947,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -9001,40 +9001,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -9042,98 +9042,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -9142,53 +9142,53 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -9196,40 +9196,40 @@ - - - - + + + + - + - + - - - - - - + + + + + + - + - + - + - + - + @@ -9237,98 +9237,98 @@ - - - - - - + + + + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + @@ -9337,128 +9337,128 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + - + - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - + - + - - - - - - + + + + + + - + - + - + @@ -9466,39 +9466,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9507,22 +9507,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9530,20 +9530,20 @@ - - - - - - + + + + + + - + - + - + @@ -9552,22 +9552,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9575,39 +9575,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9616,22 +9616,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9639,39 +9639,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9680,22 +9680,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9703,39 +9703,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9744,22 +9744,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9767,39 +9767,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9808,22 +9808,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -9831,39 +9831,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -9872,25 +9872,25 @@ - + - - - - + + + + - - - + + + - + - + - + @@ -9898,138 +9898,138 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + @@ -10038,22 +10038,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -10061,20 +10061,20 @@ - - - - - - + + + + + + - + - + - + @@ -10083,31 +10083,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -10115,20 +10115,20 @@ - - - - - - + + + + + + - + - + - + @@ -10136,23 +10136,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -10161,147 +10161,147 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -10309,312 +10309,312 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -10623,22 +10623,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -10646,20 +10646,20 @@ - - - - - - + + + + + + - + - + - + @@ -10668,31 +10668,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -10700,20 +10700,20 @@ - - - - - - + + + + + + - + - + - + @@ -10721,23 +10721,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -10746,147 +10746,147 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -10894,312 +10894,312 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -11208,22 +11208,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -11231,20 +11231,20 @@ - - - - - - + + + + + + - + - + - + @@ -11253,31 +11253,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -11285,20 +11285,20 @@ - - - - - - + + + + + + - + - + - + @@ -11306,23 +11306,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -11331,147 +11331,147 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -11479,218 +11479,218 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -11699,22 +11699,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -11722,20 +11722,20 @@ - - - - - - + + + + + + - + - + - + @@ -11744,31 +11744,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -11776,20 +11776,20 @@ - - - - - - + + + + + + - + - + - + @@ -11797,23 +11797,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -11822,147 +11822,147 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -11970,218 +11970,218 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + @@ -12190,22 +12190,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -12213,20 +12213,20 @@ - - - - - - + + + + + + - + - + - + @@ -12235,31 +12235,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -12267,20 +12267,20 @@ - - - - - - + + + + + + - + - + - + @@ -12288,23 +12288,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -12313,31 +12313,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -12345,20 +12345,20 @@ - - - - - - + + + + + + - + - + - + @@ -12366,23 +12366,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -12391,22 +12391,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -12414,39 +12414,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -12455,31 +12455,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -12487,20 +12487,20 @@ - - - - - - + + + + + + - + - + - + @@ -12508,23 +12508,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -12533,22 +12533,22 @@ - + - - - - - - + + + + + + - + - + - + @@ -12556,39 +12556,39 @@ - - - - - - + + + + + + - + - + - + - - - - - + + + + + - + - + - + @@ -12597,31 +12597,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -12629,20 +12629,20 @@ - - - - - - + + + + + + - + - + - + @@ -12650,23 +12650,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -12675,75 +12675,75 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -12751,150 +12751,150 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - - + + - + - + - + - + - + - + - - - + + + @@ -12905,22 +12905,22 @@ - - - + + + - - - + + + - + - + - + @@ -12929,31 +12929,31 @@ - + - - - - + + + + - - - + + + - + - + - + - + - + @@ -12961,20 +12961,20 @@ - - - - - - + + + + + + - + - + - + @@ -12982,23 +12982,23 @@ - - - - + + + + - - - + + + - + - + - + @@ -13007,75 +13007,75 @@ - + - - - - + + + + - - - + + + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + @@ -13083,150 +13083,150 @@ - - - - + + + + - - - + + + - + - + - + - + - + - - - + + + - + - + - + - + - + - + - - - + + + - + - - - + + + - - - + + + - + - + - + - + - + - - - + + + - - - + + + - + - + - + - + - + - + - - + + - + - + - + - + - + - + - - - + + + @@ -13237,22 +13237,22 @@ - - - + + + - - - + + + - + - + - + diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/jetbrains.mps.lang.typesystem2.samplechecker.runner.msd b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/jetbrains.mps.lang.typesystem2.samplechecker.runner.msd index eff59500..2a0cf33c 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/jetbrains.mps.lang.typesystem2.samplechecker.runner.msd +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/jetbrains.mps.lang.typesystem2.samplechecker.runner.msd @@ -5,9 +5,6 @@ - - - b6db9382-d342-43fd-8051-5b6af3c0c80a(jetbrains.mps.lang.typesystem2.samplechecker.handler) diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps index ab0dd67d..082ae445 100644 --- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps +++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps @@ -262,11 +262,11 @@ - + - + @@ -316,7 +316,7 @@ - + @@ -331,7 +331,7 @@ - + @@ -945,7 +945,7 @@ - + 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 0405219c..39f1ac5b 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 @@ -1412,7 +1412,7 @@ - + @@ -1434,70 +1434,88 @@ - - - - - - - - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1715,7 +1733,7 @@ - + @@ -1855,7 +1873,7 @@ - + @@ -2001,6 +2019,11 @@ + + + + + @@ -2023,14 +2046,6 @@ - - - - - - - - @@ -2047,19 +2062,11 @@ - - - - - - - - - - + + + - @@ -2117,6 +2124,22 @@ + + + + + + + + + + + + + + + + @@ -2144,7 +2167,7 @@ - +