Verifpal 0.23.0

Verifpal 0.23.0 introduces equivalence queries.

For many protocols, it could be useful to check whether shared secrets derived between Alice and Bob are equivalent in all completed executions of the protocol. Equivalence queries check whether any protocol scenario can be derived such that the given values are not equivalent to one another.

For example, one could use the following query to check if shared secrets calculated by Alice and Bob will always be equivalent in all protocol executions:

equivalence? ss_a, ss_b


06d2a466 Add equivalence queries
6d4da51b Add version
039b6cdd Brew formula update for verifpal version v0.22.0
c1b730df Delete easter egg
5bf8dae5 Disable fieldalignment
55409c32 Fix merge conflict
5bb4998a Merge branch 'master' of
1f36d00f Scoop update for verifpal version v0.22.0
f878c26d Support fancy arrows (→) in message declaration syntax
07f2e0f1 Update Go metadata
ee65b9ff Update go.mod and go.sum
f6ba7270 Update libpeg.go
22f216c5 Update libpigeon
d2cffd82 Verifpal 0.23.0