Verifpal 0.27.3

symbolicsoft · Sep 8, 2024 · 00c9540 · 00c9540
1 parent a79c879
commit 00c9540
Show file tree

Hide file tree

Showing 5 changed files with 3 additions and 5,254 deletions.
diff --git a/assets/releasenotes.txt b/assets/releasenotes.txt
@@ -1 +1 @@
-Verifpal 0.27.2 fixes build issues with the previous version. There is no need to update from 0.27.0 or 0.27.1 if Verifpal builds correctly for you.
+Verifpal 0.27.3 fixes analysis bugs from previous versions and includes some toolchain updates.
diff --git a/assets/version.txt b/assets/version.txt
@@ -1 +1 @@
-0.27.2
+0.27.3
diff --git a/cmd/verifpal/main.go b/cmd/verifpal/main.go
@@ -20,7 +20,7 @@ import (
 	"verifpal.com/cmd/vplogic"
 )
 
-const version = "0.27.2"
+const version = "0.27.3"
 
 var rootCmd = &cobra.Command{
 	Use:     "verifpal",