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
4e901ed9
Verified
Commit
4e901ed9
authored
Feb 25, 2021
by
Nadim Kobeissi
💾
Browse files
Verifpal 0.22.0
parent
5561885b
Pipeline
#845
failed with stages
in 3 minutes and 19 seconds
Changes
3
Pipelines
2
Hide whitespace changes
Inline
Side-by-side
assets/releasenotes.txt
View file @
4e901ed9
Verifpal 0.2
1.5 bring
s
a
na
lysis bug fixes thanks to feedback from Friedrich Wiemer
.
Verifpal 0.2
2.0 provide
s na
tive support for the new Apple Silicon platform
.
assets/version.txt
View file @
4e901ed9
0.2
1.5
0.2
2.0
cmd/verifpal/main.go
View file @
4e901ed9
...
...
@@ -20,7 +20,7 @@ import (
"verifpal.com/cmd/vplogic"
)
var
version
=
"0.2
1.5
"
var
version
=
"0.2
2.0
"
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