[Verifpal] [ANNOUNCE] Verifpal 0.20.0

Symbolic Software Drone drone at drone.symbolic.software
Sat Dec 12 20:58:57 CET 2020


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

1. Release Notes
Verifpal 0.20.0 fixes a minor bug regarding comments parsing, reported by "Mike". It also fixes a more impactful bug with the resolution of SIGNVERIF checks, also reported by "Mike". Finally, Verifpal 0.20.0 includes a new command, `verifpal about`, which when executed prints out a list of individuals that have contributed meaningful suggestions, bug reports, ideas or discussions to the Verifpal project.

2. Pre-compiled Releases
Pre-compiled release builds are provided for Windows, Linux, macOS and FreeBSD in x86, amd64 and arm64 variants, here:

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.20.0:
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.20.0:
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