Verifpal 0.21.5

45f850bf · Nadim Kobeissi · e83f8a50 · 45f850bf · 45f850bf · 45f850bf
Verified Commit 45f850bf authored Jan 17, 2021 by Nadim Kobeissi 💾
--- a/assets/releasenotes.txt
+++ b/assets/releasenotes.txt
-Verifpal 0.21.4 brings analysis bug fixes.
+Verifpal 0.21.5 brings analysis bug fixes thanks to feedback from Friedrich Wiemer.
--- a/assets/version.txt
+++ b/assets/version.txt
-0.21.4
+0.21.5
--- a/cmd/verifpal/main.go
+++ b/cmd/verifpal/main.go
@@ -20,7 +20,7 @@ import (
 	"verifpal.com/cmd/vplogic"
 )

-var version = "0.21.4"
+var version = "0.21.5"

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