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.


87369387 Brew formula update for verifpal version v0.26.0
e79571fc Merge branch 'equivalence-patch' into 'master'
25e545a9 Remove problematic.vp
8ff9e8ee Scoop update for verifpal version v0.26.0
2ac01923 Simplify equivalence resolution fix
6245fb14 Update go.mod and go.sum
ae522ce0 Verifpal 0.26.1
aa1fa9d7 add example
36f50e8d proposed fix