Verifpal 0.27.0

.goreleaser.yml

@@ -32,9 +32,6 @@ archives:
       - README.md
     wrap_in_directory: true
 
-signs:
-  - artifacts: checksum
-
 changelog:
   skip: false
   sort: asc

assets/releasenotes.txt

-Verifpal 0.26.1 fixes analysis unreliabilty that could arise when equivalence queries are used.
+Verifpal 0.27.0 fixes an analysis bug caused by an ill-thought "performance optimization". It also updates a few dependencies.
 
-Equivalence queries remain unstable, and should be used with caution for the time being.
+Thanks to Oskar Goldhahn (NTNU) for detecting the issue.

assets/version.txt

-0.26.1
+0.27.0

cmd/verifpal/main.go

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