[Verifpal] Verifpal 0.7.3

Nadim Kobeissi nadim at symbolic.software
Mon Oct 14 20:11:36 CEST 2019

Hello everyone,
Verifpal 0.7.3 is now available.

Change Log

   - Improved analysis performance speed.

Release Notes

   - Nothing big, just faster analysis. Sometimes much faster.

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