diff --git a/build.xml b/build.xml index d87584bb..291fa41b 100644 --- a/build.xml +++ b/build.xml @@ -7,7 +7,7 @@ - + @@ -102,15 +102,15 @@ jetbrains.mps.coderules MPS Coderules Typechecking Typechecking with Coderules (experimental) - ${ci.mps.release}-0.9.6-b${ci.build.num} + ${ci.mps.release}-0.9.7-b${ci.build.num} JetBrains s.r.o. jetbrains.mps.core jetbrains.mps.testing jetbrains.mps.build jetbrains.mps.ide.java com.intellij.modules.platform - -
  • Compatible with upcoming 2022 release of MPS
  • Built with Java 17
  • New Coderules trace view
  • Bugfixes and optimizations
  • ]]>
    + +
  • Compatible with upcoming 2023.2 release of MPS
  • Bugfixes and optimizations
  • ]]>
    @@ -2115,15 +2115,15 @@ jetbrains.mps.coderules MPS Coderules Typechecking Typechecking with Coderules (experimental) - ${ci.mps.release}-0.9.6-b${ci.build.num} + ${ci.mps.release}-0.9.7-b${ci.build.num} JetBrains s.r.o. jetbrains.mps.core jetbrains.mps.testing jetbrains.mps.build jetbrains.mps.ide.java com.intellij.modules.platform - -
  • Compatible with upcoming 2022 release of MPS
  • Built with Java 17
  • New Coderules trace view
  • Bugfixes and optimizations
  • ]]>
    + +
  • Compatible with upcoming 2023.2 release of MPS
  • Bugfixes and optimizations
  • ]]>
    @@ -2146,15 +2146,15 @@ jetbrains.mps.coderules MPS Coderules Typechecking Typechecking with Coderules (experimental) - ${ci.mps.release}-0.9.6-b${ci.build.num} + ${ci.mps.release}-0.9.7-b${ci.build.num} JetBrains s.r.o. jetbrains.mps.core jetbrains.mps.testing jetbrains.mps.build jetbrains.mps.ide.java com.intellij.modules.platform - -
  • Compatible with upcoming 2022 release of MPS
  • Built with Java 17
  • New Coderules trace view
  • Bugfixes and optimizations
  • ]]>
    + +
  • Compatible with upcoming 2023.2 release of MPS
  • Bugfixes and optimizations
  • ]]>
    @@ -3753,15 +3753,15 @@ jetbrains.mps.coderules MPS Coderules Typechecking Typechecking with Coderules (experimental) - ${ci.mps.release}-0.9.6-b${ci.build.num} + ${ci.mps.release}-0.9.7-b${ci.build.num} JetBrains s.r.o. jetbrains.mps.core jetbrains.mps.testing jetbrains.mps.build jetbrains.mps.ide.java com.intellij.modules.platform - -
  • Compatible with upcoming 2022 release of MPS
  • Built with Java 17
  • New Coderules trace view
  • Bugfixes and optimizations
  • ]]>
    + +
  • Compatible with upcoming 2023.2 release of MPS
  • Bugfixes and optimizations
  • ]]>
    @@ -3865,6 +3865,7 @@ + @@ -6470,6 +6471,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 0167d40e..5c600cbd 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 @@ -122,7 +122,7 @@ - + @@ -138,7 +138,7 @@ - + @@ -301,7 +301,7 @@ - + @@ -327,14 +327,14 @@ - + - + @@ -3654,7 +3654,7 @@ - + diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 8b316916..15042996 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -909,6 +909,7 @@ + @@ -1773,6 +1774,7 @@ + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index 16aae435..29e5146b 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -329,6 +329,7 @@ + @@ -666,6 +667,7 @@ + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index e469f07f..eb2617e0 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -7,7 +7,7 @@ - + @@ -5525,14 +5525,14 @@ jetbrains.mps.core.types MPS Coderules Core Types Types for core MPS languages with Coderules (experimental) - ${ci.mps.release}-0.9.6-b${ci.build.num} + ${ci.mps.release}-0.9.7-b${ci.build.num} JetBrains s.r.o. jetbrains.mps.core jetbrains.mps.coderules jetbrains.mps.build com.intellij.modules.platform - -
  • Compatible with upcoming 2022 release of MPS
  • Built with Java 17
  • Suppport for more MPS core languages
  • Bugfixes and optimizations
  • ]]>
    + +
  • Compatible with upcoming 2023.2 release of MPS
  • Bugfixes and optimizations
  • ]]>
    @@ -5547,14 +5547,14 @@ jetbrains.mps.core.types MPS Coderules Core Types Types for core MPS languages with Coderules (experimental) - ${ci.mps.release}-0.9.6-b${ci.build.num} + ${ci.mps.release}-0.9.7-b${ci.build.num} JetBrains s.r.o. jetbrains.mps.core jetbrains.mps.coderules jetbrains.mps.build com.intellij.modules.platform - -
  • Compatible with upcoming 2022 release of MPS
  • Built with Java 17
  • Suppport for more MPS core languages
  • Bugfixes and optimizations
  • ]]>
    + +
  • Compatible with upcoming 2023.2 release of MPS
  • Bugfixes and optimizations
  • ]]>
    @@ -10717,6 +10717,7 @@ + @@ -15627,6 +15628,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 a918bd9d..0d439b01 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 @@ -105,7 +105,7 @@ - + @@ -121,7 +121,7 @@ - + @@ -225,7 +225,7 @@ - + @@ -260,7 +260,7 @@
    - + @@ -286,14 +286,14 @@ - + - +