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
7fdf5704
Verified
Commit
7fdf5704
authored
Jan 08, 2021
by
Nadim Kobeissi
💾
Browse files
Verifpal 0.21.4
parent
ef56cf9d
Pipeline
#827
failed with stages
in 32 seconds
Changes
3
Pipelines
2
Hide whitespace changes
Inline
Side-by-side
assets/releasenotes.txt
View file @
7fdf5704
Verifpal 0.21.
3
brings
further performance improvements to analysis speeds and some
analysis bug fixes.
Verifpal 0.21.
4
brings analysis bug fixes.
assets/version.txt
View file @
7fdf5704
0.21.
3
0.21.
4
cmd/verifpal/main.go
View file @
7fdf5704
...
...
@@ -20,7 +20,7 @@ import (
"verifpal.com/cmd/vplogic"
)
var
version
=
"0.21.
3
"
var
version
=
"0.21.
4
"
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