Verified Commit bf444ef1 authored by Nadim Kobeissi's avatar Nadim Kobeissi 💎

Verifpal 0.15.0

parent 36c9ced6
Pipeline #522 passed with stages
in 2 minutes and 54 seconds
Verifpal 0.14.9 fixes a bug in Verifpal analysis detected by Sasha Lapiha.
Verifpal 0.15.0 fixes even more bugs in Verifpal analysis detected by Sasha Lapiha.
......@@ -22,7 +22,7 @@ import (
"verifpal.com/cmd/vplogic"
)
var version = "0.14.9"
var version = "0.15.0"
var rootCmd = &cobra.Command{
Use: "verifpal",
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment