Merge pull request #436 from viperproject/meilers_version_bump

Version bump for release
viperproject · Feb 19, 2024 · 197805c · 197805c
2 parents 612c58a + 185f46f
commit 197805c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/client/README.md b/client/README.md
@@ -4,6 +4,9 @@
 
 ### Changelog
 
+#### v.4.3.1 (Viper v.24.01-release)
+* Minor bug fixes
+
 #### v.4.2.2 (Viper v.23.07-release)
 * Includes ViperTools for ARM Macs
 

diff --git a/client/package.json b/client/package.json
@@ -1,7 +1,7 @@
 {
 	"name": "viper",
 	"displayName": "Viper",
-	"version": "4.3.0",
+	"version": "4.3.1",
 	"publisher": "viper-admin",
 	"description": "This extension provides interactive IDE features for verifying programs in Viper (Verification Infrastructure for Permission-based Reasoning).",
 	"license": "SEE LICENSE IN LICENSE.txt",