[Verifpal] [ANNOUNCE] Verifpal 0.15.2

Symbolic Software Drone drone at drone.symbolic.software
Sat Jul 11 20:56:10 CEST 2020


Hello,

Verifpal 0.15.2 is now available. Verifpal updates bring new features, performance improvements and/or bug fixes.

-------------------------------
1. Release Notes
-------------------------------
Verifpal 0.15.2 is the result of a large amount of testing dedicated to allowing the Go runtime to manage stack allocations optimally for very large Verifpal models.

-------------------------------
2. PGP-Signed 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/v0.15.2

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_0.15.2_checksums.txt, against its signature, verifpal_0.15.2_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.

-------------------------------
3. Updating Via Package Manager
-------------------------------
If you have installed Verifpal via the Scoop package manager for Windows, simply run the following commands to update to Verifpal 0.15.2:
scoop update
scoop update verifpal

If you have installed Verifpal via the Homebrew package manager on Linux and macOS, simply run the following commands to update to Verifpal 0.15.2:
brew update
brew upgrade verifpal

On Linux, Verifpal is also available via the Snap Store: https://snapcraft.io/verifpal

-------------------------------
4. More Information
-------------------------------
Verifpal is supported by research grants as well as contributions from its users. If you have found Verifpal to be useful, please consider contributing via a donation: https://verifpal.com/donate

Don't forget to join the conversation on the official Verifpal Discord: https://verifpal.com/discord

For more general information about Verifpal, please visit: https://verifpal.com

Thank you,
Symbolic Software Drone


More information about the Verifpal mailing list