[Verifpal] Verifpal 0.6.9

Nadim Kobeissi nadim at symbolic.software
Sat Sep 21 16:53:56 CEST 2019

Hello everyone,
Verifpal 0.6.9 is now available.

Change Log

  - Build upon the refactoring made in 0.6.8, with a focus on addressing missed attacks.

Release Notes

  - This is the version of Verifpal that I am the most confident in. Could we finally be climbing out of highly experimental alpha phase? I’m starting to think so!

Installing and Updating Verifpal

  - If you’re fine with running arbitrary scripts in your terminal, you can instantly update like this:
      - bash -c 'curl -sL https://verifpal.com/install|bash'
  - Or you can download a pre-compiled binary here:
      - https://source.symbolic.software/verifpal/verifpal/releases

Looking forward to hearing from you all!

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

More information about the Verifpal mailing list