From 414a60fffc3cfd2a0965bbb0ceeba95349b65de0 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 31 Aug 2016 16:23:19 +0200 Subject: [PATCH] Moving the reactor API to the separate project. Switch to java_stub models for the reactor api. --- build.xml | 12 + .../generator/template/main@generator.mps | 6 +- .../lang/typesystem2/samplechecker/runner.mps | 102 +- .../typesystem2/sampleplugin/jchr/plugin.mps | 196 +- .../jetbrains/mps/logic/jchr/predicate.mps | 200 +- .../jetbrains/mps/logic/jchr/program.mps | 128 +- .../generator/template/main@generator.mps | 28 +- .../jetbrains.mps.logic.mpl | 2 - .../languageModels/intentions.mps | 163 +- .../languageModels/typesystem.mps | 14 +- .../models/jetbrains/mps/logic/builtin.mps | 110 +- .../jetbrains/mps/logic/builtin/predicate.mps | 132 +- .../jetbrains/mps/logic/builtin/program.mps | 200 +- .../jetbrains/mps/logic/builtin/solver.mps | 438 ++-- .../mps/logic/builtin/unification.mps | 50 +- .../jetbrains.mps.logic.reactor.msd | 4 +- .../mps/logic/reactor/evaluation.mps | 2040 ----------------- .../jetbrains/mps/logic/reactor/logical.mps | 1138 --------- .../jetbrains/mps/logic/reactor/program.mps | 1348 ----------- .../mps/logic/test/logical@tests.mps | 60 +- .../jetbrains/mps/logic/test/unification.mps | 70 +- .../mps/logic/test/unification@tests.mps | 330 +-- test.xml | 17 + .../models/types.mps | 10 +- .../lang/typesystem2/samplechecker/build.mps | 54 +- .../samplechecker/handle/test/util@tests.mps | 106 +- .../typesystem2/samplechecker/handle/util.mps | 62 +- .../lang/typesystem2/sampleplugin/plugin.mps | 736 +++--- .../generator/template/main@generator.mps | 86 +- .../jetbrains.mps.lang.typesystem2.mpl | 3 - .../languageModels/behavior.mps | 2 +- .../languageModels/intentions.mps | 148 +- .../mps/lang/typesystem2/generation.mps | 10 +- .../mps/lang/typesystem2/program.mps | 168 +- .../mps/lang/typesystem2/template.mps | 12 +- 35 files changed, 1849 insertions(+), 6336 deletions(-) delete mode 100644 logic/solutions/jetbrains.mps.logic.reactor/models/jetbrains/mps/logic/reactor/evaluation.mps delete mode 100644 logic/solutions/jetbrains.mps.logic.reactor/models/jetbrains/mps/logic/reactor/logical.mps delete mode 100644 logic/solutions/jetbrains.mps.logic.reactor/models/jetbrains/mps/logic/reactor/program.mps diff --git a/build.xml b/build.xml index cef46e0a..4e2746a8 100644 --- a/build.xml +++ b/build.xml @@ -368,6 +368,7 @@ + @@ -556,6 +557,7 @@ + @@ -610,6 +612,7 @@ + @@ -657,6 +660,7 @@ + @@ -695,6 +699,7 @@ + @@ -744,6 +749,7 @@ + @@ -811,6 +817,7 @@ + @@ -865,6 +872,7 @@ + @@ -917,6 +925,7 @@ + @@ -967,6 +976,7 @@ + @@ -1026,6 +1036,7 @@ + @@ -1074,6 +1085,7 @@ + diff --git a/jchr/languages/jetbrains.mps.logic_jchr/generator/template/main@generator.mps b/jchr/languages/jetbrains.mps.logic_jchr/generator/template/main@generator.mps index 90dae224..bc6890e0 100644 --- a/jchr/languages/jetbrains.mps.logic_jchr/generator/template/main@generator.mps +++ b/jchr/languages/jetbrains.mps.logic_jchr/generator/template/main@generator.mps @@ -23,7 +23,7 @@ - + @@ -674,7 +674,7 @@ - + @@ -689,7 +689,7 @@ - + diff --git a/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps b/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps index 70a230f3..d7ee2ec0 100644 --- a/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps +++ b/jchr/solutions/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps @@ -15,9 +15,9 @@ - - - + + + @@ -259,7 +259,7 @@ - + @@ -285,23 +285,23 @@ - - + + - - + + - - + + - - + + - + @@ -472,7 +472,7 @@ - + @@ -495,14 +495,14 @@ - + - - + + @@ -513,7 +513,7 @@ - + @@ -523,14 +523,14 @@ - + - + @@ -561,7 +561,7 @@ - + @@ -569,7 +569,7 @@ - + @@ -738,7 +738,7 @@ - + @@ -769,11 +769,11 @@ - + - + @@ -799,7 +799,7 @@ - + @@ -881,8 +881,8 @@ - - + + @@ -890,7 +890,7 @@ - + @@ -904,8 +904,8 @@ - - + + @@ -913,11 +913,11 @@ - + - + @@ -927,8 +927,8 @@ - - + + @@ -1328,7 +1328,7 @@ - + @@ -1336,7 +1336,7 @@ - + @@ -1344,11 +1344,11 @@ - + - + @@ -1371,7 +1371,7 @@ - + @@ -1393,7 +1393,7 @@ - + @@ -1436,7 +1436,7 @@ - + @@ -1460,7 +1460,7 @@ - + @@ -1485,7 +1485,7 @@ - + @@ -1501,7 +1501,7 @@ - + @@ -1517,7 +1517,7 @@ - + @@ -1540,7 +1540,7 @@ - + @@ -1556,7 +1556,7 @@ - + @@ -1572,13 +1572,13 @@ - + - + @@ -1586,7 +1586,7 @@ - + diff --git a/jchr/solutions/jetbrains.mps.lang.typesystem2.sampleplugin.jchr/models/jetbrains/mps/lang/typesystem2/sampleplugin/jchr/plugin.mps b/jchr/solutions/jetbrains.mps.lang.typesystem2.sampleplugin.jchr/models/jetbrains/mps/lang/typesystem2/sampleplugin/jchr/plugin.mps index 6ebcb839..9b9c6e6f 100644 --- a/jchr/solutions/jetbrains.mps.lang.typesystem2.sampleplugin.jchr/models/jetbrains/mps/lang/typesystem2/sampleplugin/jchr/plugin.mps +++ b/jchr/solutions/jetbrains.mps.lang.typesystem2.sampleplugin.jchr/models/jetbrains/mps/lang/typesystem2/sampleplugin/jchr/plugin.mps @@ -22,14 +22,14 @@ - - + + - + @@ -2512,13 +2512,13 @@ - + - + @@ -2843,7 +2843,7 @@ - + @@ -2976,7 +2976,7 @@ - + @@ -3013,8 +3013,8 @@ - - + + @@ -3024,8 +3024,8 @@ - - + + @@ -3043,8 +3043,8 @@ - - + + @@ -3053,7 +3053,7 @@ - + @@ -3262,7 +3262,7 @@ - + @@ -3400,7 +3400,7 @@ - + @@ -3637,7 +3637,7 @@ - + @@ -3686,8 +3686,8 @@ - - + + @@ -3695,7 +3695,7 @@ - + @@ -3704,8 +3704,8 @@ - - + + @@ -3713,7 +3713,7 @@ - + @@ -3923,7 +3923,7 @@ - + @@ -3931,7 +3931,7 @@ - + @@ -3943,7 +3943,7 @@ - + @@ -3997,8 +3997,8 @@ - - + + @@ -4022,8 +4022,8 @@ - - + + @@ -4032,7 +4032,7 @@ - + @@ -4057,7 +4057,7 @@ - + @@ -4105,7 +4105,7 @@ - + @@ -4113,7 +4113,7 @@ - + @@ -4121,7 +4121,7 @@ - + @@ -4151,7 +4151,7 @@ - + @@ -4193,7 +4193,7 @@ - + @@ -4275,8 +4275,8 @@ - - + + @@ -4284,7 +4284,7 @@ - + @@ -4319,8 +4319,8 @@ - - + + @@ -4328,7 +4328,7 @@ - + @@ -4356,7 +4356,7 @@ - + @@ -4398,7 +4398,7 @@ - + @@ -4461,8 +4461,8 @@ - - + + @@ -4470,7 +4470,7 @@ - + @@ -4498,7 +4498,7 @@ - + @@ -4540,7 +4540,7 @@ - + @@ -4603,8 +4603,8 @@ - - + + @@ -4612,7 +4612,7 @@ - + @@ -4641,8 +4641,8 @@ - - + + @@ -4688,7 +4688,7 @@ - + @@ -4730,7 +4730,7 @@ - + @@ -4745,8 +4745,8 @@ - - + + @@ -4805,7 +4805,7 @@ - + @@ -4850,7 +4850,7 @@ - + @@ -4872,7 +4872,7 @@ - + @@ -4911,7 +4911,7 @@ - + @@ -4991,7 +4991,7 @@ - + @@ -5084,11 +5084,11 @@ - + - + @@ -5172,7 +5172,7 @@ - + @@ -5182,7 +5182,7 @@ - + @@ -5265,14 +5265,14 @@ - + - + @@ -5314,13 +5314,13 @@ - + - + @@ -5591,7 +5591,7 @@ - + @@ -5634,7 +5634,7 @@ - + @@ -5668,7 +5668,7 @@ - + @@ -5676,7 +5676,7 @@ - + @@ -5692,7 +5692,7 @@ - + @@ -5736,7 +5736,7 @@ - + @@ -5832,7 +5832,7 @@ - + @@ -5896,14 +5896,14 @@ - + - + @@ -5920,7 +5920,7 @@ - + @@ -5929,7 +5929,7 @@ - + @@ -5945,8 +5945,8 @@ - - + + @@ -5959,8 +5959,8 @@ - - + + @@ -5983,7 +5983,7 @@ - + @@ -6676,8 +6676,8 @@ - - + + @@ -7309,12 +7309,12 @@ - - + + - + @@ -7343,12 +7343,12 @@ - + - + @@ -7362,7 +7362,7 @@ - + @@ -7382,7 +7382,7 @@ - + @@ -7416,7 +7416,7 @@ - + diff --git a/jchr/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/predicate.mps b/jchr/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/predicate.mps index 75169ed3..a526a1fb 100644 --- a/jchr/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/predicate.mps +++ b/jchr/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/predicate.mps @@ -10,11 +10,11 @@ - + - + - + @@ -300,7 +300,7 @@ - + @@ -351,7 +351,7 @@ - + @@ -405,7 +405,7 @@ - + @@ -690,7 +690,7 @@ - + @@ -976,13 +976,13 @@ - + - + @@ -1263,7 +1263,7 @@ - + @@ -1272,7 +1272,7 @@ - + @@ -1320,7 +1320,7 @@ - + @@ -1604,7 +1604,7 @@ - + @@ -1632,7 +1632,7 @@ - + @@ -1709,7 +1709,7 @@ - + @@ -1936,13 +1936,13 @@ - + - + @@ -1980,7 +1980,7 @@ - + @@ -2301,7 +2301,7 @@ - + @@ -2537,7 +2537,7 @@ - + @@ -2622,7 +2622,7 @@ - + @@ -2661,7 +2661,7 @@ - + @@ -2734,7 +2734,7 @@ - + @@ -2752,13 +2752,13 @@ - + - + @@ -2771,10 +2771,10 @@ - + - + @@ -2800,7 +2800,7 @@ - + @@ -2813,7 +2813,7 @@ - + @@ -2824,10 +2824,10 @@ - + - + @@ -2852,7 +2852,7 @@ - + @@ -2863,10 +2863,10 @@ - + - + @@ -2891,7 +2891,7 @@ - + @@ -2902,10 +2902,10 @@ - + - + @@ -2929,7 +2929,7 @@ - + @@ -2940,10 +2940,10 @@ - + - + @@ -2987,10 +2987,10 @@ - + - + @@ -3011,7 +3011,7 @@ - + @@ -3047,14 +3047,14 @@ - + - + @@ -3076,7 +3076,7 @@ - + @@ -3089,7 +3089,7 @@ - + @@ -3111,7 +3111,7 @@ - + @@ -3133,7 +3133,7 @@ - + @@ -3155,7 +3155,7 @@ - + @@ -3173,7 +3173,7 @@ - + @@ -3220,7 +3220,7 @@ - + @@ -3238,7 +3238,7 @@ - + @@ -3276,8 +3276,8 @@ - - + + @@ -3310,8 +3310,8 @@ - - + + @@ -3350,8 +3350,8 @@ - - + + @@ -3393,8 +3393,8 @@ - - + + @@ -3442,8 +3442,8 @@ - - + + @@ -3494,8 +3494,8 @@ - - + + @@ -3552,8 +3552,8 @@ - - + + @@ -3613,8 +3613,8 @@ - - + + @@ -3955,10 +3955,10 @@ - + - + @@ -3978,7 +3978,7 @@ - + @@ -4064,7 +4064,7 @@ - + @@ -4114,7 +4114,7 @@ - + @@ -4167,7 +4167,7 @@ - + @@ -4178,7 +4178,7 @@ - + @@ -4276,7 +4276,7 @@ - + @@ -4326,7 +4326,7 @@ - + @@ -4379,7 +4379,7 @@ - + @@ -4390,7 +4390,7 @@ - + @@ -4424,13 +4424,13 @@ - + - + @@ -4838,7 +4838,7 @@ - + @@ -4882,7 +4882,7 @@ - + @@ -4951,7 +4951,7 @@ - + @@ -5022,7 +5022,7 @@ - + @@ -5073,7 +5073,7 @@ - + @@ -5153,7 +5153,7 @@ - + @@ -5175,16 +5175,16 @@ - + - + - + @@ -5209,7 +5209,7 @@ - + @@ -5221,7 +5221,7 @@ - + @@ -5368,7 +5368,7 @@ - + @@ -5425,7 +5425,7 @@ - + @@ -5471,7 +5471,7 @@ - + @@ -5492,7 +5492,7 @@ - + @@ -5517,7 +5517,7 @@ - + @@ -5576,7 +5576,7 @@ - + @@ -5628,7 +5628,7 @@ - + diff --git a/jchr/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/program.mps b/jchr/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/program.mps index 155f3abe..e618a619 100644 --- a/jchr/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/program.mps +++ b/jchr/solutions/jetbrains.mps.logic.jchr/models/jetbrains/mps/logic/jchr/program.mps @@ -9,15 +9,15 @@ - + - + - + @@ -263,8 +263,8 @@ - - + + @@ -280,8 +280,8 @@ - - + + @@ -301,7 +301,7 @@ - + @@ -315,7 +315,7 @@ - + @@ -385,7 +385,7 @@ - + @@ -456,7 +456,7 @@ - + @@ -477,7 +477,7 @@ - + @@ -488,14 +488,14 @@ - + - + @@ -512,7 +512,7 @@ - + @@ -562,7 +562,7 @@ - + @@ -573,14 +573,14 @@ - + - + @@ -633,13 +633,13 @@ - + - + @@ -650,14 +650,14 @@ - + - + @@ -691,7 +691,7 @@ - + @@ -754,7 +754,7 @@ - + @@ -765,11 +765,11 @@ - + - + @@ -777,7 +777,7 @@ - + @@ -886,12 +886,12 @@ - + - + @@ -922,11 +922,11 @@ - + - + @@ -965,7 +965,7 @@ - + @@ -1083,7 +1083,7 @@ - + @@ -1113,7 +1113,7 @@ - + @@ -1121,12 +1121,12 @@ - + - + @@ -1135,7 +1135,7 @@ - + @@ -1144,14 +1144,14 @@ - + - + @@ -1161,7 +1161,7 @@ - + @@ -1169,7 +1169,7 @@ - + @@ -1215,11 +1215,11 @@ - + - + @@ -1242,7 +1242,7 @@ - + @@ -1295,7 +1295,7 @@ - + @@ -1346,13 +1346,13 @@ - + - + @@ -1433,13 +1433,13 @@ - + - + @@ -1653,10 +1653,10 @@ - + - + @@ -1903,14 +1903,14 @@ - + - + @@ -2007,7 +2007,7 @@ - + @@ -2034,7 +2034,7 @@ - + @@ -2058,7 +2058,7 @@ - + @@ -2082,11 +2082,11 @@ - + - + @@ -2132,7 +2132,7 @@ - + @@ -2157,7 +2157,7 @@ - + @@ -2175,13 +2175,13 @@ - + - - + + @@ -2215,7 +2215,7 @@ - + diff --git a/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps b/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps index 939813a8..996478a9 100644 --- a/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps +++ b/logic/languages/jetbrains.mps.logic/generator/template/main@generator.mps @@ -15,7 +15,7 @@ - + @@ -328,7 +328,7 @@ - + @@ -343,7 +343,7 @@ - + @@ -907,7 +907,7 @@ - + @@ -938,7 +938,7 @@ - + @@ -979,7 +979,7 @@ - + @@ -1028,7 +1028,7 @@ - + @@ -1051,7 +1051,7 @@ - + @@ -1095,7 +1095,7 @@ - + @@ -1136,7 +1136,7 @@ - + @@ -1152,7 +1152,7 @@ - + @@ -1281,7 +1281,7 @@ - + @@ -1343,7 +1343,7 @@ - + @@ -1392,7 +1392,7 @@ - + diff --git a/logic/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl b/logic/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl index dfd27141..2d300610 100644 --- a/logic/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl +++ b/logic/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl @@ -52,7 +52,6 @@ - @@ -135,7 +134,6 @@ - diff --git a/logic/languages/jetbrains.mps.logic/languageModels/intentions.mps b/logic/languages/jetbrains.mps.logic/languageModels/intentions.mps index 13b2afc5..1671cc52 100644 --- a/logic/languages/jetbrains.mps.logic/languageModels/intentions.mps +++ b/logic/languages/jetbrains.mps.logic/languageModels/intentions.mps @@ -14,23 +14,15 @@ - - - - - - - - @@ -50,7 +42,6 @@ - @@ -84,13 +75,6 @@ - - - - - - - @@ -134,10 +118,6 @@ - - - - @@ -148,10 +128,6 @@ - - - - @@ -159,9 +135,6 @@ - - - @@ -173,23 +146,11 @@ - - - - - - - - - + - - - - @@ -459,127 +420,5 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps b/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps index 866cfc0e..aad5bbf5 100644 --- a/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps +++ b/logic/languages/jetbrains.mps.logic/languageModels/typesystem.mps @@ -9,7 +9,7 @@ - + @@ -212,8 +212,8 @@ - - + + @@ -253,7 +253,7 @@ - + @@ -437,7 +437,7 @@ - + @@ -608,8 +608,8 @@ - - + + diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps index 92ed15e1..f4f20457 100644 --- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps +++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin.mps @@ -10,9 +10,9 @@ - - - + + + @@ -245,7 +245,7 @@ - + @@ -271,7 +271,7 @@ - + @@ -301,7 +301,7 @@ - + @@ -327,7 +327,7 @@ - + @@ -353,7 +353,7 @@ - + @@ -380,7 +380,7 @@ - + @@ -450,7 +450,7 @@ - + @@ -486,7 +486,7 @@ - + @@ -556,7 +556,7 @@ - + @@ -612,7 +612,7 @@ - + @@ -630,7 +630,7 @@ - + @@ -654,7 +654,7 @@ - + @@ -668,7 +668,7 @@ - + @@ -704,7 +704,7 @@ - + @@ -717,7 +717,7 @@ - + @@ -730,7 +730,7 @@ - + @@ -743,7 +743,7 @@ - + @@ -756,7 +756,7 @@ - + @@ -769,7 +769,7 @@ - + @@ -782,7 +782,7 @@ - + @@ -795,7 +795,7 @@ - + @@ -808,7 +808,7 @@ - + @@ -821,7 +821,7 @@ - + @@ -838,7 +838,7 @@ - + @@ -851,7 +851,7 @@ - + @@ -876,7 +876,7 @@ - + @@ -889,7 +889,7 @@ - + @@ -917,7 +917,7 @@ - + @@ -931,7 +931,7 @@ - + @@ -954,7 +954,7 @@ - + @@ -973,7 +973,7 @@ - + @@ -992,13 +992,13 @@ - + - + @@ -1074,7 +1074,7 @@ - + @@ -1087,7 +1087,7 @@ - + @@ -1100,7 +1100,7 @@ - + @@ -1115,7 +1115,7 @@ - + @@ -1202,7 +1202,7 @@ - + @@ -1296,12 +1296,12 @@ - + - + @@ -1311,7 +1311,7 @@ - + @@ -1397,7 +1397,7 @@ - + @@ -1434,7 +1434,7 @@ - + @@ -1446,14 +1446,14 @@ - + - + @@ -1477,7 +1477,7 @@ - + @@ -1556,7 +1556,7 @@ - + @@ -1599,13 +1599,13 @@ - + - + @@ -1624,7 +1624,7 @@ - + @@ -1649,7 +1649,7 @@ - + @@ -1670,7 +1670,7 @@ - + diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/predicate.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/predicate.mps index 9700a836..42484edd 100644 --- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/predicate.mps +++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/predicate.mps @@ -6,12 +6,12 @@ - + - + - + @@ -278,7 +278,7 @@ - + @@ -314,7 +314,7 @@ - + @@ -415,7 +415,7 @@ - + @@ -425,7 +425,7 @@ - + @@ -434,7 +434,7 @@ - + @@ -444,7 +444,7 @@ - + @@ -504,7 +504,7 @@ - + @@ -512,7 +512,7 @@ - + @@ -536,7 +536,7 @@ - + @@ -597,7 +597,7 @@ - + @@ -626,11 +626,11 @@ - + - + @@ -667,7 +667,7 @@ - + @@ -697,11 +697,11 @@ - + - + @@ -757,7 +757,7 @@ - + @@ -787,11 +787,11 @@ - + - + @@ -810,7 +810,7 @@ - + @@ -818,7 +818,7 @@ - + @@ -903,7 +903,7 @@ - + @@ -928,11 +928,11 @@ - + - + @@ -948,11 +948,11 @@ - + - + @@ -1035,13 +1035,13 @@ - + - + @@ -1084,7 +1084,7 @@ - + @@ -1100,7 +1100,7 @@ - + @@ -1115,7 +1115,7 @@ - + @@ -1171,7 +1171,7 @@ - + @@ -1196,13 +1196,13 @@ - + - + @@ -1212,10 +1212,10 @@ - + - + @@ -1246,7 +1246,7 @@ - + @@ -1259,7 +1259,7 @@ - + @@ -1270,10 +1270,10 @@ - + - + @@ -1298,7 +1298,7 @@ - + @@ -1309,10 +1309,10 @@ - + - + @@ -1337,7 +1337,7 @@ - + @@ -1348,10 +1348,10 @@ - + - + @@ -1375,7 +1375,7 @@ - + @@ -1386,10 +1386,10 @@ - + - + @@ -1420,10 +1420,10 @@ - + - + @@ -1454,10 +1454,10 @@ - + - + @@ -1478,7 +1478,7 @@ - + @@ -1522,14 +1522,14 @@ - + - + @@ -1548,7 +1548,7 @@ - + @@ -1561,7 +1561,7 @@ - + @@ -1583,7 +1583,7 @@ - + @@ -1605,7 +1605,7 @@ - + @@ -1627,7 +1627,7 @@ - + @@ -1645,7 +1645,7 @@ - + @@ -1688,13 +1688,13 @@ - + - + diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/program.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/program.mps index ead17087..26492f9b 100644 --- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/program.mps +++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/program.mps @@ -6,13 +6,13 @@ - + - - + + @@ -265,7 +265,7 @@ - + @@ -301,7 +301,7 @@ - + @@ -323,7 +323,7 @@ - + @@ -347,7 +347,7 @@ - + @@ -368,7 +368,7 @@ - + @@ -378,7 +378,7 @@ - + @@ -408,7 +408,7 @@ - + @@ -416,7 +416,7 @@ - + @@ -440,7 +440,7 @@ - + @@ -448,7 +448,7 @@ - + @@ -468,7 +468,7 @@ - + @@ -480,14 +480,14 @@ - + - + @@ -525,7 +525,7 @@ - + @@ -539,7 +539,7 @@ - + @@ -620,7 +620,7 @@ - + @@ -645,7 +645,7 @@ - + @@ -679,7 +679,7 @@ - + @@ -706,7 +706,7 @@ - + @@ -746,7 +746,7 @@ - + @@ -842,7 +842,7 @@ - + @@ -876,7 +876,7 @@ - + @@ -930,7 +930,7 @@ - + @@ -940,7 +940,7 @@ - + @@ -968,14 +968,14 @@ - + - + @@ -991,7 +991,7 @@ - + @@ -1004,11 +1004,11 @@ - + - + @@ -1021,7 +1021,7 @@ - + @@ -1031,7 +1031,7 @@ - + @@ -1058,7 +1058,7 @@ - + @@ -1075,7 +1075,7 @@ - + @@ -1089,7 +1089,7 @@ - + @@ -1108,7 +1108,7 @@ - + @@ -1125,7 +1125,7 @@ - + @@ -1141,7 +1141,7 @@ - + @@ -1162,7 +1162,7 @@ - + @@ -1172,7 +1172,7 @@ - + @@ -1181,7 +1181,7 @@ - + @@ -1192,14 +1192,14 @@ - + - + @@ -1211,7 +1211,7 @@ - + @@ -1221,7 +1221,7 @@ - + @@ -1240,7 +1240,7 @@ - + @@ -1253,11 +1253,11 @@ - + - + @@ -1273,7 +1273,7 @@ - + @@ -1283,7 +1283,7 @@ - + @@ -1315,7 +1315,7 @@ - + @@ -1323,11 +1323,11 @@ - + - + @@ -1349,14 +1349,14 @@ - + - + @@ -1373,7 +1373,7 @@ - + @@ -1381,7 +1381,7 @@ - + @@ -1391,7 +1391,7 @@ - + @@ -1400,7 +1400,7 @@ - + @@ -1411,14 +1411,14 @@ - + - + @@ -1435,7 +1435,7 @@ - + @@ -1473,11 +1473,11 @@ - + - + @@ -1489,14 +1489,14 @@ - + - + @@ -1508,7 +1508,7 @@ - + @@ -1522,7 +1522,7 @@ - + @@ -1544,7 +1544,7 @@ - + @@ -1571,11 +1571,11 @@ - + - + @@ -1654,7 +1654,7 @@ - + @@ -1676,7 +1676,7 @@ - + @@ -1691,7 +1691,7 @@ - + @@ -1710,7 +1710,7 @@ - + @@ -1718,7 +1718,7 @@ - + @@ -1726,7 +1726,7 @@ - + @@ -1748,7 +1748,7 @@ - + @@ -1763,7 +1763,7 @@ - + @@ -1782,7 +1782,7 @@ - + @@ -1790,7 +1790,7 @@ - + @@ -1798,7 +1798,7 @@ - + @@ -1814,7 +1814,7 @@ - + @@ -1822,7 +1822,7 @@ - + @@ -1844,7 +1844,7 @@ - + @@ -1860,7 +1860,7 @@ - + @@ -2138,7 +2138,7 @@ - + @@ -2146,7 +2146,7 @@ - + @@ -2159,7 +2159,7 @@ - + @@ -2168,7 +2168,7 @@ - + @@ -2182,20 +2182,20 @@ - + - + - + - + @@ -2207,20 +2207,20 @@ - + - + - + - + diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/solver.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/solver.mps index 6524fdc1..717fc6b6 100644 --- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/solver.mps +++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/solver.mps @@ -7,9 +7,9 @@ - - - + + + @@ -243,7 +243,7 @@ - + @@ -254,7 +254,7 @@ - + @@ -266,7 +266,7 @@ - + @@ -352,7 +352,7 @@ - + @@ -367,7 +367,7 @@ - + @@ -383,7 +383,7 @@ - + @@ -425,7 +425,7 @@ - + @@ -433,7 +433,7 @@ - + @@ -449,7 +449,7 @@ - + @@ -457,7 +457,7 @@ - + @@ -474,7 +474,7 @@ - + @@ -497,7 +497,7 @@ - + @@ -507,7 +507,7 @@ - + @@ -530,7 +530,7 @@ - + @@ -546,7 +546,7 @@ - + @@ -556,7 +556,7 @@ - + @@ -596,7 +596,7 @@ - + @@ -608,7 +608,7 @@ - + @@ -647,7 +647,7 @@ - + @@ -660,7 +660,7 @@ - + @@ -676,7 +676,7 @@ - + @@ -721,7 +721,7 @@ - + @@ -729,7 +729,7 @@ - + @@ -745,7 +745,7 @@ - + @@ -753,7 +753,7 @@ - + @@ -770,7 +770,7 @@ - + @@ -793,7 +793,7 @@ - + @@ -803,7 +803,7 @@ - + @@ -826,7 +826,7 @@ - + @@ -842,7 +842,7 @@ - + @@ -852,7 +852,7 @@ - + @@ -896,7 +896,7 @@ - + @@ -907,7 +907,7 @@ - + @@ -965,7 +965,7 @@ - + @@ -1029,7 +1029,7 @@ - + @@ -1074,7 +1074,7 @@ - + @@ -1106,7 +1106,7 @@ - + @@ -1125,7 +1125,7 @@ - + @@ -1135,7 +1135,7 @@ - + @@ -1150,7 +1150,7 @@ - + @@ -1181,7 +1181,7 @@ - + @@ -1194,7 +1194,7 @@ - + @@ -1237,7 +1237,7 @@ - + @@ -1246,7 +1246,7 @@ - + @@ -1278,7 +1278,7 @@ - + @@ -1288,7 +1288,7 @@ - + @@ -1297,7 +1297,7 @@ - + @@ -1307,7 +1307,7 @@ - + @@ -1336,7 +1336,7 @@ - + @@ -1362,7 +1362,7 @@ - + @@ -1466,7 +1466,7 @@ - + @@ -1498,7 +1498,7 @@ - + @@ -1517,7 +1517,7 @@ - + @@ -1527,7 +1527,7 @@ - + @@ -1548,7 +1548,7 @@ - + @@ -1561,7 +1561,7 @@ - + @@ -1584,7 +1584,7 @@ - + @@ -1593,7 +1593,7 @@ - + @@ -1624,7 +1624,7 @@ - + @@ -1634,7 +1634,7 @@ - + @@ -1643,7 +1643,7 @@ - + @@ -1653,7 +1653,7 @@ - + @@ -1692,7 +1692,7 @@ - + @@ -1702,7 +1702,7 @@ - + @@ -1717,7 +1717,7 @@ - + @@ -1727,7 +1727,7 @@ - + @@ -1744,11 +1744,11 @@ - + - + @@ -1761,7 +1761,7 @@ - + @@ -1773,7 +1773,7 @@ - + @@ -1875,7 +1875,7 @@ - + @@ -1886,7 +1886,7 @@ - + @@ -1895,7 +1895,7 @@ - + @@ -1919,7 +1919,7 @@ - + @@ -1942,7 +1942,7 @@ - + @@ -1951,7 +1951,7 @@ - + @@ -1974,7 +1974,7 @@ - + @@ -1993,7 +1993,7 @@ - + @@ -2006,7 +2006,7 @@ - + @@ -2032,7 +2032,7 @@ - + @@ -2046,7 +2046,7 @@ - + @@ -2065,7 +2065,7 @@ - + @@ -2093,7 +2093,7 @@ - + @@ -2104,7 +2104,7 @@ - + @@ -2116,7 +2116,7 @@ - + @@ -2134,7 +2134,7 @@ - + @@ -2150,7 +2150,7 @@ - + @@ -2174,7 +2174,7 @@ - + @@ -2186,7 +2186,7 @@ - + @@ -2204,7 +2204,7 @@ - + @@ -2214,7 +2214,7 @@ - + @@ -2230,7 +2230,7 @@ - + @@ -2250,7 +2250,7 @@ - + @@ -2261,7 +2261,7 @@ - + @@ -2289,7 +2289,7 @@ - + @@ -2309,7 +2309,7 @@ - + @@ -2345,7 +2345,7 @@ - + @@ -2389,7 +2389,7 @@ - + @@ -2397,7 +2397,7 @@ - + @@ -2430,7 +2430,7 @@ - + @@ -2447,12 +2447,12 @@ - + - + @@ -2479,7 +2479,7 @@ - + @@ -2490,7 +2490,7 @@ - + @@ -2502,7 +2502,7 @@ - + @@ -2583,7 +2583,7 @@ - + @@ -2598,7 +2598,7 @@ - + @@ -2632,7 +2632,7 @@ - + @@ -2648,7 +2648,7 @@ - + @@ -2706,7 +2706,7 @@ - + @@ -2719,7 +2719,7 @@ - + @@ -2756,7 +2756,7 @@ - + @@ -2772,7 +2772,7 @@ - + @@ -2824,7 +2824,7 @@ - + @@ -2846,7 +2846,7 @@ - + @@ -2869,7 +2869,7 @@ - + @@ -2887,7 +2887,7 @@ - + @@ -2908,7 +2908,7 @@ - + @@ -2918,7 +2918,7 @@ - + @@ -2931,7 +2931,7 @@ - + @@ -2946,7 +2946,7 @@ - + @@ -2955,7 +2955,7 @@ - + @@ -2972,7 +2972,7 @@ - + @@ -2985,7 +2985,7 @@ - + @@ -3030,7 +3030,7 @@ - + @@ -3043,7 +3043,7 @@ - + @@ -3053,7 +3053,7 @@ - + @@ -3072,7 +3072,7 @@ - + @@ -3084,7 +3084,7 @@ - + @@ -3095,7 +3095,7 @@ - + @@ -3103,7 +3103,7 @@ - + @@ -3153,19 +3153,19 @@ - + - + - + @@ -3176,7 +3176,7 @@ - + @@ -3188,7 +3188,7 @@ - + @@ -3271,7 +3271,7 @@ - + @@ -3286,7 +3286,7 @@ - + @@ -3302,7 +3302,7 @@ - + @@ -3392,7 +3392,7 @@ - + @@ -3408,7 +3408,7 @@ - + @@ -3434,7 +3434,7 @@ - + @@ -3463,7 +3463,7 @@ - + @@ -3481,7 +3481,7 @@ - + @@ -3489,7 +3489,7 @@ - + @@ -3505,7 +3505,7 @@ - + @@ -3513,7 +3513,7 @@ - + @@ -3553,7 +3553,7 @@ - + @@ -3566,7 +3566,7 @@ - + @@ -3582,7 +3582,7 @@ - + @@ -3672,7 +3672,7 @@ - + @@ -3688,7 +3688,7 @@ - + @@ -3714,7 +3714,7 @@ - + @@ -3743,7 +3743,7 @@ - + @@ -3761,7 +3761,7 @@ - + @@ -3769,7 +3769,7 @@ - + @@ -3785,7 +3785,7 @@ - + @@ -3793,7 +3793,7 @@ - + @@ -3852,7 +3852,7 @@ - + @@ -3898,7 +3898,7 @@ - + @@ -3974,7 +3974,7 @@ - + @@ -3987,7 +3987,7 @@ - + @@ -3997,7 +3997,7 @@ - + @@ -4019,7 +4019,7 @@ - + @@ -4081,7 +4081,7 @@ - + @@ -4140,7 +4140,7 @@ - + @@ -4175,7 +4175,7 @@ - + @@ -4194,7 +4194,7 @@ - + @@ -4204,7 +4204,7 @@ - + @@ -4219,7 +4219,7 @@ - + @@ -4250,7 +4250,7 @@ - + @@ -4263,7 +4263,7 @@ - + @@ -4309,7 +4309,7 @@ - + @@ -4318,7 +4318,7 @@ - + @@ -4345,7 +4345,7 @@ - + @@ -4355,7 +4355,7 @@ - + @@ -4364,7 +4364,7 @@ - + @@ -4374,7 +4374,7 @@ - + @@ -4400,7 +4400,7 @@ - + @@ -4429,7 +4429,7 @@ - + @@ -4548,7 +4548,7 @@ - + @@ -4576,7 +4576,7 @@ - + @@ -4631,7 +4631,7 @@ - + @@ -4666,7 +4666,7 @@ - + @@ -4685,7 +4685,7 @@ - + @@ -4697,7 +4697,7 @@ - + @@ -4717,7 +4717,7 @@ - + @@ -4734,7 +4734,7 @@ - + @@ -4816,7 +4816,7 @@ - + @@ -4844,7 +4844,7 @@ - + @@ -4893,7 +4893,7 @@ - + @@ -4902,7 +4902,7 @@ - + @@ -4933,7 +4933,7 @@ - + @@ -4945,7 +4945,7 @@ - + @@ -4954,7 +4954,7 @@ - + @@ -4966,7 +4966,7 @@ - + @@ -5004,7 +5004,7 @@ - + @@ -5014,7 +5014,7 @@ - + @@ -5033,7 +5033,7 @@ - + @@ -5049,7 +5049,7 @@ - + @@ -5146,7 +5146,7 @@ - + @@ -5174,7 +5174,7 @@ - + @@ -5222,7 +5222,7 @@ - + @@ -5249,7 +5249,7 @@ - + @@ -5262,7 +5262,7 @@ - + @@ -5276,7 +5276,7 @@ - + @@ -5305,7 +5305,7 @@ - + @@ -5319,7 +5319,7 @@ - + @@ -5471,7 +5471,7 @@ - + @@ -5479,7 +5479,7 @@ - + @@ -5487,7 +5487,7 @@ - + @@ -5501,7 +5501,7 @@ - + @@ -5528,7 +5528,7 @@ - + @@ -5551,7 +5551,7 @@ - + @@ -5563,7 +5563,7 @@ - + @@ -5581,7 +5581,7 @@ - + diff --git a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps index d4f979b2..c84e1c24 100644 --- a/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps +++ b/logic/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps @@ -9,7 +9,7 @@ - + @@ -200,7 +200,7 @@ - + @@ -220,7 +220,7 @@ - + @@ -237,7 +237,7 @@ - + @@ -271,7 +271,7 @@ - + @@ -305,7 +305,7 @@ - + @@ -320,7 +320,7 @@ - + @@ -331,7 +331,7 @@ - + @@ -342,7 +342,7 @@ - + @@ -400,11 +400,11 @@ - + - + @@ -415,7 +415,7 @@ - + @@ -464,7 +464,7 @@ - + @@ -493,7 +493,7 @@ - + @@ -519,7 +519,7 @@ - + @@ -554,7 +554,7 @@ - + @@ -567,11 +567,11 @@ - + - + @@ -725,7 +725,7 @@ - + @@ -795,7 +795,7 @@ - + @@ -817,16 +817,16 @@ - + - + - + @@ -854,7 +854,7 @@ - + @@ -869,7 +869,7 @@ - + diff --git a/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd b/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd index fa34b763..7cf97cd2 100644 --- a/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd +++ b/logic/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd @@ -7,6 +7,7 @@ + @@ -16,6 +17,7 @@ + @@ -26,8 +28,6 @@ - - diff --git a/logic/solutions/jetbrains.mps.logic.reactor/models/jetbrains/mps/logic/reactor/evaluation.mps b/logic/solutions/jetbrains.mps.logic.reactor/models/jetbrains/mps/logic/reactor/evaluation.mps deleted file mode 100644 index 65bac5d2..00000000 --- a/logic/solutions/jetbrains.mps.logic.reactor/models/jetbrains/mps/logic/reactor/evaluation.mps +++ /dev/null @@ -1,2040 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/logic/solutions/jetbrains.mps.logic.reactor/models/jetbrains/mps/logic/reactor/logical.mps b/logic/solutions/jetbrains.mps.logic.reactor/models/jetbrains/mps/logic/reactor/logical.mps deleted file mode 100644 index 18fdd347..00000000 --- a/logic/solutions/jetbrains.mps.logic.reactor/models/jetbrains/mps/logic/reactor/logical.mps +++ /dev/null @@ -1,1138 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/logic/solutions/jetbrains.mps.logic.reactor/models/jetbrains/mps/logic/reactor/program.mps b/logic/solutions/jetbrains.mps.logic.reactor/models/jetbrains/mps/logic/reactor/program.mps deleted file mode 100644 index de78a843..00000000 --- a/logic/solutions/jetbrains.mps.logic.reactor/models/jetbrains/mps/logic/reactor/program.mps +++ /dev/null @@ -1,1348 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps index 04d77ae1..96c789e4 100644 --- a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps +++ b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps @@ -13,7 +13,7 @@ - + @@ -2886,7 +2886,7 @@ - + @@ -2925,7 +2925,7 @@ - + @@ -2962,7 +2962,7 @@ - + @@ -2979,7 +2979,7 @@ - + @@ -2996,7 +2996,7 @@ - + @@ -3026,7 +3026,7 @@ - + @@ -3034,7 +3034,7 @@ - + @@ -3044,7 +3044,7 @@ - + @@ -3052,7 +3052,7 @@ - + @@ -3067,7 +3067,7 @@ - + @@ -3091,7 +3091,7 @@ - + @@ -3115,7 +3115,7 @@ - + @@ -3142,7 +3142,7 @@ - + @@ -3159,7 +3159,7 @@ - + @@ -3189,7 +3189,7 @@ - + @@ -3197,7 +3197,7 @@ - + @@ -3251,7 +3251,7 @@ - + @@ -3261,7 +3261,7 @@ - + @@ -3287,7 +3287,7 @@ - + @@ -3297,7 +3297,7 @@ - + @@ -3342,7 +3342,7 @@ - + @@ -3373,7 +3373,7 @@ - + @@ -3465,7 +3465,7 @@ - + @@ -3490,7 +3490,7 @@ - + @@ -3615,7 +3615,7 @@ - + @@ -3727,7 +3727,7 @@ - + @@ -3839,7 +3839,7 @@ - + @@ -3917,7 +3917,7 @@ - + @@ -4011,7 +4011,7 @@ - + diff --git a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps index b30c576c..c0d70970 100644 --- a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps +++ b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps @@ -11,9 +11,9 @@ - - - + + + @@ -152,8 +152,8 @@ - - + + @@ -169,8 +169,8 @@ - - + + @@ -208,7 +208,7 @@ - + @@ -217,7 +217,7 @@ - + @@ -235,7 +235,7 @@ - + @@ -251,7 +251,7 @@ - + @@ -267,13 +267,13 @@ - + - + @@ -289,13 +289,13 @@ - + - + @@ -323,12 +323,12 @@ - + - + @@ -356,11 +356,11 @@ - + - + @@ -383,7 +383,7 @@ - + @@ -398,11 +398,11 @@ - + - + @@ -426,7 +426,7 @@ - + @@ -458,7 +458,7 @@ - + @@ -466,7 +466,7 @@ - + @@ -476,14 +476,14 @@ - + - + @@ -501,11 +501,11 @@ - + - + @@ -524,13 +524,13 @@ - + - + @@ -542,19 +542,19 @@ - + - + - + @@ -648,7 +648,7 @@ - + diff --git a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps index 2fe59a71..5c61542e 100644 --- a/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps +++ b/logic/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps @@ -12,9 +12,9 @@ - - - + + + @@ -232,7 +232,7 @@ - + @@ -273,7 +273,7 @@ - + @@ -313,7 +313,7 @@ - + @@ -1562,7 +1562,7 @@ - + @@ -1611,7 +1611,7 @@ - + @@ -1678,7 +1678,7 @@ - + @@ -1719,7 +1719,7 @@ - + @@ -1759,7 +1759,7 @@ - + @@ -1796,7 +1796,7 @@ - + @@ -1823,7 +1823,7 @@ - + @@ -1836,12 +1836,12 @@ - + - + @@ -1944,15 +1944,15 @@ - - + + - + - + @@ -1976,7 +1976,7 @@ - + @@ -1987,7 +1987,7 @@ - + @@ -2081,15 +2081,15 @@ - - + + - + - + @@ -2114,11 +2114,11 @@ - + - + @@ -2264,15 +2264,15 @@ - - + + - + - + @@ -2291,15 +2291,15 @@ - - + + - + - + @@ -2323,11 +2323,11 @@ - + - + @@ -2346,15 +2346,15 @@ - - + + - + - + @@ -2535,15 +2535,15 @@ - - + + - + - + @@ -2561,15 +2561,15 @@ - - + + - + - + @@ -2648,15 +2648,15 @@ - - + + - + - + @@ -2838,15 +2838,15 @@ - - + + - + - + @@ -2864,15 +2864,15 @@ - - + + - + - + @@ -2951,15 +2951,15 @@ - - + + - + - + @@ -3077,15 +3077,15 @@ - - + + - + - + @@ -3108,7 +3108,7 @@ - + @@ -3158,15 +3158,15 @@ - - + + - + - + @@ -3313,15 +3313,15 @@ - - + + - + - + @@ -3344,7 +3344,7 @@ - + @@ -3357,7 +3357,7 @@ - + @@ -3371,15 +3371,15 @@ - - + + - + - + @@ -3411,15 +3411,15 @@ - - + + - + - + @@ -3574,15 +3574,15 @@ - - + + - + - + @@ -3605,7 +3605,7 @@ - + @@ -3619,15 +3619,15 @@ - - + + - + - + @@ -3773,15 +3773,15 @@ - - + + - + - + @@ -3804,7 +3804,7 @@ - + @@ -3818,15 +3818,15 @@ - - + + - + - + @@ -3922,15 +3922,15 @@ - - + + - + - + @@ -3953,7 +3953,7 @@ - + @@ -3967,15 +3967,15 @@ - - + + - + - + @@ -4094,15 +4094,15 @@ - - + + - + - + @@ -4125,7 +4125,7 @@ - + @@ -4139,15 +4139,15 @@ - - + + - + - + @@ -4170,15 +4170,15 @@ - - + + - + - + @@ -4339,15 +4339,15 @@ - - + + - + - + @@ -4370,7 +4370,7 @@ - + @@ -4378,15 +4378,15 @@ - - + + - + - + @@ -4409,7 +4409,7 @@ - + @@ -4418,15 +4418,15 @@ - - + + - + - + @@ -4473,12 +4473,12 @@ - - + + - + @@ -4490,7 +4490,7 @@ - + @@ -4562,7 +4562,7 @@ - + @@ -4592,7 +4592,7 @@ - + @@ -4605,7 +4605,7 @@ - + @@ -4621,7 +4621,7 @@ - + @@ -4640,7 +4640,7 @@ - + @@ -4663,7 +4663,7 @@ - + @@ -4727,7 +4727,7 @@ - + @@ -4736,7 +4736,7 @@ - + @@ -4776,7 +4776,7 @@ - + @@ -4843,11 +4843,11 @@ - + - + @@ -5002,7 +5002,7 @@ - + @@ -5019,7 +5019,7 @@ - + @@ -5068,7 +5068,7 @@ - + @@ -5079,7 +5079,7 @@ - + @@ -5114,7 +5114,7 @@ - + @@ -5199,11 +5199,11 @@ - + - + @@ -5370,7 +5370,7 @@ - + diff --git a/test.xml b/test.xml index 66cca5e1..2d4ac04a 100644 --- a/test.xml +++ b/test.xml @@ -353,6 +353,7 @@ + @@ -734,6 +735,7 @@ + @@ -788,6 +790,7 @@ + @@ -835,6 +838,7 @@ + @@ -873,6 +877,7 @@ + @@ -918,6 +923,7 @@ + @@ -987,6 +993,7 @@ + @@ -1055,6 +1062,7 @@ + @@ -1122,6 +1130,7 @@ + @@ -1176,6 +1185,7 @@ + @@ -1228,6 +1238,7 @@ + @@ -1278,6 +1289,7 @@ + @@ -1328,6 +1340,7 @@ + @@ -1390,6 +1403,7 @@ + @@ -1438,6 +1452,7 @@ + @@ -1494,6 +1509,7 @@ + @@ -1598,6 +1614,7 @@ + diff --git a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/types.mps b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/types.mps index 89eceb71..777a583b 100644 --- a/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/types.mps +++ b/typechecking/languages/jetbrains.mps.lang.typesystem2.sampleLang/models/types.mps @@ -20,7 +20,7 @@ - + @@ -4334,7 +4334,7 @@ - + @@ -4344,14 +4344,14 @@ - + - + @@ -4361,7 +4361,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/models/jetbrains/mps/lang/typesystem2/samplechecker/build.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/models/jetbrains/mps/lang/typesystem2/samplechecker/build.mps index 2c276902..e0b0561d 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/models/jetbrains/mps/lang/typesystem2/samplechecker/build.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.build/models/jetbrains/mps/lang/typesystem2/samplechecker/build.mps @@ -549,6 +549,27 @@ + + + + + + + + + + + + + + + + + + + + + @@ -650,12 +671,6 @@ - - - - - - @@ -1465,6 +1480,27 @@ + + + + + + + + + + + + + + + + + + + + + @@ -1662,12 +1698,6 @@ - - - - - - diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.test/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/test/util@tests.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.test/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/test/util@tests.mps index 77e735c5..e366d624 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.test/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/test/util@tests.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.test/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/test/util@tests.mps @@ -8,7 +8,7 @@ - + @@ -351,15 +351,15 @@ - - + + - + - + @@ -606,15 +606,15 @@ - - + + - + - + @@ -847,15 +847,15 @@ - - + + - + - + @@ -1116,15 +1116,15 @@ - - + + - + - + @@ -1540,15 +1540,15 @@ - - + + - + - + @@ -2023,15 +2023,15 @@ - - + + - + - + @@ -2563,15 +2563,15 @@ - - + + - + - + @@ -3024,15 +3024,15 @@ - - + + - + - + @@ -3509,15 +3509,15 @@ - - + + - + - + @@ -3856,15 +3856,15 @@ - - + + - + - + @@ -3894,12 +3894,12 @@ - - + + - + @@ -3911,7 +3911,7 @@ - + @@ -4268,15 +4268,15 @@ - - + + - + - + @@ -4306,12 +4306,12 @@ - - + + - + @@ -4323,7 +4323,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps index 30aef736..f45d7819 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.samplechecker.handler.util/models/jetbrains/mps/lang/typesystem2/samplechecker/handle/util.mps @@ -14,8 +14,8 @@ - - + + @@ -348,7 +348,7 @@ - + @@ -357,7 +357,7 @@ - + @@ -366,7 +366,7 @@ - + @@ -387,11 +387,11 @@ - + - + @@ -408,11 +408,11 @@ - + - + @@ -445,15 +445,15 @@ - + - - + + - + @@ -522,7 +522,7 @@ - + @@ -1574,7 +1574,7 @@ - + @@ -1746,7 +1746,7 @@ - + @@ -1755,7 +1755,7 @@ - + @@ -1764,7 +1764,7 @@ - + @@ -1785,11 +1785,11 @@ - + - + @@ -1806,11 +1806,11 @@ - + - + @@ -1843,15 +1843,15 @@ - + - - + + - + @@ -1929,7 +1929,7 @@ - + @@ -2454,7 +2454,7 @@ - + @@ -2649,7 +2649,7 @@ - + @@ -2762,7 +2762,7 @@ - + @@ -2771,7 +2771,7 @@ - + diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps index b7fedb83..8fc409c2 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps @@ -49,9 +49,9 @@ - - - + + + @@ -845,8 +845,8 @@ - - + + @@ -2135,7 +2135,7 @@ - + @@ -2161,23 +2161,23 @@ - - + + - - + + - - + + - - + + - + @@ -2255,7 +2255,7 @@ - + @@ -2277,7 +2277,7 @@ - + @@ -2321,7 +2321,7 @@ - + @@ -2355,7 +2355,7 @@ - + @@ -2370,21 +2370,21 @@ - + - + - + @@ -2428,7 +2428,7 @@ - + @@ -2449,7 +2449,7 @@ - + @@ -2495,7 +2495,7 @@ - + @@ -2548,7 +2548,7 @@ - + @@ -2556,7 +2556,7 @@ - + @@ -2567,7 +2567,7 @@ - + @@ -2575,7 +2575,7 @@ - + @@ -2717,7 +2717,7 @@ - + @@ -2732,14 +2732,14 @@ - + - + @@ -2816,7 +2816,7 @@ - + @@ -2830,7 +2830,7 @@ - + @@ -2841,11 +2841,11 @@ - + - + @@ -2906,7 +2906,7 @@ - + @@ -2918,15 +2918,15 @@ - + - + - + @@ -2936,7 +2936,7 @@ - + @@ -2948,7 +2948,7 @@ - + @@ -2970,7 +2970,7 @@ - + @@ -3004,7 +3004,7 @@ - + @@ -3027,14 +3027,14 @@ - + - + @@ -3084,7 +3084,7 @@ - + @@ -3103,15 +3103,15 @@ - + - + - + @@ -3132,14 +3132,14 @@ - + - + @@ -3162,14 +3162,14 @@ - + - + @@ -3196,7 +3196,7 @@ - + @@ -3204,7 +3204,7 @@ - + @@ -3220,15 +3220,15 @@ - + - + - + @@ -3241,7 +3241,7 @@ - + @@ -3270,7 +3270,7 @@ - + @@ -4756,7 +4756,7 @@ - + @@ -4804,7 +4804,7 @@ - + @@ -4852,7 +4852,7 @@ - + @@ -4900,7 +4900,7 @@ - + @@ -4948,7 +4948,7 @@ - + @@ -4969,7 +4969,7 @@ - + @@ -4977,7 +4977,7 @@ - + @@ -5021,7 +5021,7 @@ - + @@ -5029,7 +5029,7 @@ - + @@ -5092,11 +5092,11 @@ - + - + @@ -5138,7 +5138,7 @@ - + @@ -5167,7 +5167,7 @@ - + @@ -5184,7 +5184,7 @@ - + @@ -5201,7 +5201,7 @@ - + @@ -5233,11 +5233,11 @@ - + - + @@ -5262,7 +5262,7 @@ - + @@ -5285,7 +5285,7 @@ - + @@ -5299,11 +5299,11 @@ - + - + @@ -5334,7 +5334,7 @@ - + @@ -5394,7 +5394,7 @@ - + @@ -5418,11 +5418,11 @@ - + - + @@ -5449,7 +5449,7 @@ - + @@ -5538,7 +5538,7 @@ - + @@ -5586,7 +5586,7 @@ - + @@ -6076,7 +6076,7 @@ - + @@ -7118,7 +7118,7 @@ - + @@ -7291,13 +7291,13 @@ - + - + @@ -7306,14 +7306,14 @@ - - + + - - + + @@ -7510,7 +7510,7 @@ - + @@ -7650,7 +7650,7 @@ - + @@ -7697,7 +7697,7 @@ - + @@ -7711,7 +7711,7 @@ - + @@ -7721,7 +7721,7 @@ - + @@ -7742,7 +7742,7 @@ - + @@ -7805,7 +7805,7 @@ - + @@ -7923,7 +7923,7 @@ - + @@ -8093,12 +8093,12 @@ - - + + - + @@ -8119,12 +8119,12 @@ - + - + @@ -8137,14 +8137,14 @@ - - + + - + @@ -8154,7 +8154,7 @@ - + @@ -9427,7 +9427,7 @@ - + @@ -9471,7 +9471,7 @@ - + @@ -9557,7 +9557,7 @@ - + @@ -9577,7 +9577,7 @@ - + @@ -9601,7 +9601,7 @@ - + @@ -9621,7 +9621,7 @@ - + @@ -9645,7 +9645,7 @@ - + @@ -9665,7 +9665,7 @@ - + @@ -9689,7 +9689,7 @@ - + @@ -9709,7 +9709,7 @@ - + @@ -9733,7 +9733,7 @@ - + @@ -9753,7 +9753,7 @@ - + @@ -9777,7 +9777,7 @@ - + @@ -9797,7 +9797,7 @@ - + @@ -9821,7 +9821,7 @@ - + @@ -9841,7 +9841,7 @@ - + @@ -9865,7 +9865,7 @@ - + @@ -9885,7 +9885,7 @@ - + @@ -9909,7 +9909,7 @@ - + @@ -9929,7 +9929,7 @@ - + @@ -9953,7 +9953,7 @@ - + @@ -9973,7 +9973,7 @@ - + @@ -10001,7 +10001,7 @@ - + @@ -10021,7 +10021,7 @@ - + @@ -10048,7 +10048,7 @@ - + @@ -10068,7 +10068,7 @@ - + @@ -10110,7 +10110,7 @@ - + @@ -13875,7 +13875,7 @@ - + @@ -13922,7 +13922,7 @@ - + @@ -13953,7 +13953,7 @@ - + @@ -14000,7 +14000,7 @@ - + @@ -14017,7 +14017,7 @@ - + @@ -14081,7 +14081,7 @@ - + @@ -14099,10 +14099,10 @@ - + - + @@ -14160,10 +14160,10 @@ - + - + @@ -14179,7 +14179,7 @@ - + @@ -14236,7 +14236,7 @@ - + @@ -14718,7 +14718,7 @@ - + @@ -14759,7 +14759,7 @@ - + @@ -14963,7 +14963,7 @@ - + @@ -15028,7 +15028,7 @@ - + @@ -15093,7 +15093,7 @@ - + @@ -15144,7 +15144,7 @@ - + @@ -15266,10 +15266,10 @@ - + - + @@ -15348,7 +15348,7 @@ - + @@ -15407,7 +15407,7 @@ - + @@ -15436,7 +15436,7 @@ - + @@ -15696,7 +15696,7 @@ - + @@ -15723,7 +15723,7 @@ - + @@ -15736,11 +15736,11 @@ - + - + @@ -15751,7 +15751,7 @@ - + @@ -15772,7 +15772,7 @@ - + @@ -15808,15 +15808,15 @@ - + - + - + @@ -15838,10 +15838,10 @@ - + - + @@ -15875,15 +15875,15 @@ - + - + - + @@ -16063,7 +16063,7 @@ - + @@ -16099,7 +16099,7 @@ - + @@ -16155,7 +16155,7 @@ - + @@ -16191,7 +16191,7 @@ - + @@ -16272,10 +16272,10 @@ - + - + @@ -16309,7 +16309,7 @@ - + @@ -17169,7 +17169,7 @@ - + @@ -17478,7 +17478,7 @@ - + @@ -17486,7 +17486,7 @@ - + @@ -17529,7 +17529,7 @@ - + @@ -18445,11 +18445,11 @@ - + - + @@ -18503,11 +18503,11 @@ - + - + @@ -18541,7 +18541,7 @@ - + @@ -18569,7 +18569,7 @@ - + @@ -18622,7 +18622,7 @@ - + @@ -18638,7 +18638,7 @@ - + @@ -18647,7 +18647,7 @@ - + @@ -18680,7 +18680,7 @@ - + @@ -18721,7 +18721,7 @@ - + @@ -18754,7 +18754,7 @@ - + @@ -18770,7 +18770,7 @@ - + @@ -18801,7 +18801,7 @@ - + @@ -18837,14 +18837,14 @@ - + - + @@ -18854,7 +18854,7 @@ - + @@ -18862,11 +18862,11 @@ - + - + @@ -18911,7 +18911,7 @@ - + @@ -18954,7 +18954,7 @@ - + @@ -18977,11 +18977,11 @@ - + - + @@ -18998,11 +18998,11 @@ - + - + @@ -19075,7 +19075,7 @@ - + @@ -19103,7 +19103,7 @@ - + @@ -19139,7 +19139,7 @@ - + @@ -19147,7 +19147,7 @@ - + @@ -19160,10 +19160,10 @@ - + - + @@ -19173,10 +19173,10 @@ - + - + @@ -19196,7 +19196,7 @@ - + @@ -19211,7 +19211,7 @@ - + @@ -19220,7 +19220,7 @@ - + @@ -19235,7 +19235,7 @@ - + @@ -19244,7 +19244,7 @@ - + @@ -19259,7 +19259,7 @@ - + @@ -19268,11 +19268,11 @@ - + - + @@ -19290,7 +19290,7 @@ - + @@ -19305,11 +19305,11 @@ - + - + @@ -19322,7 +19322,7 @@ - + @@ -19332,7 +19332,7 @@ - + @@ -19343,7 +19343,7 @@ - + @@ -19358,11 +19358,11 @@ - + - + @@ -19380,7 +19380,7 @@ - + @@ -19395,14 +19395,14 @@ - + - + @@ -19421,7 +19421,7 @@ - + @@ -19438,7 +19438,7 @@ - + @@ -19449,7 +19449,7 @@ - + @@ -19621,7 +19621,7 @@ - + @@ -19635,7 +19635,7 @@ - + @@ -19677,7 +19677,7 @@ - + @@ -19694,7 +19694,7 @@ - + @@ -19741,7 +19741,7 @@ - + @@ -19749,7 +19749,7 @@ - + @@ -19758,7 +19758,7 @@ - + @@ -19809,13 +19809,13 @@ - + - + @@ -19833,7 +19833,7 @@ - + @@ -19852,7 +19852,7 @@ - + @@ -19869,7 +19869,7 @@ - + @@ -19878,7 +19878,7 @@ - + @@ -19888,7 +19888,7 @@ - + @@ -19932,7 +19932,7 @@ - + @@ -19945,13 +19945,13 @@ - + - + @@ -19961,7 +19961,7 @@ - + @@ -20009,7 +20009,7 @@ - + @@ -20029,14 +20029,14 @@ - + - + @@ -20082,8 +20082,8 @@ - - + + @@ -20092,7 +20092,7 @@ - + @@ -20128,7 +20128,7 @@ - + @@ -20139,7 +20139,7 @@ - + @@ -20152,7 +20152,7 @@ - + @@ -20161,7 +20161,7 @@ - + @@ -20198,7 +20198,7 @@ - + @@ -20233,7 +20233,7 @@ - + @@ -20334,7 +20334,7 @@ - + @@ -20373,7 +20373,7 @@ - + @@ -20418,7 +20418,7 @@ - + @@ -20471,7 +20471,7 @@ - + @@ -20481,7 +20481,7 @@ - + @@ -20561,7 +20561,7 @@ - + @@ -20604,14 +20604,14 @@ - + - + @@ -20623,12 +20623,12 @@ - + - + @@ -20649,11 +20649,11 @@ - + - + @@ -20666,7 +20666,7 @@ - + @@ -22116,7 +22116,7 @@ - + @@ -22160,7 +22160,7 @@ - + @@ -22188,7 +22188,7 @@ - + @@ -22235,7 +22235,7 @@ - + @@ -22585,7 +22585,7 @@ - + @@ -22648,7 +22648,7 @@ - + @@ -22963,7 +22963,7 @@ - + @@ -22999,7 +22999,7 @@ - + @@ -26763,7 +26763,7 @@ - + @@ -26773,7 +26773,7 @@ - + @@ -26866,7 +26866,7 @@ - + @@ -26900,7 +26900,7 @@ - + @@ -26922,7 +26922,7 @@ - + @@ -26932,7 +26932,7 @@ - + @@ -26971,7 +26971,7 @@ - + @@ -27063,7 +27063,7 @@ - + @@ -27076,7 +27076,7 @@ - + @@ -27115,7 +27115,7 @@ - + @@ -27171,7 +27171,7 @@ - + @@ -27205,7 +27205,7 @@ - + @@ -27227,7 +27227,7 @@ - + @@ -27237,7 +27237,7 @@ - + @@ -27296,7 +27296,7 @@ - + @@ -27306,7 +27306,7 @@ - + @@ -27365,7 +27365,7 @@ - + @@ -27375,7 +27375,7 @@ - + @@ -27434,7 +27434,7 @@ - + @@ -27444,7 +27444,7 @@ - + @@ -27503,7 +27503,7 @@ - + @@ -27513,7 +27513,7 @@ - + @@ -27576,7 +27576,7 @@ - + @@ -27586,7 +27586,7 @@ - + @@ -27645,7 +27645,7 @@ - + @@ -27934,7 +27934,7 @@ - + @@ -28052,7 +28052,7 @@ - + @@ -28136,13 +28136,13 @@ - + - + @@ -28150,7 +28150,7 @@ - + @@ -28199,7 +28199,7 @@ - + @@ -28212,13 +28212,13 @@ - + - + @@ -28226,7 +28226,7 @@ - + @@ -28275,7 +28275,7 @@ - + @@ -28294,7 +28294,7 @@ - + @@ -28373,7 +28373,7 @@ - + @@ -28397,7 +28397,7 @@ - + @@ -28465,7 +28465,7 @@ - + @@ -28508,7 +28508,7 @@ - + @@ -28607,7 +28607,7 @@ - + @@ -29021,7 +29021,7 @@ - + @@ -29038,7 +29038,7 @@ - + @@ -29055,7 +29055,7 @@ - + @@ -29072,7 +29072,7 @@ - + @@ -29089,7 +29089,7 @@ - + @@ -29106,7 +29106,7 @@ - + @@ -29123,7 +29123,7 @@ - + @@ -29140,7 +29140,7 @@ - + @@ -29157,7 +29157,7 @@ - + @@ -29174,7 +29174,7 @@ - + @@ -29195,7 +29195,7 @@ - + @@ -29212,7 +29212,7 @@ - + @@ -29244,7 +29244,7 @@ - + @@ -29261,7 +29261,7 @@ - + @@ -29316,7 +29316,7 @@ - + @@ -29326,7 +29326,7 @@ - + @@ -29367,11 +29367,11 @@ - + - + @@ -29430,7 +29430,7 @@ - + @@ -29440,7 +29440,7 @@ - + @@ -29501,7 +29501,7 @@ - + @@ -29511,7 +29511,7 @@ - + @@ -29572,7 +29572,7 @@ - + @@ -29582,7 +29582,7 @@ - + @@ -29926,7 +29926,7 @@ - + @@ -30034,7 +30034,7 @@ - + @@ -30140,11 +30140,11 @@ - + - + @@ -30175,7 +30175,7 @@ - + @@ -30246,7 +30246,7 @@ - + @@ -30371,13 +30371,13 @@ - + - + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps index 91aef8c0..8bca89eb 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/generator/template/main@generator.mps @@ -32,11 +32,11 @@ - - + + - + @@ -1411,8 +1411,8 @@ - - + + @@ -2797,7 +2797,7 @@ - + @@ -2933,7 +2933,7 @@ - + @@ -3493,8 +3493,8 @@ - - + + @@ -3888,7 +3888,7 @@ - + @@ -3953,8 +3953,8 @@ - - + + @@ -7053,8 +7053,8 @@ - - + + @@ -8310,7 +8310,7 @@ - + @@ -8340,7 +8340,7 @@ - + @@ -8693,7 +8693,7 @@ - + @@ -11872,8 +11872,8 @@ - - + + @@ -13398,7 +13398,7 @@ - + @@ -13575,7 +13575,7 @@ - + @@ -13722,7 +13722,7 @@ - + @@ -13784,14 +13784,14 @@ - + - + @@ -15348,7 +15348,7 @@ - + @@ -15541,7 +15541,7 @@ - + @@ -15786,7 +15786,7 @@ - + @@ -15854,7 +15854,7 @@ - + @@ -15906,7 +15906,7 @@ - + @@ -16017,7 +16017,7 @@ - + @@ -16093,7 +16093,7 @@ - + @@ -16153,7 +16153,7 @@ - + @@ -16213,7 +16213,7 @@ - + @@ -16327,7 +16327,7 @@ - + @@ -16352,7 +16352,7 @@ - + @@ -16378,7 +16378,7 @@ - + @@ -16387,7 +16387,7 @@ - + @@ -16395,11 +16395,11 @@ - + - + @@ -16676,7 +16676,7 @@ - + @@ -16912,7 +16912,7 @@ - + @@ -18518,7 +18518,7 @@ - + @@ -18658,7 +18658,7 @@ - + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl b/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl index c24633cb..9dc8ff01 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/jetbrains.mps.lang.typesystem2.mpl @@ -83,7 +83,6 @@ - @@ -96,7 +95,6 @@ 6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK) 35320f26-77cb-4c55-be9f-a97a27770af1(jetbrains.mps.logic) 2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel) - c4803b19-6d89-4a3b-bf82-390769514add(jetbrains.mps.lang.typesystem2) c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure) ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.typesystem2.template) 1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor) @@ -174,7 +172,6 @@ - diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps index c8d728da..addbf25e 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps @@ -15,7 +15,7 @@ - + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/intentions.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/intentions.mps index 7f365b84..b02d831f 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/intentions.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/intentions.mps @@ -8,6 +8,8 @@ + + @@ -80,6 +82,13 @@ + + + + + + + @@ -110,6 +119,9 @@ + + + @@ -118,13 +130,19 @@ + + + + + + @@ -137,7 +155,12 @@ - + + + + + + @@ -147,6 +170,7 @@ + @@ -390,5 +414,127 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/generation.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/generation.mps index f4ced965..173b2a49 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/generation.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/generation.mps @@ -15,7 +15,7 @@ - + @@ -714,7 +714,7 @@ - + @@ -745,7 +745,7 @@ - + @@ -1733,7 +1733,7 @@ - + @@ -1865,7 +1865,7 @@ - + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/program.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/program.mps index 64d40197..cf7a2da1 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/program.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/runtime/models/jetbrains/mps/lang/typesystem2/program.mps @@ -10,11 +10,11 @@ - + - - + + @@ -388,7 +388,7 @@ - + @@ -407,7 +407,7 @@ - + @@ -432,7 +432,7 @@ - + @@ -456,7 +456,7 @@ - + @@ -539,7 +539,7 @@ - + @@ -658,8 +658,8 @@ - - + + @@ -724,8 +724,8 @@ - - + + @@ -882,15 +882,15 @@ - + - - + + @@ -899,8 +899,8 @@ - - + + @@ -936,8 +936,8 @@ - - + + @@ -975,8 +975,8 @@ - - + + @@ -988,7 +988,7 @@ - + @@ -1009,7 +1009,7 @@ - + @@ -1101,7 +1101,7 @@ - + @@ -1276,7 +1276,7 @@ - + @@ -1305,7 +1305,7 @@ - + @@ -1441,8 +1441,8 @@ - - + + @@ -1478,8 +1478,8 @@ - - + + @@ -1517,8 +1517,8 @@ - - + + @@ -1539,8 +1539,8 @@ - - + + @@ -1562,7 +1562,7 @@ - + @@ -1584,7 +1584,7 @@ - + @@ -1611,7 +1611,7 @@ - + @@ -1635,7 +1635,7 @@ - + @@ -1670,7 +1670,7 @@ - + @@ -1680,14 +1680,14 @@ - + - + @@ -1714,7 +1714,7 @@ - + @@ -1733,8 +1733,8 @@ - - + + @@ -1759,8 +1759,8 @@ - - + + @@ -1769,8 +1769,8 @@ - - + + @@ -1780,8 +1780,8 @@ - - + + @@ -1790,8 +1790,8 @@ - - + + @@ -1802,7 +1802,7 @@ - + @@ -1812,7 +1812,7 @@ - + @@ -1825,7 +1825,7 @@ - + @@ -1835,7 +1835,7 @@ - + @@ -1854,7 +1854,7 @@ - + @@ -1871,7 +1871,7 @@ - + @@ -2129,14 +2129,14 @@ - + - + @@ -2172,14 +2172,14 @@ - + - + @@ -2210,14 +2210,14 @@ - + - + @@ -2254,7 +2254,7 @@ - + @@ -2289,7 +2289,7 @@ - + @@ -2301,7 +2301,7 @@ - + @@ -2312,7 +2312,7 @@ - + @@ -2398,7 +2398,7 @@ - + @@ -2407,8 +2407,8 @@ - - + + @@ -2436,7 +2436,7 @@ - + @@ -2458,7 +2458,7 @@ - + @@ -2498,7 +2498,7 @@ - + @@ -2559,7 +2559,7 @@ - + @@ -2571,7 +2571,7 @@ - + @@ -2586,7 +2586,7 @@ - + @@ -2783,7 +2783,7 @@ - + @@ -2797,7 +2797,7 @@ - + @@ -2946,14 +2946,14 @@ - + - + @@ -3570,7 +3570,7 @@ - + @@ -3615,7 +3615,7 @@ - + @@ -3629,7 +3629,7 @@ - + diff --git a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/template.mps b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/template.mps index cdb5cb86..da657423 100644 --- a/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/template.mps +++ b/typesystem2/solutions/jetbrains.mps.lang.typesystem2.template/models/jetbrains/mps/lang/typesystem2/template.mps @@ -18,8 +18,8 @@ - - + + @@ -516,7 +516,7 @@ - + @@ -530,11 +530,11 @@ - + - + @@ -560,7 +560,7 @@ - +