[Verifpal] examples are broken

Mike tankf33der at disroot.org
Sun Sep 8 00:16:00 CEST 2019

Previous message (by thread): [Verifpal] global scope
Next message (by thread): [Verifpal] examples are broken
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

By today's commits examples are broken:

scuttlebutt_handshake.vp 
protonmail_to_outside.vp

(mike)

Previous message (by thread): [Verifpal] global scope
Next message (by thread): [Verifpal] examples are broken
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Verifpal mailing list