Started release 7.0.0

nl-utwente-groove · Sep 26, 2024 · b7fca0a · b7fca0a
1 parent 75e5e4a
commit b7fca0a
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/release/include/CHANGES.md b/release/include/CHANGES.md
@@ -3,6 +3,11 @@ GROOVE Change Log
 
 This document describes the major changes in the GROOVE tool set
 
+Release 7.0.0, 26 September 2024
+-------------------------------
+- Changed to Java 21
+- Improved control automaton construction for functions, esp. i.c.w. properties
+
 Release 6.9.4, 14 September 2024
 -------------------------------
 - Complete reimplementation of transient state exploration