From 661ee068ffb33f084ac76cd956e4afedf2a5115b Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 28 Aug 2024 13:42:21 +0200 Subject: [PATCH] Refactor caching system; drop obsolete classes --- ...ains.mps.coderules.testhelper.testutil.mps | 304 +- ...rains.mps.coderules.typechecking@tests.mps | 363 +- ...ains.mps.coderules.typechecking.plugin.mps | 186 +- ...ins.mps.coderules.typechecking.service.mps | 9376 ++++++++--------- .../models/firstOrderLogic@tests.mps | 172 +- .../models/herbrandLogic@tests.mps | 28 +- .../models/propositionalLogic@tests.mps | 267 +- .../models/samples.lambdacalc.demo@tests.mps | 402 +- ...nguage.closuresExt.test.closures@tests.mps | 108 +- ...age.closuresExt.test.collections@tests.mps | 48 +- ...e.collectionsExt.test.containers@tests.mps | 234 +- ...age.collectionsExt.test.sequence@tests.mps | 24 +- ...ge.methodReferencesExt.test.code@tests.mps | 84 +- ...ethodReferencesExt.test.features@tests.mps | 24 +- ...seLanguage.tuplesExt.test.tuples@tests.mps | 24 +- ...ps.baseLanguageExt.test.features@tests.mps | 370 +- ...ps.baseLanguageExt.test.generics@tests.mps | 252 +- ...mps.baseLanguageExt.test.staging@tests.mps | 24 +- ...mps.baseLanguageExt.test.thinlet@tests.mps | 26 +- ...ins.mps.lang.smodelExt.test.code@tests.mps | 84 +- .../models/bounds@tests.mps | 64 +- .../models/helloWorld@tests.mps | 92 +- 22 files changed, 5839 insertions(+), 6717 deletions(-) diff --git a/coderules/solutions/jetbrains.mps.coderules.testhelper/models/jetbrains.mps.coderules.testhelper.testutil.mps b/coderules/solutions/jetbrains.mps.coderules.testhelper/models/jetbrains.mps.coderules.testhelper.testutil.mps index 420a82e6..c9236aef 100644 --- a/coderules/solutions/jetbrains.mps.coderules.testhelper/models/jetbrains.mps.coderules.testhelper.testutil.mps +++ b/coderules/solutions/jetbrains.mps.coderules.testhelper/models/jetbrains.mps.coderules.testhelper.testutil.mps @@ -187,7 +187,6 @@ - @@ -5020,8 +5019,26 @@ - - + + + + + + + + + + + + + + + + + + + + @@ -5034,15 +5051,32 @@ - + - + - - + + + + + + + + + + + + + + + + + + + @@ -5067,7 +5101,7 @@ - + @@ -5092,7 +5126,7 @@ - + @@ -5178,13 +5212,13 @@ - + - + @@ -5198,10 +5232,10 @@ - + - + @@ -5218,7 +5252,7 @@ - + @@ -5232,14 +5266,13 @@ - - + @@ -5251,18 +5284,39 @@ + + + + + + + + + + + + + + + + + + + + + - + - + @@ -5338,7 +5392,7 @@ - + @@ -5355,11 +5409,49 @@ - + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -5380,7 +5472,7 @@ - + @@ -5404,10 +5496,10 @@ - + - + @@ -5433,162 +5525,18 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - + + + + + + + + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps index 8a4a856d..6a4e5ac1 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps @@ -72,6 +72,7 @@ + @@ -244,6 +245,7 @@ + @@ -516,30 +518,39 @@ - - - - - + + + + + - - - - - - - - + + + + + - + + + + + + + + + + + + + - - - + + + @@ -551,11 +562,16 @@ - - + + + + + + + - + @@ -573,11 +589,16 @@ - - + + + + + + + - + @@ -2731,14 +2752,14 @@ - + - + @@ -2761,124 +2782,118 @@ - - - - - + + + + - - - + + + + - - - - + + + + - - - - - - + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + @@ -2886,7 +2901,38 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2897,25 +2943,30 @@ - + - - - - - - - - - - + + + + + + + + + + + + + + + - - - + + + @@ -2933,18 +2984,20 @@ - - - - - - - + + + + + + + + + - + diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps index c0bff796..6b0dbe49 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps @@ -3466,111 +3466,101 @@ - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps index d8f51688..0f3126c1 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps @@ -56,6 +56,7 @@ + @@ -418,6 +419,9 @@ + + + @@ -543,7 +547,6 @@ - @@ -572,10 +575,6 @@ - - - - @@ -966,11 +965,28 @@ - - - + + + + + + + + + + + + + + + + + + + + @@ -1032,91 +1048,105 @@ - - - - - - - - - - - - - - + + + + + + + + + - + - - - + + + - + - + - - - + + + - + - + - + - + - + - - - - - + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1857,10 +1887,10 @@ - + - + @@ -1896,6 +1926,7 @@ + @@ -2240,8 +2271,11 @@ - - + + + + + @@ -2264,13 +2298,31 @@ - - + + + + + + + + + + + + + + + + + + + + @@ -2635,6 +2687,14 @@ + + + + + + + + @@ -3103,2684 +3163,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -6335,30 +3717,35 @@ + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - + + + + + @@ -6483,20 +3870,11 @@ - - - - - - - - - - - - - - + + + + + @@ -6510,20 +3888,11 @@ - - - - - - - - - - - - - - + + + + + @@ -6872,9 +4241,12 @@ - + - + + + + @@ -6922,9 +4294,12 @@ - + - + + + + @@ -7378,60 +4753,77 @@ - + - - - + + + - - - - - - - - - - - - + + + + + + + + + - - + + + + + + + + + + + + + - + - + - - - - + + + + + + + - - - - + + + + + + + + + + - - + + - + @@ -7858,7 +5250,7 @@ - + @@ -7900,21 +5292,35 @@ - - - - - - - - - - + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + @@ -7923,6 +5329,11 @@ + + + + + @@ -7931,6 +5342,12 @@ + + + + + + @@ -8377,41 +5794,36 @@ - - - + + + - + - - + + - - - - - - - - - - - - - + + + + + + + + - - + + - - - + + + @@ -8455,7 +5867,7 @@ - + @@ -8483,509 +5895,234 @@ + + + - - - + + + - + - + - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - - - - - - - - + + + + - + - - + + + + + - - - - + + + + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - - - + + + - - - - - - + + + + + - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - + + + + - - - - + + + + - - + + - - - - - - - + + + + - + - + - - - - - - - - - - - - + + + + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - - - + + + - - - - - - + + + + + - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - + - + @@ -9014,7 +6151,7 @@ - + @@ -9033,7 +6170,7 @@ - + @@ -9088,7 +6225,7 @@ - + @@ -9126,154 +6263,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -9517,52 +6506,47 @@ - - - - + + + + - - - - - + + + + + + + + + + + + - + - - - - - - - - + + + + + + - - - - - - - - - - - - - - - - - - + + + + + + + + @@ -9572,266 +6556,122 @@ - - - - - - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + - - - - - - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - - - - - - - - - - - - - - - - - - - + + - - - - + + + + - - - - + + + + + + + - - - - + - + - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - + + - - - - - + + + + + + + + + + + + - - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - - - - - - + + + + @@ -9980,70 +6820,15 @@ - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -10272,6 +7057,47 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -10705,6 +7531,7 @@ + @@ -10788,10 +7615,8 @@ - - - - + + @@ -10842,7 +7667,7 @@ - + @@ -13361,39 +10186,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -14352,7 +11144,7 @@ - + @@ -14375,175 +11167,262 @@ - - - - - - - - - + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -14560,13 +11439,8 @@ - - - - - - - + + @@ -14575,8 +11449,8 @@ - - + + @@ -14749,7 +11623,7 @@ - + @@ -14797,170 +11671,302 @@ - - - - - + + + + + - - - - - - - - + + + + + + + + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -14983,52 +11989,8 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + @@ -15037,7 +11999,7 @@ - + @@ -15173,201 +12135,210 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -15441,7 +12412,7 @@ - + @@ -15461,249 +12432,236 @@ - - - - + + + + - + - + - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - + + - + - - + + - + - - - - - - - + + + - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - + - + - - + + + + + + + + - + - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - - - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + @@ -15711,29 +12669,30 @@ - - - + + + + - - - + + + - + - - + + - - - + + + - + @@ -15882,7 +12841,7 @@ - + @@ -15897,7 +12856,7 @@ - + @@ -15912,252 +12871,241 @@ + - - - - + + + + - + - + - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - + + - + - - + + - + - - - - - - - + + + - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + - + - + - - + + + + + + + + - + - - - - - - - - - - - - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + @@ -16165,6 +13113,7 @@ + @@ -16172,7 +13121,7 @@ - + @@ -16185,7 +13134,7 @@ - + @@ -16332,7 +13281,7 @@ - + @@ -16344,10 +13293,11 @@ + - + @@ -16362,6 +13312,7 @@ + @@ -16374,216 +13325,212 @@ - + - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - + + - + - - + + - + - - - - - - - + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + - + - + - - + + + + + + + + - + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -16610,6 +13557,35 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -16645,7 +13621,7 @@ - + @@ -16831,6 +13807,44 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -16882,13 +13896,11 @@ - - - - - - - + + + + + @@ -16938,12 +13950,16 @@ - - - - + + + + + + + + @@ -17044,192 +14060,143 @@ - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - - - - - - - - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + - + @@ -19122,13 +16089,6 @@ - - - - - - - @@ -19650,9 +16610,6 @@ - - - @@ -20029,11 +16986,15 @@ - + - + + + + + @@ -20075,38 +17036,16 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - + + @@ -20119,13 +17058,6 @@ - - - - - - - @@ -20141,12 +17073,6 @@ - - - - - - @@ -20165,6 +17091,9 @@ + + + @@ -20177,9 +17106,6 @@ - - - @@ -20296,12 +17222,6 @@ - - - - - - @@ -20330,6 +17250,9 @@ + + + @@ -20341,10 +17264,7 @@ - - - - + @@ -20539,16 +17459,22 @@ - + - + + + + + + + @@ -20604,8 +17530,11 @@ - - + + + + + @@ -20641,12 +17570,16 @@ - - - - + + + + + + + + @@ -20683,21 +17616,6 @@ - - - - - - - - - - - - - - - @@ -20706,8 +17624,8 @@ - - + + @@ -20747,12 +17665,6 @@ - - - - - - @@ -20771,6 +17683,9 @@ + + + @@ -20782,8 +17697,8 @@ - - + + @@ -20825,10 +17740,7 @@ - - - - + @@ -20868,15 +17780,9 @@ - - - - - - - - - + + + @@ -24821,5 +21727,2227 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps b/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps index 1fceeb00..e62c0d62 100644 --- a/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps +++ b/samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps @@ -98,8 +98,8 @@ - - + + @@ -136,30 +136,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -170,30 +170,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -204,30 +204,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -238,30 +238,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -272,30 +272,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -306,30 +306,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -340,30 +340,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + diff --git a/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps b/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps index c2773e31..8c649590 100644 --- a/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps +++ b/samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps @@ -98,8 +98,8 @@ - - + + @@ -136,30 +136,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + diff --git a/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps b/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps index dcd08c1e..a80dba1a 100644 --- a/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps +++ b/samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps @@ -101,6 +101,9 @@ + + + @@ -136,30 +139,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -170,30 +173,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -204,30 +207,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -238,30 +241,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -272,30 +275,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -306,30 +309,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -340,30 +343,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -374,30 +377,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -408,30 +411,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -442,30 +445,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -476,30 +479,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps index 62ccff5f..05910e79 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps +++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps @@ -168,8 +168,8 @@ - - + + @@ -250,33 +250,33 @@ - - - - + + + + - - - + + + - - + + - + - + - - - - - - + + + + + + @@ -285,7 +285,7 @@ - + @@ -296,33 +296,33 @@ - - - - + + + + - - - + + + - - + + - + - + - - - - - - + + + + + + @@ -331,7 +331,7 @@ - + @@ -342,33 +342,33 @@ - - - - + + + + - - - + + + - - + + - + - + - - - - - - + + + + + + @@ -377,7 +377,7 @@ - + @@ -388,33 +388,33 @@ - - - - + + + + - - - + + + - - + + - + - + - - - - - - + + + + + + @@ -423,7 +423,7 @@ - + @@ -434,33 +434,33 @@ - - - - + + + + - - - + + + - - + + - + - + - - - - - - + + + + + + @@ -469,7 +469,7 @@ - + @@ -480,33 +480,33 @@ - - - - + + + + - - - + + + - - + + - + - + - - - - - - + + + + + + @@ -515,7 +515,7 @@ - + @@ -526,33 +526,33 @@ - - - - + + + + - - - + + + - - + + - + - + - - - - - - + + + + + + @@ -561,7 +561,7 @@ - + @@ -572,33 +572,33 @@ - - - - + + + + - - - + + + - - + + - + - + - - - - - - + + + + + + @@ -607,7 +607,7 @@ - + @@ -618,33 +618,33 @@ - - - - + + + + - - - + + + - - + + - + - + - - - - - - + + + + + + @@ -653,7 +653,7 @@ - + @@ -697,36 +697,36 @@ - + - - - - + + + + - - - + + + - - + + - + - + - - - - - - + + + + + + @@ -735,7 +735,7 @@ - + @@ -747,33 +747,33 @@ - - - - + + + + - - - + + + - - + + - + - + - - - - - - + + + + + + @@ -782,7 +782,7 @@ - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures@tests.mps index a5fd482b..d2678ef5 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures@tests.mps @@ -99,8 +99,8 @@ - - + + @@ -137,25 +137,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -166,25 +166,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -195,25 +195,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -224,30 +224,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -258,25 +258,25 @@ - - - + + + - - - + + + - - + + - + - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.collections@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.collections@tests.mps index ace44731..33160b3b 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.collections@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.collections@tests.mps @@ -103,8 +103,8 @@ - - + + @@ -149,25 +149,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -218,30 +218,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.containers@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.containers@tests.mps index f9b931a5..8efeb58c 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.containers@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.containers@tests.mps @@ -104,8 +104,8 @@ - - + + @@ -150,25 +150,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -179,25 +179,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -208,25 +208,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -277,30 +277,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -311,25 +311,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -340,30 +340,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -374,25 +374,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -403,25 +403,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -432,25 +432,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -461,25 +461,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -497,28 +497,28 @@ - + - - - + + + - - - + + + - - + + - + - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.sequence@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.sequence@tests.mps index 67a13d88..e480af41 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.sequence@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.sequence@tests.mps @@ -98,8 +98,8 @@ - - + + @@ -136,25 +136,25 @@ - - - + + + - - - + + + - - + + - + - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.methodReferencesExt.test/models/jetbrains.mps.baseLanguage.methodReferencesExt.test.code@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.methodReferencesExt.test/models/jetbrains.mps.baseLanguage.methodReferencesExt.test.code@tests.mps index 55308cee..d5b195f5 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.methodReferencesExt.test/models/jetbrains.mps.baseLanguage.methodReferencesExt.test.code@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.methodReferencesExt.test/models/jetbrains.mps.baseLanguage.methodReferencesExt.test.code@tests.mps @@ -107,8 +107,8 @@ - - + + @@ -144,25 +144,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -173,25 +173,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -202,25 +202,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -231,25 +231,25 @@ - - - + + + - - - + + + - - + + - + - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.methodReferencesExt.test/models/jetbrains.mps.baseLanguage.methodReferencesExt.test.features@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.methodReferencesExt.test/models/jetbrains.mps.baseLanguage.methodReferencesExt.test.features@tests.mps index 0302adab..56ccf4e6 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.methodReferencesExt.test/models/jetbrains.mps.baseLanguage.methodReferencesExt.test.features@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.methodReferencesExt.test/models/jetbrains.mps.baseLanguage.methodReferencesExt.test.features@tests.mps @@ -97,8 +97,8 @@ - - + + @@ -197,25 +197,25 @@ - - - + + + - - - + + + - - + + - + - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.tuplesExt.test/models/jetbrains.mps.baseLanguage.tuplesExt.test.tuples@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.tuplesExt.test/models/jetbrains.mps.baseLanguage.tuplesExt.test.tuples@tests.mps index 249790f4..0f7dc5e9 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguage.tuplesExt.test/models/jetbrains.mps.baseLanguage.tuplesExt.test.tuples@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguage.tuplesExt.test/models/jetbrains.mps.baseLanguage.tuplesExt.test.tuples@tests.mps @@ -99,8 +99,8 @@ - - + + @@ -137,25 +137,25 @@ - - - + + + - - - + + + - - + + - + - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.features@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.features@tests.mps index 4ed58ef7..b6340ec5 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.features@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.features@tests.mps @@ -103,8 +103,8 @@ - - + + @@ -263,30 +263,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -337,30 +337,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -371,25 +371,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -440,30 +440,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -518,33 +518,33 @@ - + - - - - + + + + - - - + + + - - + + - + - + - + @@ -556,25 +556,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -585,25 +585,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -614,25 +614,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -643,25 +643,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -672,25 +672,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -741,30 +741,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -815,30 +815,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -849,25 +849,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -878,25 +878,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -907,25 +907,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -936,25 +936,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -965,25 +965,25 @@ - - - + + + - - - + + + - - + + - + - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.generics@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.generics@tests.mps index 43d8d1fd..aba141be 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.generics@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.generics@tests.mps @@ -108,8 +108,8 @@ - - + + @@ -218,25 +218,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -250,25 +250,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -282,25 +282,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -354,29 +354,29 @@ - - - + + + - - + + - - - + + + - - + + - + - + @@ -391,25 +391,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -463,30 +463,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -497,25 +497,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -529,25 +529,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -561,25 +561,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -593,25 +593,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -625,25 +625,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -657,25 +657,25 @@ - - - + + + - - - + + + - - + + - + - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.staging@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.staging@tests.mps index b05b9941..a6725966 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.staging@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.staging@tests.mps @@ -104,8 +104,8 @@ - - + + @@ -205,25 +205,25 @@ - - - + + + - - - + + + - - + + - + - + diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.thinlet@tests.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.thinlet@tests.mps index 5e4054c2..1c60c405 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.thinlet@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.thinlet@tests.mps @@ -127,8 +127,8 @@ - - + + @@ -253,28 +253,28 @@ - + - - - + + + - - - + + + - - + + - + - + diff --git a/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.code@tests.mps b/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.code@tests.mps index 4dbcda13..c282298d 100644 --- a/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.code@tests.mps +++ b/samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.code@tests.mps @@ -103,8 +103,8 @@ - - + + @@ -204,25 +204,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -233,25 +233,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -262,25 +262,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -291,25 +291,25 @@ - - - + + + - - - + + + - - + + - + - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps index 13c1ca57..be81639a 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps @@ -108,8 +108,8 @@ - - + + @@ -210,25 +210,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -242,25 +242,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -274,25 +274,25 @@ - - - + + + - - - + + + - - + + - + - + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps index a23126f8..f6a337f9 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps @@ -108,8 +108,8 @@ - - + + @@ -258,30 +258,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -295,25 +295,25 @@ - - - + + + - - - + + + - - + + - + - + @@ -367,30 +367,30 @@ - - - - + + + + - - - + + + - - + + - + - + - + @@ -404,25 +404,25 @@ - - - + + + - - - + + + - - + + - + - +