Commit 60499ce7 authored by Nadim Kobeissi's avatar Nadim Kobeissi 💾
Browse files

Verifpal 0.21.1

parent 25ac5c9f
Pipeline #788 passed with stages
in 3 minutes and 48 seconds
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.
Verifpal 0.21.1 brings further performance improvements by improving multithreading strategies.
......@@ -20,7 +20,7 @@ import (
var version = "0.21.0"
var version = "0.21.1"
var rootCmd = &cobra.Command{
Use: "verifpal",
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment