From ce41be1b8212c44b4534905ca5c27b23a61b4bab Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 19 Aug 2024 21:53:45 +0200 Subject: [PATCH] Switch to new reactor version --- build.xml | 40 +++++------ .../models/jetbrains.mps.coderules.build.mps | 26 +++---- .../gradle.properties | 2 +- .../jetbrains.mps.logic.reactor.msd | 4 +- samples/fitch/build.xml | 8 +-- samples/lambdacalc/build.xml | 2 +- samples/mpscore/build.xml | 68 +++++++++---------- 7 files changed, 76 insertions(+), 74 deletions(-) diff --git a/build.xml b/build.xml index 387a9c68..be1123fd 100644 --- a/build.xml +++ b/build.xml @@ -248,7 +248,7 @@ - + @@ -292,6 +292,7 @@ + @@ -2109,7 +2110,7 @@ - + @@ -2153,6 +2154,7 @@ + @@ -3763,7 +3765,7 @@ - + @@ -3813,7 +3815,7 @@ - + @@ -3875,7 +3877,7 @@ - + @@ -3955,7 +3957,7 @@ - + @@ -4037,7 +4039,7 @@ - + @@ -4096,7 +4098,7 @@ - + @@ -4639,7 +4641,7 @@ - + @@ -4728,7 +4730,7 @@ - + @@ -4891,7 +4893,7 @@ - + @@ -4989,7 +4991,7 @@ - + @@ -5149,7 +5151,7 @@ - + @@ -5224,7 +5226,7 @@ - + @@ -5291,7 +5293,7 @@ - + @@ -5365,7 +5367,7 @@ - + @@ -5441,7 +5443,7 @@ - + @@ -5524,7 +5526,7 @@ - + @@ -5604,7 +5606,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 8b8b0e2c..f6373d36 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 @@ -879,20 +879,20 @@ - - - + + + - + - + - + - + - - + + @@ -3173,7 +3173,7 @@ - + @@ -3185,7 +3185,7 @@ - + @@ -3467,7 +3467,7 @@ - + @@ -3479,7 +3479,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.logic.reactor/gradle.properties b/coderules/solutions/jetbrains.mps.logic.reactor/gradle.properties index d78eeab7..5374559a 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.20 +conreactorVersion = 0.9.21 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 36fbf863..9ef96053 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,7 @@ - + @@ -11,7 +11,7 @@ - + diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 2535db04..fbba5c55 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -956,7 +956,7 @@ - + @@ -1110,7 +1110,7 @@ - + @@ -1266,7 +1266,7 @@ - + @@ -1422,7 +1422,7 @@ - + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index 28350efc..5fe4ff94 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -370,7 +370,7 @@ - + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index 86230c41..87afe16e 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -10975,7 +10975,7 @@ - + @@ -11128,7 +11128,7 @@ - + @@ -11275,7 +11275,7 @@ - + @@ -11428,7 +11428,7 @@ - + @@ -11582,7 +11582,7 @@ - + @@ -11736,7 +11736,7 @@ - + @@ -11895,7 +11895,7 @@ - + @@ -12041,7 +12041,7 @@ - + @@ -12194,7 +12194,7 @@ - + @@ -12339,7 +12339,7 @@ - + @@ -12495,7 +12495,7 @@ - + @@ -12659,7 +12659,7 @@ - + @@ -12814,7 +12814,7 @@ - + @@ -12974,7 +12974,7 @@ - + @@ -13123,7 +13123,7 @@ - + @@ -13265,7 +13265,7 @@ - + @@ -13414,7 +13414,7 @@ - + @@ -13566,7 +13566,7 @@ - + @@ -13716,7 +13716,7 @@ - + @@ -13857,7 +13857,7 @@ - + @@ -13941,7 +13941,7 @@ - + @@ -14090,7 +14090,7 @@ - + @@ -14251,7 +14251,7 @@ - + @@ -14404,7 +14404,7 @@ - + @@ -14559,7 +14559,7 @@ - + @@ -14641,7 +14641,7 @@ - + @@ -14787,7 +14787,7 @@ - + @@ -14933,7 +14933,7 @@ - + @@ -15088,7 +15088,7 @@ - + @@ -15254,7 +15254,7 @@ - + @@ -15424,7 +15424,7 @@ - + @@ -15529,7 +15529,7 @@ - + @@ -15628,7 +15628,7 @@ - + @@ -16024,7 +16024,7 @@ - +