Preparing release 6.9.4

nl-utwente-groove · Sep 14, 2024 · 0666012 · 0666012
1 parent 49fe72f
commit 0666012
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 2 deletions.
diff --git a/release/include/CHANGES.md b/release/include/CHANGES.md
@@ -3,6 +3,12 @@ GROOVE Change Log
 
 This document describes the major changes in the GROOVE tool set
 
+Release 6.9.4, 14 September 2024
+-------------------------------
+- Complete reimplementation of transient state exploration
+- Theory documented in doc/exploration
+- Resolved gh issue #800
+
 Release 6.9.3, 2 August 2024
 -------------------------------
 - Repaired parsing of grammar control properties for Generator

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 @@
-20240802
+20240914
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.9.4-SNAPSHOT
+6.9.4