diff --git a/build.xml b/build.xml index eacaedc5..2b0a84b1 100644 --- a/build.xml +++ b/build.xml @@ -81,7 +81,7 @@ jetbrains.mps.coderules MPS Coderules Typechecking Typechecking with Coderules (experimental) - ${ci.mps.release}-0.9.4-b${ci.build.num} + ${ci.mps.release}-0.9.5-b${ci.build.num} JetBrains s.r.o. jetbrains.mps.core jetbrains.mps.testing @@ -89,7 +89,7 @@ jetbrains.mps.ide.java com.intellij.modules.platform -
  • Compatible with upcoming 2022 release of MPS
  • Built with Java 17
  • Bugfixes and optimizations
  • ]]>
    +
  • Compatible with upcoming 2022 release of MPS
  • Built with Java 17
  • New Coderules trace view
  • Bugfixes and optimizations
  • ]]>
    @@ -285,7 +285,7 @@ - + @@ -1944,7 +1944,7 @@ jetbrains.mps.coderules MPS Coderules Typechecking Typechecking with Coderules (experimental) - ${ci.mps.release}-0.9.4-b${ci.build.num} + ${ci.mps.release}-0.9.5-b${ci.build.num} JetBrains s.r.o. jetbrains.mps.core jetbrains.mps.testing @@ -1952,7 +1952,7 @@ jetbrains.mps.ide.java com.intellij.modules.platform -
  • Compatible with upcoming 2022 release of MPS
  • Built with Java 17
  • Bugfixes and optimizations
  • ]]>
    +
  • Compatible with upcoming 2022 release of MPS
  • Built with Java 17
  • New Coderules trace view
  • Bugfixes and optimizations
  • ]]>
    @@ -1975,7 +1975,7 @@ jetbrains.mps.coderules MPS Coderules Typechecking Typechecking with Coderules (experimental) - ${ci.mps.release}-0.9.4-b${ci.build.num} + ${ci.mps.release}-0.9.5-b${ci.build.num} JetBrains s.r.o. jetbrains.mps.core jetbrains.mps.testing @@ -1983,7 +1983,7 @@ jetbrains.mps.ide.java com.intellij.modules.platform -
  • Compatible with upcoming 2022 release of MPS
  • Built with Java 17
  • Bugfixes and optimizations
  • ]]>
    +
  • Compatible with upcoming 2022 release of MPS
  • Built with Java 17
  • New Coderules trace view
  • Bugfixes and optimizations
  • ]]>
    @@ -2133,7 +2133,7 @@ - + @@ -3455,7 +3455,7 @@ jetbrains.mps.coderules MPS Coderules Typechecking Typechecking with Coderules (experimental) - ${ci.mps.release}-0.9.4-b${ci.build.num} + ${ci.mps.release}-0.9.5-b${ci.build.num} JetBrains s.r.o. jetbrains.mps.core jetbrains.mps.testing @@ -3463,7 +3463,7 @@ jetbrains.mps.ide.java com.intellij.modules.platform -
  • Compatible with upcoming 2022 release of MPS
  • Built with Java 17
  • Bugfixes and optimizations
  • ]]>
    +
  • Compatible with upcoming 2022 release of MPS
  • Built with Java 17
  • New Coderules trace view
  • Bugfixes and optimizations
  • ]]>
    @@ -3782,7 +3782,7 @@ - + @@ -3823,7 +3823,7 @@ - + @@ -3872,7 +3872,7 @@ - + @@ -3939,7 +3939,7 @@ - + @@ -4004,7 +4004,7 @@ - + @@ -4051,7 +4051,7 @@ - + @@ -4091,7 +4091,7 @@ - + @@ -4139,7 +4139,7 @@ - + @@ -4227,7 +4227,7 @@ - + @@ -4302,7 +4302,7 @@ - + @@ -4383,7 +4383,7 @@ - + @@ -4467,7 +4467,7 @@ - + @@ -4544,7 +4544,7 @@ - + @@ -4608,7 +4608,7 @@ - + @@ -4686,7 +4686,7 @@ - + @@ -4764,7 +4764,7 @@ - + @@ -4905,7 +4905,7 @@ - + @@ -4964,7 +4964,7 @@ - + @@ -5017,7 +5017,7 @@ - + @@ -5089,7 +5089,7 @@ - + @@ -5159,7 +5159,7 @@ - + @@ -5221,7 +5221,7 @@ - + @@ -5273,7 +5273,7 @@ - + @@ -5342,7 +5342,7 @@ - + @@ -5392,7 +5392,7 @@ - + @@ -5432,7 +5432,7 @@ - + @@ -5520,7 +5520,7 @@ - + @@ -5577,7 +5577,7 @@ - + @@ -5638,7 +5638,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 881b855f..cabd7683 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 @@ -302,7 +302,7 @@ - + @@ -335,7 +335,7 @@ - + @@ -744,7 +744,7 @@ - + @@ -3706,7 +3706,7 @@ - + @@ -3718,7 +3718,7 @@ - + @@ -3948,7 +3948,7 @@ - + @@ -3960,7 +3960,7 @@ - + diff --git a/coderules/solutions/jetbrains.mps.logic.reactor/gradle.properties b/coderules/solutions/jetbrains.mps.logic.reactor/gradle.properties index d53adca8..d4e23495 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.16 +conreactorVersion = 0.9.17 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 077dfa64..b16502d2 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 @@ - + @@ -14,7 +14,7 @@ - + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index 2c71fd48..92b6fc1f 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -3490,7 +3490,7 @@ jetbrains.mps.core.types MPS Coderules Core Types Types for core MPS languages with Coderules (experimental) - ${ci.mps.release}-0.9.4-b${ci.build.num} + ${ci.mps.release}-0.9.5-b${ci.build.num} JetBrains s.r.o. jetbrains.mps.core jetbrains.mps.coderules @@ -3512,7 +3512,7 @@ jetbrains.mps.core.types MPS Coderules Core Types Types for core MPS languages with Coderules (experimental) - ${ci.mps.release}-0.9.4-b${ci.build.num} + ${ci.mps.release}-0.9.5-b${ci.build.num} JetBrains s.r.o. jetbrains.mps.core jetbrains.mps.coderules @@ -6847,7 +6847,7 @@ - + @@ -6910,7 +6910,7 @@ - + @@ -6983,7 +6983,7 @@ - + @@ -7114,7 +7114,7 @@ - + @@ -7182,7 +7182,7 @@ - + @@ -7240,7 +7240,7 @@ - + @@ -7313,7 +7313,7 @@ - + @@ -7377,7 +7377,7 @@ - + @@ -7449,7 +7449,7 @@ - + @@ -7507,7 +7507,7 @@ - + @@ -7575,7 +7575,7 @@ - + @@ -7633,7 +7633,7 @@ - + @@ -7702,7 +7702,7 @@ - + @@ -7760,7 +7760,7 @@ - + @@ -7829,7 +7829,7 @@ - + @@ -7888,7 +7888,7 @@ - + @@ -7960,7 +7960,7 @@ - + @@ -8082,7 +8082,7 @@ - + @@ -8140,7 +8140,7 @@ - + @@ -8202,7 +8202,7 @@ - + @@ -8261,7 +8261,7 @@ - + @@ -8342,7 +8342,7 @@ - + @@ -8404,7 +8404,7 @@ - + @@ -8462,7 +8462,7 @@ - + @@ -8524,7 +8524,7 @@ - + @@ -8582,7 +8582,7 @@ - + @@ -8639,7 +8639,7 @@ - + @@ -8759,7 +8759,7 @@ - + @@ -8842,7 +8842,7 @@ - + @@ -8929,7 +8929,7 @@ - + @@ -9013,7 +9013,7 @@ - + @@ -9083,7 +9083,7 @@ - + @@ -9141,7 +9141,7 @@ - + @@ -9215,7 +9215,7 @@ - + @@ -9288,7 +9288,7 @@ - + @@ -9345,7 +9345,7 @@ - + @@ -9407,7 +9407,7 @@ - + @@ -9464,7 +9464,7 @@ - + @@ -9529,7 +9529,7 @@ - + @@ -9590,7 +9590,7 @@ - + @@ -9669,7 +9669,7 @@ - + @@ -9734,7 +9734,7 @@ - + @@ -9794,7 +9794,7 @@ - + @@ -9872,7 +9872,7 @@ - + @@ -9934,7 +9934,7 @@ - + @@ -10058,7 +10058,7 @@ - + @@ -10192,7 +10192,7 @@ - + diff --git a/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps b/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps index c7e02b19..dd09c680 100644 --- a/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps +++ b/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps @@ -257,7 +257,7 @@ - +