Verifpal 0.26.1

ae522ce0 · Nadim Kobeissi · 6245fb14 · ae522ce0 · ae522ce0 · ae522ce0
Verified Commit ae522ce0 authored Aug 25, 2021 by Nadim Kobeissi 💾
--- a/assets/releasenotes.txt
+++ b/assets/releasenotes.txt
-Verifpal 0.26.0 fixes analysis unreliabilty that could arise when a Verifpal model contains a very large number of different queries.
+Verifpal 0.26.1 fixes analysis unreliabilty that could arise when equivalence queries are used.
+
+Equivalence queries remain unstable, and should be used with caution for the time being.
--- a/assets/version.txt
+++ b/assets/version.txt
-0.26.0
+0.26.1
--- a/cmd/verifpal/main.go
+++ b/cmd/verifpal/main.go
@@ -20,7 +20,7 @@ import (
 	"verifpal.com/cmd/vplogic"
 )

-const version = "0.26.0"
+const version = "0.26.1"

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