[Verifpal] Verifpal 0.9.0 (Concurrency/Multithreading!)

Nadim Kobeissi nadim at symbolic.software
Sat Jan 18 17:33:10 CET 2020

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:

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>

More information about the Verifpal mailing list