Updates for 3.2.1 release.

prismmodelchecker · Jan 11, 2024 · d7c7a53 · d7c7a53
1 parent 1ece26f
commit d7c7a53
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 2 deletions.
diff --git a/CHANGELOG.txt b/CHANGELOG.txt
@@ -1,6 +1,17 @@
 The top of this file details the changes in new public versions of PRISM-games.
 The CHANGELOG for PRISM itself, on which this is based, is appended below.
 
+-----------------------------------------------------------------------------
+Version 3.2.1 (first released 11/1/2024)
+-----------------------------------------------------------------------------
+
+* Improved support for external libraries (Z3/Yices/PPL)
+  - binaries installed for new versions and more OSs, including PPL on Windows
+  - improved, more robust install mechanism
+  - better documentation of library build process
+* Merged latest changes from PRISM:
+ - updates/fixes in install/launch/testing scripts and build process
+
 -----------------------------------------------------------------------------
 Version 3.2 (first released 13/11/2023)
 -----------------------------------------------------------------------------

diff --git a/prism/src/prism/Version.java b/prism/src/prism/Version.java
@@ -3,9 +3,9 @@
 public class Version
 {
 	/** PRISM extension version (e.g. "2.0"). Just a single string (will be extracted by scripts). */
-	public static String versionExtensionString = "3.2";
+	public static String versionExtensionString = "3.2.1";
 	/** Optional PRISM extension version suffix (e.g. "", "dev", "beta"). Just a single string (will be extracted by scripts). */
-	public static String versionExtensionSuffixString = "dev";
+	public static String versionExtensionSuffixString = "";
 
 	/** PRISM version (e.g. "4.0.3"). Just a single string (will be extracted by scripts). */
 	public static String versionString = "4.8";