Preparing release 6.9.0

nl-utwente-groove · Jul 20, 2024 · eb3a38a · eb3a38a
1 parent db8e418
commit eb3a38a
Show file tree

Hide file tree

Showing 4 changed files with 15 additions and 3 deletions.
diff --git a/release/include/CHANGES.md b/release/include/CHANGES.md
@@ -3,6 +3,13 @@ GROOVE Change Log
 
 This document describes the major changes in the GROOVE tool set
 
+Release 6.9.0, 20 July 2024
+-------------------------------
+- Added .dot export as well as .gcp export for LTSs
+- "halt" added to control language (hence minor version update)
+- Refactored the Im-/Exporter library
+- Bug fixes: GH issues #78, #783 #788-#791
+
 Release 6.8.4, 10 July 2024
 -------------------------------
 - Errors in property keys now reported by highlighting and switching

diff --git a/src/main/java/nl/utwente/groove/util/Version.java b/src/main/java/nl/utwente/groove/util/Version.java
@@ -131,7 +131,7 @@ private static String read(String filename) {
      * @return the latest grammar version.
      */
     public static String getCurrentGrammarVersion() {
-        return GRAMMAR_VERSION_3_10;
+        return GRAMMAR_VERSION_3_11;
     }
 
     /**
@@ -315,4 +315,9 @@ public static int compareGrammarVersions(String version1, String version2) {
      * {@code false}.
      */
     public static final String GRAMMAR_VERSION_3_10 = "3.10";
+    /**
+     * This is the grammar version introduced with Groove version 6.9.0.
+     * The {@code halt} keyword was added to the control language.
+     */
+    public static final String GRAMMAR_VERSION_3_11 = "3.11";
 }
diff --git a/src/main/resources/nl/utwente/groove/resource/version/GROOVE_BUILD b/src/main/resources/nl/utwente/groove/resource/version/GROOVE_BUILD
@@ -1 +1 @@
-20240710
+20240720
diff --git a/src/main/resources/nl/utwente/groove/resource/version/GROOVE_VERSION b/src/main/resources/nl/utwente/groove/resource/version/GROOVE_VERSION
@@ -1 +1 @@
-6.8.4
+6.9.0