Verifpal 0.26.1 Verifpal 0.26.1 fixes analysis unreliabilty that could arise when equivalence queries are used. Equivalence queries remain unstable, and should be used with caution for the time being.
This tag has no release notes.
Verifpal 0.26.1 Verifpal 0.26.1 fixes analysis unreliabilty that could arise when equivalence queries are used. Equivalence queries remain unstable, and should be used with caution for the time being.