Verifpal 0.26.0

4d276a85 · Nadim Kobeissi · 7381b4d0 · 4d276a85 · 4d276a85 · 4d276a85
Verified Commit 4d276a85 authored Jul 21, 2021 by Nadim Kobeissi 💾
--- a/assets/releasenotes.txt
+++ b/assets/releasenotes.txt
-Verifpal 0.25.0 fixes additional analysis bugs reported by "Melanie" on the Discord chat.
+Verifpal 0.26.0 fixes analysis unreliabilty that could arise when a Verifpal model contains a very large number of different queries.
--- a/assets/version.txt
+++ b/assets/version.txt
-0.25.0
+0.26.0
--- a/cmd/verifpal/main.go
+++ b/cmd/verifpal/main.go
@@ -20,7 +20,7 @@ import (
 	"verifpal.com/cmd/vplogic"
 )

-const version = "0.25.0"
+const version = "0.26.0"

 var rootCmd = &cobra.Command{
 	Use:     "verifpal",