Commit 75544133 authored by Nadim Kobeissi's avatar Nadim Kobeissi

Verifpal 0.21.3

parent 35e0a28a
Pipeline #813 passed with stages
in 3 minutes and 46 seconds
Verifpal 0.21.2 brings further performance improvements to analysis speeds.
Verifpal 0.21.3 brings further performance improvements to analysis speeds and some analysis bug fixes.
......@@ -20,7 +20,7 @@ import (
"verifpal.com/cmd/vplogic"
)
var version = "0.21.2"
var version = "0.21.3"
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