[Verifpal] Verifpal 0.5

[Nadim Kobeissi]

 Hello everyone,
Verifpal 0.5 is now available.

RELEASE NOTES
    - Increased analysis speeds by only mutating relevant values.
    - Fixed even more parsing errors pointed out by Mike.
Take note of the release notes for the previous version as well, which were
quite substantial:
    - NEW: nil keyword. Self-explanatory (by popular request).
    - NEW: _ can be used to assign anonymous constants (by popular request).
    - Fix yet more parsing errors pointed out by Mike.
    - More fixes and improvements to authentication queries.
    - Added a new hopefully instructional example model:
ephemerals_and_signature.vp

INSTALLING AND UPDATING
    - 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

NOTES ABOUT THIS VERSION
    - As usual, please continue your testing, everyone!

Looking forward to hearing from you all!

Nadim Kobeissi
Symbolic Software • https://symbolic.software
Sent from office
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20190908/cbc915bd/attachment.htm>