Verifpal 0.25.0

assets/releasenotes.txt

-Verifpal 0.24.0 fixes a bug that could cause misleading confidentiality query outputs. Verifpal 0.24.1 is a minor follow-up release with improvements to the command-line interface.
+Verifpal 0.25.0 fixes additional analysis bugs reported by "Melanie" on the Discord chat.

assets/version.txt

-0.24.1
+0.25.0

cmd/verifpal/main.go

@@ -20,7 +20,7 @@ import (
 	"verifpal.com/cmd/vplogic"
 )
 
-const version = "0.24.1"
+const version = "0.25.0"
 
 var rootCmd = &cobra.Command{
 	Use:     "verifpal",