From 19eca73737e4455554c09a99d5a5b299e0dd3934 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 21 Sep 2023 14:00:11 +0200 Subject: [PATCH] Bump up version and compatibility with MPS 232 --- build.xml | 28 ++++++++++--------- .../models/jetbrains.mps.coderules.build.mps | 12 ++++---- samples/fitch/build.xml | 2 ++ samples/lambdacalc/build.xml | 2 ++ samples/mpscore/build.xml | 16 ++++++----- .../models/samples.mpscore.build.mps | 12 ++++---- 6 files changed, 40 insertions(+), 32 deletions(-) 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 @@ - + - +