[Verifpal] Verifpal 0.6

[Nadim Kobeissi]

Fixed in 0.6.6.

Nadim Kobeissi
Symbolic Software • https://symbolic.software

> On Sep 13, 2019, at 6:28 PM, Mike <tankf33der at disroot.org> wrote:
> 
>> 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.
> 
> (mike)