[Verifpal] Verifpal 0.7.2

Nadim Kobeissi nadim at symbolic.software
Wed Oct 9 20:12:23 CEST 2019

Previous message (by thread): [Verifpal] Verifpal 0.7.0
Next message (by thread): [Verifpal] Support for Zero-Knowledge proofs?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear Verif Pals,

A new Verifpal release is among us! 0.7.2 fixes an analysis bug reported by Jean-Philippe Aumasson.

Keep on verifin’ your pals,

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

Previous message (by thread): [Verifpal] Verifpal 0.7.0
Next message (by thread): [Verifpal] Support for Zero-Knowledge proofs?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Verifpal mailing list