From 7708661f0926718248f495fc5c23529596ea0c95 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Tue, 2 Jul 2024 17:07:51 +0200 Subject: [PATCH] Actually use the updated "conreactor" lib --- build.xml | 63 +++++----- .../models/jetbrains.mps.coderules.build.mps | 23 ++-- .../gradle.properties | 2 +- .../jetbrains.mps.logic.reactor.msd | 6 +- samples/fitch/build.xml | 10 +- samples/lambdacalc/build.xml | 4 +- samples/mpscore/build.xml | 116 +++++++++--------- 7 files changed, 110 insertions(+), 114 deletions(-) diff --git a/build.xml b/build.xml index 58ee7722..af2936dd 100644 --- a/build.xml +++ b/build.xml @@ -245,7 +245,7 @@ - + @@ -689,6 +689,7 @@ + @@ -1847,7 +1848,6 @@ - @@ -2213,6 +2213,7 @@ + @@ -2256,7 +2257,7 @@ - + @@ -3965,7 +3966,7 @@ - + @@ -4018,7 +4019,7 @@ - + @@ -4080,7 +4081,7 @@ - + @@ -4160,7 +4161,7 @@ - + @@ -4240,7 +4241,7 @@ - + @@ -4300,7 +4301,7 @@ - + @@ -4367,7 +4368,7 @@ - + @@ -4428,7 +4429,7 @@ - + @@ -4529,7 +4530,7 @@ - + @@ -4619,7 +4620,7 @@ - + @@ -4713,7 +4714,7 @@ - + @@ -4813,7 +4814,7 @@ - + @@ -4895,7 +4896,7 @@ - + @@ -4984,7 +4985,7 @@ - + @@ -5062,7 +5063,7 @@ - + @@ -5156,7 +5157,7 @@ - + @@ -5259,7 +5260,7 @@ - + @@ -5372,7 +5373,7 @@ - + @@ -5404,11 +5405,9 @@ - - - + @@ -5432,7 +5431,7 @@ - + @@ -5529,7 +5528,7 @@ - + @@ -5613,7 +5612,7 @@ - + @@ -5676,7 +5675,7 @@ - + @@ -5730,7 +5729,7 @@ - + @@ -5831,7 +5830,7 @@ - + @@ -5899,7 +5898,7 @@ - + @@ -5973,7 +5972,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps index ed20990f..9495ae01 100644 --- a/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps +++ b/coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps @@ -885,20 +885,20 @@ - - - + + + - + - + - + - + - - + + @@ -2395,11 +2395,6 @@ - - - - - diff --git a/coderules/solutions/jetbrains.mps.logic.reactor/gradle.properties b/coderules/solutions/jetbrains.mps.logic.reactor/gradle.properties index d4e23495..56629ed3 100644 --- a/coderules/solutions/jetbrains.mps.logic.reactor/gradle.properties +++ b/coderules/solutions/jetbrains.mps.logic.reactor/gradle.properties @@ -1,3 +1,3 @@ trove4jVersion = 3.0.3 dexxVersion = 0.7 -conreactorVersion = 0.9.17 +conreactorVersion = 0.9.18 diff --git a/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd b/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd index 8b84e1f5..ece98e14 100644 --- a/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd +++ b/coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd @@ -3,7 +3,9 @@ - + + + @@ -11,7 +13,7 @@ - + diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index e178a604..9ceffdc4 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -982,7 +982,7 @@ - + @@ -1138,7 +1138,7 @@ - + @@ -1296,7 +1296,7 @@ - + @@ -1454,7 +1454,7 @@ - + @@ -1606,7 +1606,7 @@ - + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index 9fa49f59..6ca6d612 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -377,7 +377,7 @@ - + @@ -465,7 +465,7 @@ - + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index 798bfbd6..64da6302 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -10792,7 +10792,7 @@ - + @@ -10862,7 +10862,7 @@ - + @@ -10946,7 +10946,7 @@ - + @@ -11017,7 +11017,7 @@ - + @@ -11094,7 +11094,7 @@ - + @@ -11164,7 +11164,7 @@ - + @@ -11248,7 +11248,7 @@ - + @@ -11319,7 +11319,7 @@ - + @@ -11403,7 +11403,7 @@ - + @@ -11473,7 +11473,7 @@ - + @@ -11558,7 +11558,7 @@ - + @@ -11629,7 +11629,7 @@ - + @@ -11718,7 +11718,7 @@ - + @@ -11788,7 +11788,7 @@ - + @@ -11865,7 +11865,7 @@ - + @@ -11936,7 +11936,7 @@ - + @@ -12019,7 +12019,7 @@ - + @@ -12089,7 +12089,7 @@ - + @@ -12165,7 +12165,7 @@ - + @@ -12235,7 +12235,7 @@ - + @@ -12323,7 +12323,7 @@ - + @@ -12398,7 +12398,7 @@ - + @@ -12488,7 +12488,7 @@ - + @@ -12639,7 +12639,7 @@ - + @@ -12795,7 +12795,7 @@ - + @@ -12872,7 +12872,7 @@ - + @@ -12945,7 +12945,7 @@ - + @@ -13083,7 +13083,7 @@ - + @@ -13153,7 +13153,7 @@ - + @@ -13233,7 +13233,7 @@ - + @@ -13305,7 +13305,7 @@ - + @@ -13386,7 +13386,7 @@ - + @@ -13460,7 +13460,7 @@ - + @@ -13537,7 +13537,7 @@ - + @@ -13606,7 +13606,7 @@ - + @@ -13692,7 +13692,7 @@ - + @@ -13772,7 +13772,7 @@ - + @@ -13842,7 +13842,7 @@ - + @@ -13922,7 +13922,7 @@ - + @@ -13996,7 +13996,7 @@ - + @@ -14084,7 +14084,7 @@ - + @@ -14153,7 +14153,7 @@ - + @@ -14238,7 +14238,7 @@ - + @@ -14308,7 +14308,7 @@ - + @@ -14405,7 +14405,7 @@ - + @@ -14482,7 +14482,7 @@ - + @@ -14552,7 +14552,7 @@ - + @@ -14629,7 +14629,7 @@ - + @@ -14780,7 +14780,7 @@ - + @@ -14941,7 +14941,7 @@ - + @@ -15114,7 +15114,7 @@ - + @@ -15222,7 +15222,7 @@ - + @@ -15331,7 +15331,7 @@ - + @@ -15436,7 +15436,7 @@ - + @@ -15541,7 +15541,7 @@ - + @@ -15641,7 +15641,7 @@ - + @@ -15750,7 +15750,7 @@ - + @@ -15840,7 +15840,7 @@ - +