[Verifpal] Verifpal 0.6

Mike tankf33der at disroot.org
Fri Sep 13 18:28:15 CEST 2019

> We are now at 0.6.5, which to me is looking pretty solid, I think we’re finally getting somewhere.

you broke one example:

Verifpal! parsing model "scuttlebutt_handshake.vp"...
Verifpal! Error: equation (longtermapub_bob^ephemeralb) does not use 'g' as generator.


More information about the Verifpal mailing list