Verifpal 0.27.1

.golangci.yml

@@ -12,12 +12,9 @@ linters:
         - unused
         - gosimple
         - gofmt
-        - structcheck
-        - varcheck
+        - unused
         - ineffassign
-        - deadcode
         - typecheck
-        - depguard
         - dogsled
         - dupl
         - funlen

.goreleaser.yml

@@ -1,10 +1,5 @@
 project_name: verifpal
 
-gitlab_urls:
-  api: https://source.symbolic.software/api/v4/
-  download: https://source.symbolic.software
-  skip_tls_verify: false
-
 before:
   hooks:
     - go generate ./...
@@ -23,9 +18,7 @@ builds:
       - arm64
 
 archives:
-  - replacements:
-      darwin: macos
-    format: zip
+  - format: zip
     files:
       - LICENSE
       - examples/*
@@ -37,30 +30,28 @@ changelog:
   sort: asc
 
 release:
-  gitlab:
-    owner: verifpal
+  github:
+    owner: symbolicsoft
     name: verifpal
 
 brews:
-  - tap:
-      owner: verifpal
+  - repository:
+      owner: symbolicsoft
       name: verifpal
-    url_template: "https://source.symbolic.software/verifpal/verifpal/-/releases/{{ .Tag }}/downloads/{{ .ArtifactName }}"
     commit_author:
       name: drone
       email: [email protected]
     folder: HomebrewFormula
     homepage: "https://verifpal.com"
     description: "Cryptographic protocol analysis for students and engineers."
 
-scoop:
-  bucket:
-    owner: verifpal
-    name: verifpal
-  url_template: "https://source.symbolic.software/verifpal/verifpal/-/releases/{{ .Tag }}/downloads/{{ .ArtifactName }}"
-  commit_author:
-    name: drone
-    email: [email protected]
-  homepage: "https://verifpal.com"
-  description: "Cryptographic protocol analysis for students and engineers."
-  license: "https://www.gnu.org/licenses/gpl-3.0.en.html"
+scoops:
+  - repository:
+      owner: symbolicsoft
+      name: verifpal
+    commit_author:
+      name: drone
+      email: [email protected]
+    homepage: "https://verifpal.com"
+    description: "Cryptographic protocol analysis for students and engineers."
+    license: "https://www.gnu.org/licenses/gpl-3.0.en.html"

Makefile

@@ -38,13 +38,13 @@ freebsd:
 
 dep:
 	@/bin/echo -n "[Verifpal] Installing dependencies"
-	@go install github.com/logrusorgru/aurora
+	@go mod download github.com/logrusorgru/aurora
 	@/bin/echo -n "."
-	@go install github.com/mna/pigeon
+	@go mod download github.com/mna/pigeon
 	@/bin/echo -n "."
-	@go install  github.com/spf13/cobra
+	@go mod download  github.com/spf13/cobra
 	@/bin/echo -n "."
-	@go install github.com/josephspurrier/goversioninfo/cmd/goversioninfo
+	@go mod download github.com/josephspurrier/goversioninfo
 	@/bin/echo "       OK"
 
 update:

README.md

@@ -38,20 +38,20 @@ The [Verifpal User Manual](https://verifpal.com/res/pdf/manual.pdf) is an essent
 On Windows, the best way to install Verifpal is through the [Scoop](https://scoop.sh) package manager, since you'll also get automatic updates:
 
 ```
-scoop bucket add verifpal https://source.symbolic.software/verifpal/verifpal.git
+scoop bucket add verifpal https://github.com/symbolicsoft/verifpal.git
 scoop install verifpal
 ```
 
 On Linux and macOS, the best way to install Verifpal is through the [Homebrew](https://brew.sh) package manager, since you'll also get automatic updates:
 
 ```
-brew tap verifpal.com/source https://source.symbolic.software/verifpal/verifpal
+brew tap verifpal.com/source https://github.com/symbolicsoft/verifpal
 brew install verifpal
 ```
 
 Otherwise, you can:
 
-- *Download and install a release manually*: Releases for Windows, Linux, macOS and FreeBSD are available [here](https://source.symbolic.software/verifpal/verifpal/-/releases).
+- *Download and install a release manually*: Releases for Windows, Linux, macOS and FreeBSD are available [here](https://github.com/symbolicsoft/verifpal/releases).
 - *Compile from source*: Keep reading!
 
 ### Building Verifpal from Source
@@ -67,7 +67,7 @@ Verifpal relies on the [Aurora](https://github.com/logrusorgru/aurora) ANSI colo
 Builds will be available under `build/`.
 
 ### Verifpal for Visual Studio Code
-Verifpal comes with a Visual Studio Code extension that offers syntax highlighting, automatic formatting, live analysis, diagram visualizations and much more, allowing developers to obtain insights on their model as they are writing it. To install it, simply search for "Verifpal" from inside Visual Studio Code. More information available [here](https://source.symbolic.software/verifpal/verifpal-vscode/-/blob/master/README.md).
+Verifpal comes with a Visual Studio Code extension that offers syntax highlighting, automatic formatting, live analysis, diagram visualizations and much more, allowing developers to obtain insights on their model as they are writing it. To install it, simply search for "Verifpal" from inside Visual Studio Code. More information available [here](https://github.com/symbolicsoft/verifpal-vscode).
 
 ## Discussion
 Sign up to the [Verifpal Mailing List](https://lists.symbolic.software/mailman/listinfo/verifpal) to stay informed on the latest news and announcements regarding Verifpal, and to participate in Verifpal discussions.

assets/email.txt

@@ -8,17 +8,10 @@ Verifpal 0VERSION0 is now available. Verifpal updates bring new features, perfor
 1RELEASENOTES1
 
 -------------------------------
-2. PGP-Signed Releases
+2. GitHub Releases
 -------------------------------
 Official signed, pre-compiled release builds are provided for Windows, Linux, macOS and FreeBSD in x86, amd64 and arm64 variants, here:
-https://source.symbolic.software/verifpal/verifpal/-/releases/v0VERSION0
-
-Verifpal releases are signed using the following PGP key:
-https://source.symbolic.software/verifpal/verifpal/-/blob/master/assets/pgp.txt
-
-In order to verify the PGP signature of your downloaded Verifpal release binary, please first verify the signature of the checksum file, verifpal_0VERSION0_checksums.txt, against its signature, verifpal_0VERSION0_checksums.txt.sig. Both files are located in the releases directory linked above.
-
-Once the signature of the checksum file is verified, ensure that the SHA256SUM of your downloaded release archive matches the one listed inside the checksum file for your chosen platform.
+https://github.com/symbolicsoft/verifpal/releases/v0VERSION0
 
 -------------------------------
 3. Updating Via Package Manager

assets/releasenotes.txt

@@ -1,3 +1,3 @@
-Verifpal 0.27.0 fixes an analysis bug caused by an ill-thought "performance optimization". It also updates a few dependencies.
+Verifpal 0.27.1 introduces nothing new: it's simply an update to move Verifpal's package management URLs to the new GitHub repository.
 
-Thanks to Oskar Goldhahn (NTNU) for detecting the issue.
+That's right: Verifpal is moving to https://github.com/symbolicsoft/verifpal. Please update your links!

assets/version.txt

@@ -1 +1 @@
-0.27.0
+0.27.1

cmd/verifpal/main.go

@@ -20,7 +20,7 @@ import (
 	"verifpal.com/cmd/vplogic"
 )
 
-const version = "0.27.0"
+const version = "0.27.1"
 
 var rootCmd = &cobra.Command{
 	Use:     "verifpal",