[Verifpal] [ANNOUNCE] Verifpal 0.21.0

Symbolic Software Drone drone at drone.symbolic.software
Thu Dec 31 14:24:36 UTC 2020


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

1. Release Notes
Verifpal 0.21.0 brings strong performance improvements due to the elimination of string comparison operations from the analysis logic. Verifpal now assigns uint16 IDs for all string values (constant names, principal names, value qualifiers and attributes, etc.) before analysis and compares those instead of comparing strings.

The resulting performance benefits are quite substantial, ranging between 20% and 33% depending on the model being analyzed.

No change was made to the analysis logic itself, aside from eliminating string comparison operations.

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.21.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.21.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