Verifpal 0.27.4

symbolicsoft · Sep 8, 2024 · 7032cdc · 7032cdc
1 parent 5b7f4e9
commit 7032cdc
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/assets/releasenotes.txt b/assets/releasenotes.txt
@@ -1 +1 @@
-Verifpal 0.27.3 fixes analysis bugs from previous versions and includes some toolchain updates.
+Verifpal 0.27.4 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.3
+0.27.4
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.3"
+const version = "0.27.4"
 
 var rootCmd = &cobra.Command{
 	Use:     "verifpal",
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		Verifpal 0.27.3 fixes analysis bugs from previous versions and includes some toolchain updates.
		Verifpal 0.27.4 fixes analysis bugs from previous versions and includes some toolchain updates.