Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
Verifpal
Verifpal
Commits
172d9936
Commit
172d9936
authored
Jan 02, 2021
by
Nadim Kobeissi
💾
Browse files
Verifpal 0.21.2
parent
73c9a7fd
Pipeline
#802
passed with stages
in 3 minutes and 44 seconds
Changes
3
Pipelines
2
Hide whitespace changes
Inline
Side-by-side
assets/releasenotes.txt
View file @
172d9936
Verifpal 0.21.
1
brings further performance improvements
by improving multithreading strategie
s.
Verifpal 0.21.
2
brings further performance improvements
to analysis speed
s.
assets/version.txt
View file @
172d9936
0.21.
1
0.21.
2
cmd/verifpal/main.go
View file @
172d9936
...
...
@@ -20,7 +20,7 @@ import (
"verifpal.com/cmd/vplogic"
)
var
version
=
"0.21.
1
"
var
version
=
"0.21.
2
"
var
rootCmd
=
&
cobra
.
Command
{
Use
:
"verifpal"
,
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment