[Verifpal] Verifpal 0.9.0 (Concurrency/Multithreading!)

[Nadim Kobeissi]

Hello everyone,

I'm excited to share that Verifpal 0.9.0, which was just released, fully
utilizes Go's concurrency paradigms in order to achieve some dramatic
performance boosts.

Check out the comparison video here:
https://twitter.com/kaepora/status/1218571495045246977

Give it a shot!

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/20200118/312f58b7/attachment.htm>