Verifpal 0.15.5

b782a8f3 · Nadim Kobeissi · 8a853bdf · b782a8f3 · b782a8f3 · b782a8f3
Verified Commit b782a8f3 authored Jul 13, 2020 by Nadim Kobeissi
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 3 deletions

assets/releasenotes.txt assets/releasenotes.txt +1 -1

assets/version.txt assets/version.txt +1 -1

cmd/verifpal/main.go cmd/verifpal/main.go +1 -1

No files found.
--- a/assets/releasenotes.txt
+++ b/assets/releasenotes.txt
-Verifpal 0.15.4 contains some minor performance improvements.
+Verifpal 0.15.5 brings further improvements and optimizations to analysis logic.
--- a/assets/version.txt
+++ b/assets/version.txt
-0.15.4
+0.15.5
--- a/cmd/verifpal/main.go
+++ b/cmd/verifpal/main.go
@@ -22,7 +22,7 @@ import (
 	"verifpal.com/cmd/vplogic"
 )

-var version = "0.15.4"
+var version = "0.15.5"

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